Service Incident: New DOI registrations are working again. Re-registration of failed DOI registrations (~500) are still affected by the service incident at DataCite (our DOI registration agency).
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