No description, website, or topics provided.
Clone or download
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
Sampling/src/main/scala/de/fosd/typechef
haskell
host
project
.gitignore
.travis.yml
LICENSE
Parameter.txt
README.md
VariationalProgramming.md
deployJar.sh
genpages.sh
publish.sh
sbt
sbt-launch.jar

README.md

TypeChef

Fork of the TypeChef project containing customisations required for our comparison of variability-aware and sampling-based static analyses. TypeChef is a research project with the goal of analyzing ifdef variability in C code with the goal of finding 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.