Active Projects
Revision as of 14:52, 8 October 2012 by CoreyBryant (talk | contribs)
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
There are a number of active Linux Kernel hardening projects. This page gives details on these projects in order to get an understanding of coverage and to prevent duplication of efforts.
Static Analysis
Smatch
Smatch is a static analysis tool for C.
Project page: http://repo.or.cz/w/smatch.git Contributors: Dan Carpenter, Fengguang Wu
Fuzz Testing
Trinity
Trinity is a Linux system call fuzzer.
Project page: http://codemonkey.org.uk/projects/trinity/ Contributors: Dave Jones, Fengguang Wu