Scaling Static Analyses at Facebook.

The article discusses the use of static analysis techniques by the social media firm Facebook Inc. Topics include the use of deep reasoning in relation to source code, the importance of catching software bugs in the use of static analysis, and the use of the tool Infer in relation to continuous soft...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 62; no. 8; pp. 62 - 71
Main Authors:	DISTEFANO, DINO, FÄHNDRICH, MANUEL, LOGOZZO, FRANCESCO, O'HEARN, PETER W.
Format:	Article
Published:	Association for Computing Machinery Aug2019
Subjects:	Source code Computer software development Meta Platforms Inc. Computer software quality control Debugging
Online Access:	View this record in EBSCOhost