SATune: An Auto-tuning Approach for Configurable Static Analysis Tools
收藏Zenodo2020-03-04 更新2026-04-07 收录
下载链接：
https://zenodo.org/record/3697175
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
Anonymous Authors创建时间：
2020-03-04
