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.
The requiered source code as well as all preparation steps have been already performed, you can start directly with the analysis.
Run runVAA.sh to run the variability-aware analysis and for sampling runSampling.sh.