Difference between revisions of "Active Projects"

From Linux Kernel Security Subsystem
Jump to: navigation, search
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.
 
Contents:
 
 
[[#Static Analysis]]
 
[[#Static Analysis|Smatch]]
 
[[#Fuzz Testing]]
 
[[#Fuzz Testing|Trinity]]
 
  
 
== 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