There is a newer version of the record available.

Published October 20, 2024 | Version v1
Software Open

TracerX: Pruning Dynamic Symbolic Execution with Deletion Interpolation

Authors/Creators

  • 1. ROR icon National University of Singapore

Contributors

  • 1. ROR icon National University of Singapore
  • 2. Lemurian Labs
  • 3. ROR icon National Institute of Technology Warangal

Files

tracerx.zip

Files (126.3 MB)

Name Size Download all
md5:1bd50ca278715c8e32dfcccfa0b55454
126.3 MB Preview Download

Additional details

Dates

Available
2024-10-20

Software

Repository URL
https://github.com/tracer-x/TracerX