Published May 11, 2022 | Version v1
Software Open

Artefact for the ISSTA 2022 Paper: Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)

  • 1. Imperial College London

Description

Artefact

This artefact provides a Docker image that contains the source code and binaries of our instrumentation/bug injection tools and KLEE extension, all benchmarks with their bitcode files, scripts to reproduce our experiments, and the static analysis reports for investigated real-world applications.

Project page: https://srg.doc.ic.ac.uk/projects/klee-sa/

Files

README.md

Files (2.6 GB)

Name Size Download all
md5:202a14190580d00ffc029f89d12614a4
2.6 GB Download
md5:83bff96480c3c5ff8752d1db0da4bc9b
29.2 kB Preview Download