Scaling static analyses at Facebook

2019/07/24 by Dino Distefano, Manuel Fähndrich, Francesco Logozzo +1 · 5 citations
Computer Science · #Software Engineering Research #Advanced Malware Detection Techniques #Software System Performance and Reliability

paper · pdf · doi:10.1145/3338112

openalex publication_date 2019/07/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/19

Abstract

Key lessons for designing static analyses tools deployed to find bugs in hundreds of millions of lines of code.

Citations

• Compositional Shape Analysis by Means of Bi-Abduction
• Separation logic

Cited by

• Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
• Just-in-Time Catching Test Generation at Meta
• Unveiling Elite Developers' Activities in Open Source Projects
• Abductive reasoning [wikipedia]
• Frame problem [wikipedia]

Related

• Getafix: Learning to Fix Bugs Automatically
• Tracking the Evolution of Static Code Warnings: the State-of-the-Art and a Better Approach
• On the Utility of Marrying GIN and PMD for Improving Stack Overflow Code Snippets
• SkipAnalyzer: A Tool for Static Code Analysis with Large Language Models
• Scalable Statistical Root Cause Analysis on App Telemetry