Skip to content

UTD-FAST-Lab/TypeChef-Sampling-Busybox

 
 

Repository files navigation

TypeChef Analysis of Busybox

Contains various scripts to run static analysis and sampling strategies with TypeChef on Busybox.

The setup requires multiple steps. Contact me if there are any issues.

Setup & Source code

The requiered source code as well as all preparation steps have been already performed, you can start directly with the analysis.

How to run the analysis

Run runVAA.sh to run the variability-aware analysis and for sampling runSampling.sh.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C++ 68.6%
  • C 30.8%
  • HTML 0.2%
  • Shell 0.2%
  • RPC 0.1%
  • Makefile 0.1%