SWAT: Improvements to the symbolic executor (competition contribution)

Jan 1, 2026·

Nils Loose

,

Florian Sieck

,

Felix Mächtle

,

Thomas Eisenbarth

· 0 min read

Cite

Type

Conference paper

Publication

Tools and Algorithms for the Construction and Analysis of Systems – 32nd International Conference (TACAS 2026)

Last updated on Jan 1, 2026

← DASA: Fully Gradient-based Program Analysis (Competition Contribution) Jan 1, 2026

Trace Gadgets: Minimizing Code Context for Machine Learning-Based Vulnerability Prediction Jan 1, 2026 →