SATune: An Auto-tuning Approach for Configurable Static Analysis Tools
收藏数据链接：
官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2020-03-06
