This is a list of notable tools for static program analysis (program analysis is a synonym for code analysis). AdaControl CodePeer ConQAT Fluctuat LDRA...

In computer science, static program analysis (also known as static analysis or static simulation) is the analysis of computer programs performed without...

Lint is the computer science term for a static code analysis tool used to flag programming errors, bugs, stylistic errors and suspicious constructs. The...

code generation tools: Automatic programming#Implementations Static code analysis: lint, List of tools for static code analysis Unit testing: List of...

SonarSource for continuous inspection of code quality to perform automatic reviews with static analysis of code to detect bugs and code smells on 29...

automatically identify code smells. Anti-pattern Design smell List of tools for static code analysis Software rot Tufano, Michele; Palomba, Fabio; Bavota, Gabriele;...

electronic, and automotive industries. One of the main industrial users is Airbus. List of tools for static code analysis Bruno Blanchet, Patrick Cousot, Radhia...

Polyspace is a static code analysis tool for large-scale analysis by abstract interpretation to detect, or prove the absence of, certain run-time errors...

CodeSonar is a static code analysis tool from CodeSecure, Inc. CodeSonar is used to find and fix bugs and security vulnerabilities in source and binary...

Cppcheck is a static code analysis tool for the C and C++ programming languages. It is a versatile tool that can check non-standard code. The creator and...