SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution)

Nils Loose; Felix Mächtle; Florian Sieck; Thomas Eisenbarth

SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution)

Nils Loose, Felix Mächtle, Florian Sieck, Thomas Eisenbarth

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.

Originalsprache	Englisch
Titel	Tools and Algorithms for the Construction and Analysis of Systems
Redakteure/-innen	Bernd Finkbeiner, Laura Kovács
Seitenumfang	7
Erscheinungsort	Cham
Herausgeber (Verlag)	Springer Nature Switzerland
Erscheinungsdatum	05.04.2024
Seiten	399-405
ISBN (Print)	978-3-031-57256-2
Publikationsstatus	Veröffentlicht - 05.04.2024

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 4 – Qualitativ hochwertige Bildung
SDG 9 – Industrie, Innovation und Infrastruktur
SDG 11 – Nachhaltige Städte und Gemeinschaften
SDG 12 – Verantwortungsvoller Konsum und Produktion
SDG 14 – Lebensraum Wasser
SDG 15 – Lebensraum Land

Dokumente

http://10.1007/978-3-031-57256-2_28

Zitieren

@inproceedings{4cd6c072752e4dce808793e89a90f864,

title = "SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution)",

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.",

author = "Nils Loose and Felix M{\"a}chtle and Florian Sieck and Thomas Eisenbarth",

year = "2024",

month = apr,

day = "5",

language = "English",

isbn = "978-3-031-57256-2",

pages = "399--405",

editor = "Bernd Finkbeiner and Laura Kov{\'a}cs",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

publisher = "Springer Nature Switzerland",

}

SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution). / Loose, Nils ; Mächtle, Felix ; Sieck, Florian et al.
Tools and Algorithms for the Construction and Analysis of Systems. Hrsg. / Bernd Finkbeiner; Laura Kovács. Cham: Springer Nature Switzerland, 2024. S. 399-405.

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution)

AU - Loose, Nils

AU - Mächtle, Felix

AU - Sieck, Florian

AU - Eisenbarth, Thomas

PY - 2024/4/5

Y1 - 2024/4/5

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 978-3-031-57256-2

SP - 399

EP - 405

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Finkbeiner, Bernd

A2 - Kovács, Laura

PB - Springer Nature Switzerland

CY - Cham

ER -

SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution)

Abstract

UN SDGs

Dokumente

Fingerprint

Zitieren