Difference between revisions of "Active Projects"
Jump to navigation
Jump to search
CoreyBryant (talk | contribs) |
CoreyBryant (talk | contribs) |
||
| Line 2: | Line 2: | ||
Contents: | Contents: | ||
[[#Static Analysis]] | |||
[[#Static Analysis|Smatch]] | |||
[[#Fuzz Testing]] | |||
[[#Fuzz Testing|Trinity]] | |||
== 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 | |||
Revision as of 14:51, 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.
Contents:
#Static Analysis Smatch #Fuzz Testing Trinity
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