Scheme-based Input Specification language (SISL) for Concolic Testing (with SymEx-VP).
If a correctly configured CHICKEN toolchain is available run:
$ chicken-install
Afterwards, you should be able to use the specifications provided in ./examples.
Usage information is provided in the SISL user manual.
The SISL tooling is described in more detail in 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).
This work was supported in part by the German Federal Ministry of Education and Research (BMBF) within the project Scale4Edge under contract no. 16ME0127 and within the project VerSys under contract no. 01IW19001.