ATVA 2022 Tool Paper

This is the source archive distributed originally to reviewers of the ATVA 2022 tool paper SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification. This release archive contains source code from the following repositories:

• https://github.com/agra-uni-bremen/sisl
• https://github.com/agra-uni-bremen/sisl-vp

Additionally, the source archive contains RIOT example applications which demonstrate the use of the SISL language and its associated tooling. Information on using the example applications and the SISL tooling is provided in the SISL User Manual.