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...

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 62; no. 8; pp. 62 - 71
Autores principales:	DISTEFANO, DINO, FÄHNDRICH, MANUEL, LOGOZZO, FRANCESCO, O'HEARN, PETER W.
Formato:	Artículo
Publicado:	Association for Computing Machinery Aug2019
Materias:	Source code Computer software development Meta Platforms Inc. Computer software quality control Debugging
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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 software development practices used by Facebook.