Active Projects

From Linux Kernel Security Subsystem
Revision as of 16:01, 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 and this page gives details on some of them.

Static Analysis

Coccinelle

[1] is a tool for matching and fixing source code.

Who's running it: Fengguang Wu

Targeted subsystems: ?

Coverity

Coverity provides static analysis tools for C, C++, and other languages. Red Hat's Coverity license allows results to be shared with upstream projects.

Project page: Coverity is propietary.

Who's running it: ? (Red Hat)

Targeted subsystems: ?

Smatch

Smatch is a static analysis tool for C.

Project page: http://repo.or.cz/w/smatch.git

Who's running it: Dan Carpenter, Fengguang Wu

Targeted subsystems: ?

Fuzz Testing

Trinity

Trinity is a Linux system call fuzzer.

Project page: http://codemonkey.org.uk/projects/trinity/

Who's running it: Dave Jones, Fengguang Wu