Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification
收藏NIAID Data Ecosystem2026-03-14 收录
下载链接：
https://zenodo.org/record/6802197
下载链接
链接失效反馈官方服务：
资源简介：
Artifacts for the evaluation of the publication SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification, which will be published as part of the 2022 International Symposium on Automated Technology for Verification and Analysis (ATVA).
Usage of the provided artifacts requires installing the SISL tooling first. In this regard, please refer to either the SISL user manual or the documentation in the sisl and sisl-vp GitHub repositories. Both sisl and sisl-vp need to be installed to system-wide locations in order to be able to use the scripts provided as part of these artifacts.
More information on using the artifacts is available in the README.md file.
创建时间：
2023-01-09
