Scaling static analyses at Facebook

Open Webpage

Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn

Published: 2019, Last Modified: 16 May 2025Commun. ACM 2019EveryoneRevisionsBibTeXCC BY-SA 4.0