SATune: An Auto-tuning Approach for Configurable Static Analysis Tools
收藏Zenodo2020-10-18 更新2026-05-25 收录
下载链接：
https://zenodo.org/record/4067032
下载链接
链接失效反馈官方服务：
资源简介：
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-10-05
