Publikation
SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification
Sören Tempel; Vladimir Herdt; Rolf Drechsler
In: Automated Technology for Verification and Analysis (ATVA). International Symposium on Automated Technology for Verification and Analysis (ATVA-2022), October 25-28, 2022.
Zusammenfassung
Automatically generating test inputs for input handling routines which implement highly structured input formats is challenging. Existing input generation approaches (e.g. fuzzing) address this problem
by requiring verification engineers to create input speci cations based on which new inputs are generated. However, depending on the input format, creating such input specifications can be cumbersome and errorprone. We propose simplifying the creation of input speci cations by allowing input formats to be only partially speci ed. This is achieved by utilizing concolic testing (a combination of concrete random testing and symbolic execution) as an input generation technique and thereby allowing parts of the input format to remain unspeci ed (i.e. unconstrained) symbolic values. For this purpose, we present SISL, a domain-specific language for creating partial input specifications for structured binary input formats.