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

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