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

<p>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>(<a href="https://atva-conference.org/2022/">ATVA</a>).</p> <p>Usage of the provided artifacts requires installing the SISL tooling first. In this regard, please refer to either the <a href="https://agra-uni-bremen.github.io/sisl/">SISL user manual</a> or the documentation in the <em><a href="https://github.com/agra-uni-bremen/sisl">sisl</a> </em>and <a href="https://github.com/agra-uni-bremen/sisl-vp"><em>sisl-vp</em></a> 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.</p> <p>More information on using the artifacts is available in the README.md file.</p>