Conference paper Open Access
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.