Projects / Goanna

Goanna

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
Licenses
Operating Systems
Implementation

RSS Recent releases

  •  06 Aug 2009 07:16

    Release Notes: Performance was improved, and bugs were fixed.

    •  23 Jul 2009 07:28

      Release Notes: Support for 64-bit Linux and Eclipse Galileo.

      •  25 Jun 2009 06:25

        Release Notes: Support for GCC 4.4.

        Screenshot

        Project Spotlight

        ImmediateCrypt

        Easy encryption/decryption of plain text messages with AES-256.

        Screenshot

        Project Spotlight

        EDB (Evan's Debugger)

        A Qt4-based binary mode debugger.