Active Projects

From Linux Kernel Security Subsystem
Revision as of 14:52, 8 October 2012 by CoreyBryant (talk | contribs)
Jump to navigation Jump to search
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