1 project tagged "Other/Proprietary"
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.
