3 projects tagged "static analysis"
Updated 06 Aug 2009
Goanna
| Pop | 49.66 |
|---|---|
| Vit | 1.78 |
Goanna is an Eclipse plugin that does static analysis of C/C++ source code with model checking. It detects many instances of null pointer de-referencing, double free(), buffer overruns, uninitialized variables, and other common programming mistakes.
Updated 06 May 2013
CoFlo
| Pop | 105.40 |
|---|---|
| Vit | 2.08 |
CoFlo is a source code analysis tool that generates and analyzes control flow graphs from C and C++ sources. Control flow graphs can be output in graphical or textual format.
Updated 22 May 2012
shanal
| Pop | 37.39 |
|---|---|
| Vit | 1.47 |
shanal provides a modular framework for static analysis of scripts in bash, basic plugins for analysis, and a simple application which uses the framework.
