darknet.org.uk
Mosca - Manual Static Analysis Tool To Find Bugs - Darknet
Mosca is a manual static analysis tool written in C designed to find bugs in the code before it is compiled, much like a grep unix command.