Published March 10, 2022
| Version v1
Conference paper
Open
Artifact and Appendix of "Finding Real Bugs in Big Programs with Incorrectness Logic"
- 1. University College London and Meta
- 2. Imperial College London and Meta
- 3. Meta
- 4. MPI-SWS
- 5. Meta and University College London
Description
This is the artifact for the OOPSLA'22 paper “Finding Real Bugs in Big Programs with Incorrectness Logic”. It contains the scripts reproducing the results of the paper.
The public development repository is available at https://github.com/facebook/infer.
Files
pulse-x-artifact.zip
Files
(7.4 GB)
Name | Size | Download all |
---|---|---|
md5:d40e553e1b115de3f8f2e8f54ba0511d
|
7.4 GB | Preview Download |