RSS 1 project tagged "static analysis"

No download Website Updated 06 Aug 2009 Goanna

Screenshot
Pop 42.14
Vit 1.77

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.

Screenshot

Project Spotlight

slapt-get

An APT-like system for Slackware package management.

Screenshot

Project Spotlight

libntru

A C implementation of NTRUEncrypt.