Answers are grounded in this paper and cite their sources.
Key lessons for designing static analyses tools deployed to find bugs in hundreds of millions of lines of code.
No takes yet. Share an insight, caveat, or question.
Distefano et al. (2019) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: