Published March 4, 2020
| Version 2.0.0
Dataset
Open
SATune: An Auto-tuning Approach for Configurable Static Analysis Tools
Authors/Creators
Description
Version 2.0.0 updates: Renamed tool to SATune.
-------
This contains both the executables and the data for our ICST 2021 submission, "SATune: An Auto-tuning Approach for Configurable Static Analysis Tools." The results are in results.tar.xz, and the SATune source code and experimental environment is is experiments.tar.xz.