There is a newer version of the record available.

Published February 3, 2026 | Version OOPSLA26-R1-AEC
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
md5:6add21eb86148d18b0969b865e600b42
635.1 MB Preview Download

Additional details

Software

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