6 projects tagged "static analysis"
Updated 22 Apr 2009
Yasca
| Pop | 37.51 |
|---|---|
| Vit | 1.00 |
Yasca is a program that looks for security vulnerabilities, code-quality, performance, and conformance to best practices in program source code. It integrates other open source programs, including FindBugs, PMD, JLint, JavaScript Lint, PHPLint, Cppcheck, and Pixy to scan certain file types, as well as custom scanners written for Yasca. It is a command-line tool, with reports generated in HTML, CSV, XML, SQLite, and other formats.
Updated 06 Aug 2009
Goanna
| Pop | 48.56 |
|---|---|
| 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 04 Oct 2012
Frama-C
| Pop | 116.96 |
|---|---|
| Vit | 7.10 |
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach allows static analyzers to build upon the results already computed by other analyzers in the framework. It provides sophisticated tools, such as a slicer and dependency analysis.
Updated 05 Jul 2012
Lua for IntelliJ IDEA
| Pop | 54.17 |
|---|---|
| Vit | 1.99 |
Lua for IntelliJ IDEA is a plugin that provides support for semantic aware editing of Lua language programs in IntelliJ IDEA. It includes many useful features such as code formatting, semantic identifier coloring, code inspection and refactoring, and much more.
Updated 06 May 2013
CoFlo
| Pop | 93.69 |
|---|---|
| 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.75 |
|---|---|
| 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.
