Published February 3, 2026 | Version OOPSLA26-R1-AEC-Final
Software Open

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution

Authors/Creators

  • 1. ROR icon Virginia Tech
  • 2. ROR icon The University of Texas at Austin
  • 3. ROR icon Purdue University West Lafayette

Files

OOPSLA26-R1-AEC-Final.zip

Files (635.1 MB)

Name Size Download all
md5:86eed2930e5621b770b8913e48aa229a
635.1 MB Preview Download

Additional details

Software

Repository URL
https://github.com/hassanaleem/CFMSE-OOPSLA26-Artifact