Skip to content

UTD-FAST-Lab/TypeChef-VAA

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Instructions

  1. Copy sbt_repositories to ~/.sbt/repositories.
  2. Run publish.sh.

So far I have only tested this with Java 1.8.

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.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C 62.7%
  • Scala 29.6%
  • Logos 3.4%
  • Java 2.7%
  • SWIG 1.5%
  • Haskell 0.1%