Sugarlyzer: Tool-Independent Variability-Aware Static Analysis Framework for C

Artifacts for Sugarlyzer: Tool-Independent Variability-Aware Static Analysis Framework for C.

The artifacts are split into two folders, one being Sugarlyzer itself, and the other is our results. The results folder has our raw results, all of their deduplicated versions, as well as the notebook file used to deduplicate and compare our findings. The Sugarlyzer folder contains everything needed to setup and install Sugarlyzer with instructions to do so in a README file, and a provided requirements file for easily setting up a python virtual environment.  Sugarlyzer comes with all of the tools (clang, infer, and phasar) ready to go as well as VBDb  (the varbugs database). Sugarlyzer will use as many cores as it can unless specified otherwise with the --jobs flag, and Java Virtual Machine is defaulted to 32g of memory. The machine running this must also have space for creating Docker containers as well as a fresh install of llvm which will take around 70g of space.

Note: Anonymizing the tool resulted the removal of some files, making Sugarlyzer un-runnable in its current state.