Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/DARTS.8.2.20
URN: urn:nbn:de:0030-drops-162181
URL: https://drops.dagstuhl.de/opus/volltexte/2022/16218/
Marques, Filipe ; Fragoso Santos, José ; Santos, Nuno ; Adão, Pedro
Concolic Execution for WebAssembly (Artifact)
| pdf-format: |
|
|
| artifact-format: |
|
Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2022 Call for Artifacts and the ACM Artifact Review and Badging Policy.
Abstract
This artifact contains the implementation of WASP, a symbolic execution engine for Wasm, and WASP-C, a symbolic execution framework for testing C programs built using WASP . WASP works directly on Wasm code and was built on top of a standard-compliant Wasm reference implementation [Andreas Haas et al., 2017]. WASP was thoroughly evaluated: it was used to symbolically test a generic data-structure library and the Amazon Encryption SDK for C, demonstrating that it can find bugs and generate high-coverage testing inputs for real-world C applications; WASP was further tested against the Test-Comp benchmark, obtaining results comparable to well-established symbolic execution and testing tools for C.
BibTeX - Entry
@Article{marques_et_al:DARTS.8.2.20,
author = {Marques, Filipe and Fragoso Santos, Jos\'{e} and Santos, Nuno and Ad\~{a}o, Pedro},
title = {{Concolic Execution for WebAssembly (Artifact)}},
pages = {20:1--20:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {2},
editor = {Marques, Filipe and Fragoso Santos, Jos\'{e} and Santos, Nuno and Ad\~{a}o, Pedro},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16218},
URN = {urn:nbn:de:0030-drops-162181},
doi = {10.4230/DARTS.8.2.20},
annote = {Keywords: Concolic Testing, WebAssembly, Test-Generation, Testing C Programs}
}
| Keywords: | Concolic Testing, WebAssembly, Test-Generation, Testing C Programs | |
| Seminar: | DARTS, Volume 8, Issue 1, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022) | |
| Issue date: | 2022 | |
| Date of publication: | 23.06.2022 |
