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.
| Tags | static analysis C C++ Eclipse |
|---|---|
| Licenses | Other/Proprietary Free trial |
| Operating Systems | Linux |
| Implementation | Eclipse OCaml |