Checked C is an extension to C that lets programmers write C code
Lua bindings for POSIX APIs
A vi-like editor based on Plan 9's structural regular expressions
An analysis tool showing the structure of a C program
Detector of Integer Vulnerabilities in Software Portability
vMotion Detector for Linux & Windows Platforms
Hardware Memory Checker
Alchemist GCC/LLVM plugin for code analysis and tuning