Apps with 'Static analysis' feature Page 2 of 2

ProjectCodeMeter Is a professional software tool for project managers to measure and estimate the Time, Cost, Complexity, Quality Metrics and Maintainability of software projects as well as Development Team Productivity by analyzing their source code.

Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done...

A simple program which checks Python source files for errors.

pep8 is a tool to check your Python code against some of the style conventions in PEP 8.

Figure out complexity hotspots in the blink of an eye from a couple of very simple charts. They'll help you understand the architecture of the project & make it easier to keep it under control.

xakat is a tool for analyzing, reporting and assessing PHP code source efficiently and systematically. Exakat processes PHP 5.2 to 7.4 and 8.0 code, as well as reporting on security, performance, code quality, migration.

PC-lint Plus is the premier static analysis tool for C and C++.

SideCI is an automated code reviewing tool with GitHub. Speed up your code review and development cycle to improve productivity without requiring engineers to spend valuable time.

SoftaCheck is a web app that helps you write better C/C++ code with fewer bugs. It integrates with your GitHub account and analyzes your code using static analysis tools to detect potential bugs. The app also generates support documentation for your entire code.

Performant type-checking for python.

ftnchek is a static analyzer for Fortran 77 programs. It is designed to detect certain errors in a Fortran program that a compiler usually does not.

Pytype checks and infers types for your Python code - without requiring type annotations.

Flake8 is a wrapper around PyFlakes, pep8 and Ned Batchelder's McCabe script and displays the warnings in a per-file, merged output.

Pyanalyze is a semi-static type checker for Python code. Like a static type checker (e.g., mypy or pyright), it detects type errors in your code so bugs can be found before they reach production. Unlike such tools, however, it imports the modules it type checks, enabling...

Kiuwan Application Security is an end-to-end Appsec platform. Monitoring, action plans and seamless integration within unlocalized teams are but a few of the features offered by Kiuwan.

Python PEP 257 docstring style checker.

Improve quality, reduce risk, and ship with confidence. GrammaTech's static analysis SAST tool as part of your secure SDLC identifies bugs that can result in system crashes, unexpected behavior, and security breaches.

Facebook Infer is a static analysis tool - if you give Infer some Objective-C, Java, or C code, it produces a list of potential bugs.

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

RiskAMP is a full-featured Monte Carlo Simulation Engine for Microsoft Excel.

With the RiskAMP Add-in, you can add Risk Analysis to your spreadsheet models quickly, easily, and for a fraction of the price of competing packages.

The PERT distribution for cost and project mod.

Semgrep is a fast, open-source, static analysis tool that excels at expressing code standards — without complicated queries — and surfacing bugs early at editor, commit, and CI time. Precise rules look like the code you’re searching; no more traversing abstract syntax trees or...