Scaling Static Analyses at Facebook
Scaling Static Analyses at Facebook
复制标题
DOI：
10.1145/3338112
复制
发表时间：
2019-08-01
影响因子：
22.7
通讯作者：
O'Hearn, Peter W.
中科院分区：
文献类型：
--
作者：
Distefano, Dino;Fahndrich, Manuel;O'Hearn, Peter W.
设计静态分析工具的关键经验教训，这些工具用于查找数亿行代码中的错误。
Key lessons for designing static analyses tools deployed to find bugs in hundreds of millions of lines of code.