Difference between revisions of "Active Projects"
Jump to navigation
Jump to search
CoreyBryant (talk | contribs) |
CoreyBryant (talk | contribs) |
||
| Line 1: | Line 1: | ||
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. | 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 == | == Static Analysis == | ||
Revision as of 14:52, 8 October 2012
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