Difference between revisions of "Active Projects"
Jump to navigation
Jump to search
CoreyBryant (talk | contribs) |
CoreyBryant (talk | contribs) m |
||
| Line 8: | Line 8: | ||
Project page: http://repo.or.cz/w/smatch.git | Project page: http://repo.or.cz/w/smatch.git | ||
Contributors: Dan Carpenter, Fengguang Wu | Contributors: Dan Carpenter, Fengguang Wu | ||
| Line 17: | Line 18: | ||
Project page: http://codemonkey.org.uk/projects/trinity/ | Project page: http://codemonkey.org.uk/projects/trinity/ | ||
Contributors: Dave Jones, Fengguang Wu | Contributors: Dave Jones, Fengguang Wu | ||
Revision as of 14:53, 8 October 2012
There are a number of active Linux Kernel hardening projects and this page gives details on some of them.
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