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.
lib
linux26333
project
src
.gitignore
.travis.yml
LICENSE
README.md
build.sbt
sbt-launch.jar

README.md

TypeChef Analysis of Linux

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

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

Setup & Linux source code

First we need the source code of the Kernel and extract the correct version as some file presence condtions.

Go to ./linux26333, the script ./prepareLinuxTestCase.sh has some code to automate the download, extraction and preparation. In case your operating system does not offer the requiered C system headers, you can find the used headers for our evaluation here.

How to run the analysis

Go to ./linux26333.

Afterward run runVAA.sh to run the actual variability-aware analysis and for sampling runSampling.sh. Note this case study runs for a very long time. If you have some high-performance computing environment, you might want to checkout runVAA_sbatch.sh and runSampling_sbatch.sh