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

Artifacts for the evaluation of the publication <em>SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification,</em> which will be published as part of the 2022 <em>International Symposium on Automated Technology for Verification and Analysis </em>(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 <em>sisl </em>and <em>sisl-vp</em> GitHub repositories. Both <em>sisl</em> and <em>sisl-vp</em> 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.