Type checking ifdef variability
Clone or download
Pull request Compare This branch is 49 commits ahead, 10 commits behind ckaestne:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.idea
CParser
CRewrite
CTypeChecker
ConditionalLib
ErrorLib
FeatureExprLib
Frontend
JavaParser
ParserFramework
PartialPreprocessor
haskell
host
project
.gitignore
.travis.yml
LICENSE
Parameter.txt
README.md
VariationalProgramming.md
deployJar.sh
genpages.sh
log4j2.xml
sbt-launch.jar
typechefsampling.sh

README.md

TypeChef

Fork of the TypeChef project containing customisations required for CSPLlift, Hercules and Morpheus. TypeChef is a research project with the goal of analyzing ifdef variability in C code with to find variability-induced bugs in large-scale real-world systems, such as the Linux kernel with several thousand features (or configuration options). For further details about TypeChef, checkout the original project site.

License

TypeChef is published as open source under LGPL 3.0. See LICENSE.