{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T12:33:01Z","timestamp":1791462781273,"version":"4.3.4"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"8","license":[{"start":{"date-parts":[[2019,7,24]],"date-time":"2019-07-24T00:00:00Z","timestamp":1563926400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2019,7,24]]},"abstract":"<jats:p>Key lessons for designing static analyses tools deployed to find bugs in hundreds of millions of lines of code.<\/jats:p>","DOI":"10.1145\/3338112","type":"journal-article","created":{"date-parts":[[2019,7,25]],"date-time":"2019-07-25T08:34:33Z","timestamp":1564043673000},"page":"62-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":188,"title":["Scaling static analyses at Facebook"],"prefix":"10.1145","volume":"62","author":[{"given":"Dino","family":"Distefano","sequence":"first","affiliation":[{"name":"Facebook London, U.K and Queen Mary University of London, U.K"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel","family":"F\u00e4hndrich","sequence":"additional","affiliation":[{"name":"Facebook Research, Seattle, WA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Logozzo","sequence":"additional","affiliation":[{"name":"Facebook Research, Seattle, WA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter W.","family":"O'Hearn","sequence":"additional","affiliation":[{"name":"Facebook London, U.K and University College London, U.K"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,7,24]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276514"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2984450.2984457"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_1"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2049697.2049700"},{"key":"e_1_2_2_6_1","volume-title":"Formal reasoning about the security of Amazon Web services. LICS","author":"Cook B.","year":"2018","unstructured":"Cook , B. Formal reasoning about the security of Amazon Web services. LICS ( 2018 ), 38--47. Cook, B. Formal reasoning about the security of Amazon Web services. LICS (2018), 38--47."},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_2_2_8_1","volume-title":"Proceedings of 2002 CC, 159--178","author":"Cousot P.","unstructured":"Cousot , P. and Cousot , R . Modular static program analysis . In Proceedings of 2002 CC, 159--178 . Cousot, P. and Cousot, R. Modular static program analysis. In Proceedings of 2002 CC, 159--178."},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2013.25"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290370"},{"key":"e_1_2_2_11_1","volume-title":"Proceedings of SCAM","author":"Harman M.","year":"2018","unstructured":"Harman , M. and O'Hearn , P. From start-ups to scale-ups: Open problems and challenges in static and dynamic program analysis for testing and verification) . In Proceedings of SCAM , 2018 . Harman, M. and O'Hearn, P. From start-ups to scale-ups: Open problems and challenges in static and dynamic program analysis for testing and verification). In Proceedings of SCAM, 2018."},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1240624.1240730"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2004.1293079"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209109"},{"key":"e_1_2_2_15_1","first-page":"70","volume":"56","author":"O'Hearn P.W.","year":"2018","unstructured":"O'Hearn , P.W. Experience developing and deploying concurrency analysis at Facebook. SAS , 2018 , 56 -- 70 . O'Hearn, P.W. Experience developing and deploying concurrency analysis at Facebook. SAS, 2018, 56--70.","journal-title":"Facebook. SAS"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3211968"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3188720"},{"key":"e_1_2_2_18_1","volume-title":"Proceedings of USENIX Security Symposium","author":"Xie Y.","year":"2006","unstructured":"Xie , Y. and Aiken , A . Static detection of security vulnerabilities in scripting languages . In Proceedings of USENIX Security Symposium , 2006 . Xie, Y. and Aiken, A. Static detection of security vulnerabilities in scripting languages. In Proceedings of USENIX Security Symposium, 2006."},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328467"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338112","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3338112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:54:02Z","timestamp":1750190042000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,24]]},"references-count":19,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2019,7,24]]}},"alternative-id":["10.1145\/3338112"],"URL":"https:\/\/doi.org\/10.1145\/3338112","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7,24]]},"assertion":[{"value":"2019-07-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}