Abstract
SWAT is a novel dynamic symbolic execution engine for Java applications utilizing dynamic instrumentation. SWAT's unique modular design facilitates flexible communication between its symbolic explorer and executor using HTTP endpoints, thus enhancing adaptability to diverse application scenarios. The symbolic executor's ability to attach to Java applications enables efficient constraint generation and path exploration. SWAT employs JavaSMT for constraint generation and ASM for bytecode instrumentation, ensuring robust performance. SWAT's efficacy is evaluated in the Java Track of SV-COMP 2024, achieving fourth place.
| Original language | English |
|---|---|
| Title of host publication | Tools and Algorithms for the Construction and Analysis of Systems |
| Editors | Bernd Finkbeiner, Laura Kovács |
| Number of pages | 7 |
| Place of Publication | Cham |
| Publisher | Springer Nature Switzerland |
| Publication date | 05.04.2024 |
| Pages | 399-405 |
| ISBN (Print) | 978-3-031-57256-2 |
| Publication status | Published - 05.04.2024 |
UN SDGs
This output contributes to the following UN Sustainable Development Goals (SDGs)
-
SDG 4 Quality Education -
SDG 9 Industry, Innovation, and Infrastructure -
SDG 11 Sustainable Cities and Communities -
SDG 12 Responsible Consumption and Production -
SDG 14 Life Below Water -
SDG 15 Life on Land
Fingerprint
Dive into the research topics of 'SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution)'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver