Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification

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.