Active Projects

From Linux Kernel Security Subsystem
Revision as of 14:52, 8 October 2012 by CoreyBryant (talk | contribs)
Jump to: navigation, 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 is a static analysis tool for C.

Project page: Contributors: Dan Carpenter, Fengguang Wu

Fuzz Testing


Trinity is a Linux system call fuzzer.

Project page: Contributors: Dave Jones, Fengguang Wu