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
294
88
views
downloads
All versions This version
Views 294294
Downloads 8888
Data volume 652.1 GB652.1 GB
Unique views 264264
Unique downloads 6868
More info on how stats are collected.
Indexed in
Publication date:
March 10, 2022
DOI:
10.5281/zenodo.6342311

Zenodo DOI Badge

DOI 

10.5281/zenodo.6342311

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.6342311.svg)](https://doi.org/10.5281/zenodo.6342311)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.6342311.svg
   :target: https://doi.org/10.5281/zenodo.6342311

HTML 

<a href="https://doi.org/10.5281/zenodo.6342311"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.6342311.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.6342311.svg

Target URL 

https://doi.org/10.5281/zenodo.6342311

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.6342311 Mar 10, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.6342310. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export