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...
| Publicado en: | Communications of the ACM Vol. 62; no. 8; pp. 62 - 71 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Aug2019
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=137842241&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 137842241 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Aug2019 vid: 62 iid: 8 pid: 68 pub: Association for Computing Machinery artinfo: ui: 137842241 10.1145/3338112 ppf: 62 ppct: 9 formats: tig: atl: Scaling Static Analyses at Facebook. aug: au: DISTEFANO, DINO FÄHNDRICH, MANUEL LOGOZZO, FRANCESCO O'HEARN, PETER W. affil: Professor of computer science at Queen Mary University of London, U.K London, U.K. and a professor of computer science at University College London, U.K. su: Source code Computer software development Meta Platforms Inc. Computer software quality control Debugging sug: subj: Source code Computer software development Meta Platforms Inc. Computer software quality control Debugging ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2019 holdings: @attributes: islocal: N |
|---|