Search results
Results From The WOW.Com Content Network
Formerly PRQA QA·C and QA·C++, deep static analysis of C/C++ for quality assurance and guideline/coding standard enforcement with MISRA support. Infer Static Analyzer: 2024-06-21 (1.2.0) Yes; MIT — C, C++, Objective-C Java — — — — Targets null pointer problems, leaks, concurrency issues and API usage for Facebook's mobile apps.
CodeSonar is a static code analysis tool from CodeSecure, Inc. CodeSonar is used to find and fix bugs and security vulnerabilities [1] in source and binary code. [2] [3] [4] It performs whole-program, inter-procedural analysis with abstract interpretation on C, C++, C#, Java, as well as x86 and ARM binary executables and libraries.
Astrée ("Analyseur statique de logiciels temps-réel embarqués" [1]) is a static analyzer based on abstract interpretation.It analyzes programs written in the programming languages C and C++, and emits an exhaustive list of possible runtime errors and assertion violations.
PC-lint is a command-line tool for performing static code analysis, indicating suspicious or plain wrong issues in source code. PC-lint can be integrated into IDEs as an external tool, and the format of the warning messages can be adapted to the form the IDE is able to recognize and process. It is advertised as running on Microsoft Windows and ...
Pages in category "Static program analysis tools" The following 77 pages are in this category, out of 77 total. This list may not reflect recent changes. ...
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 in source code for the C, C++, and Ada programming languages. The tool also checks source code for adherence to appropriate code standards. [3]
Splint's output: Variable c used before definition Suspected infinite loop. No value used in loop test (c) is modified by test or loop body. Assignment of int to char: c = getchar() Test expression for if is assignment expression: c = 'x' Test expression for if not boolean, type char: c = 'x' Fall through case (no preceding break)
ECLAIR is a complete re-engineering of a series of prototypes [2] developed at the Applied Formal Methods Laboratory of the University of Parma.It uses formal methods-based static code analysis techniques such as abstract interpretation and model checking combined with constraint satisfaction techniques to detect or prove the absence of certain run time errors in source code, and provides ...