Conference paper Open Access

Artifact and Appendix of "Finding Real Bugs in Big Programs with Incorrectness Logic"

Quang Loc Le; Azalea Raad; Jules Villard; Josh Berdine; Derek Dreyer; Peter O'Hearn

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 (7.4 GB)
Name Size
pulse-x-artifact.zip
md5:d40e553e1b115de3f8f2e8f54ba0511d
7.4 GB Download
61
17
views
downloads
All versions This version
Views 6161
Downloads 1717
Data volume 126.0 GB126.0 GB
Unique views 4949
Unique downloads 1414

Share

Cite as