Published July 6, 2022
| Version v1
Dataset
Open
Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification
Authors/Creators
- 1. University of Bremen
- 2. University of Bremen / DFKI
Description
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.
Files
artifacts.zip
Files
(119.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c39a22e0327f30d4f1a687d70334c546
|
119.3 MB | Preview Download |
Additional details
Related works
- Is supplemented by
- Software documentation: https://agra-uni-bremen.github.io/sisl/ (URL)
- Requires
- Software: https://github.com/agra-uni-bremen/sisl (URL)
- Software: https://github.com/agra-uni-bremen/sisl-vp (URL)