TypeChef Analysis of Linux
Contains various scripts and tools to run TypeChef on Linux.
Check the paths to your header files in the redhat.properties file. Currently, the configuration files point to a systems directory for header files. That directory is not part of this repository. If you want to use the exact same headers that we are using download them here http://www.informatik.uni-marburg.de/~kaestner/tmp/includes-redhat.tar.bz2