Published December 10, 2024 | Version v16
Software Open

TracerX-WP: Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation

Creators

  • 1. ROR icon National University of Singapore
  • 2. ROR icon Huawei Technologies (Canada)
  • 3. ROR icon National Institute of Technology Warangal

Files

tracerx-wp.zip

Files (125.1 MB)

Name Size Download all
md5:abbe52dcc8cb88cfb3021a9fdd770d32
125.1 MB Preview Download