Cousot, P. and Cousot, R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4<sup>th</sup> POPL, 1977, 238--252.

Digital Library

Google Scholar

[8]

Cousot, P. and Cousot, R. Modular static program analysis. In Proceedings of 2002 CC, 159--178.

Digital Library

Google Scholar

[9]

Feitelson, D.G., Frachtenberg, E. and Beck, K.L. Development and deployment at Facebook. IEEE Internet Computing 17, 4 (2013), 8--17.

Digital Library

Google Scholar

[10]

Gorogiannis, N., Sergey, I. and O'Hearn, P. A true positives theorem for a static race detector. In Proceedings of the 2019 POPL.

Digital Library

Google Scholar

[11]

Harman, M. and O'Hearn, P. From start-ups to scale-ups: Open problems and challenges in static and dynamic program analysis for testing and verification). In Proceedings of SCAM, 2018.

Google Scholar

[12]

Iqbal, S.T and Horvitz, E. Disruption and recovery of computing tasks: Field study, analysis, and directions. In Proceedings of 2007 CHI, 677--686.

Digital Library

Google Scholar

[13]

Larus, J.R. et al. Righting software. IEEE Software 21, 3 (2004), 92--100.

Digital Library

Google Scholar

[14]

O'Hearn, P. Continuous reasoning: Scaling the impact of formal methods. LICS, 2018.

Digital Library

Google Scholar

[15]

O'Hearn, P.W. Experience developing and deploying concurrency analysis at Facebook. SAS, 2018, 56--70.

Google Scholar

[16]

O'Hearn, P.W. Separation logic. Comm. ACM 62, 2 (Feb 2019), 86--95.

Digital Library

Google Scholar

[17]

Sadowski, C., Aftandilian, E., Eagle, A., Miller-Cushion, L. and Jaspan, C. Lessons from building static analysis tools at Google. Commun. ACM 61, 4 (Apr. 2018), 58--66.

Digital Library

Google Scholar

[18]

Xie, Y. and Aiken, A. Static detection of security vulnerabilities in scripting languages. In Proceedings of USENIX Security Symposium, 2006.

Digital Library

Google Scholar

[19]

Yorsh, G., Yahav, E. and Chandra, S. Generating precise and concise procedure summaries. In Proceedings of 2008 POPL.

Digital Library

Google Scholar

Cited By

View all

Tan YTian J(2024)A Method for Processing Static Analysis Alarms Based on Deep LearningApplied Sciences10.3390/app1413554214:13(5542)Online publication date: 26-Jun-2024
https://doi.org/10.3390/app14135542
Beek MBroy MDongol B(2024)The Role of Formal Methods in Computer Science EducationACM Inroads10.1145/370223115:4(58-66)Online publication date: 11-Nov-2024
https://dl.acm.org/doi/10.1145/3702231
Distefano DMarescotti MAhs CCela SSampaio GGrigore RHajdu AKapus TMao KSuzanne TFilkov VRay BZhou M(2024)Enhancing Compositional Static Analysis with Dynamic AnalysisProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695599(2121-2129)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1145/3691620.3695599
Show More Cited By

Index Terms

Scaling static analyses at Facebook
1. Software and its engineering
  1. Software creation and management
    1. Software development process management
      1. Software development methods
  2. Software organization and properties
    1. Software functional properties
      1. Formal methods
        Software verification
2. Theory of computation
  1. Semantics and reasoning
    1. Program reasoning

Recommendations

Making offline analyses continuous
ESEC/FSE 2013: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering

Developers use analysis tools to help write, debug, and understand software systems under development. A developer's change to the system source code may affect analysis results. Typically, to learn those effects, the developer must explicitly initiate ...
Testing static analyses for precision and soundness
CGO '20: Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization

Static analyses compute properties of programs that are true in all executions, and compilers use these properties to justify optimizations such as dead code elimination. Each static analysis in a compiler should be as precise as possible while remaining ...
Cross-language code search using static and dynamic analyses
ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

As code search permeates most activities in software development,code-to-code search has emerged to support using code as a query and retrieving similar code in the search results. Applications include duplicate code detection for refactoring, patch ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Communications of the ACM Volume 62, Issue 8

August 2019

88 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/3351434

Editor:
Andrew A. Chien
Association for Computing Machinery, New York, NY

Issue’s Table of Contents

This work is licensed under a Creative Commons Attribution International 4.0 License.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 July 2019

Published in CACM Volume 62, Issue 8

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

138
Total Citations
View Citations
86,229
Total Downloads

Downloads (Last 12 months)2,873
Downloads (Last 6 weeks)222

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Tan YTian J(2024)A Method for Processing Static Analysis Alarms Based on Deep LearningApplied Sciences10.3390/app1413554214:13(5542)Online publication date: 26-Jun-2024
https://doi.org/10.3390/app14135542
Beek MBroy MDongol B(2024)The Role of Formal Methods in Computer Science EducationACM Inroads10.1145/370223115:4(58-66)Online publication date: 11-Nov-2024
https://dl.acm.org/doi/10.1145/3702231
Distefano DMarescotti MAhs CCela SSampaio GGrigore RHajdu AKapus TMao KSuzanne TFilkov VRay BZhou M(2024)Enhancing Compositional Static Analysis with Dynamic AnalysisProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695599(2121-2129)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1145/3691620.3695599
Dietrich JRasheed SJordan AWhite TTorres-Arias SDe Carli LZhang Y(2024)On the Security Blind Spots of Software Composition AnalysisProceedings of the 2024 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses10.1145/3689944.3696165(77-87)Online publication date: 19-Nov-2024
https://dl.acm.org/doi/10.1145/3689944.3696165
Dardinier TLi AMüller P(2024)Hypra: A Deductive Program Verifier for Hyper Hoare LogicProceedings of the ACM on Programming Languages10.1145/36897568:OOPSLA2(1279-1308)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689756
Raad AVanegue JO’Hearn P(2024)Non-termination Proving at ScaleProceedings of the ACM on Programming Languages10.1145/36897208:OOPSLA2(246-274)Online publication date: 8-Oct-2024
https://dl.acm.org/doi/10.1145/3689720
Zilberstein NSridharan M(2024)Unified Analysis Techniques for Programs with OutcomesCompanion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity10.1145/3689491.3691814(4-6)Online publication date: 20-Oct-2024
https://dl.acm.org/doi/10.1145/3689491.3691814
Ascari FBruni RGori R(2024)Limits and Difficulties in the Design of Under-Approximation Abstract DomainsACM Transactions on Programming Languages and Systems10.1145/366601446:3(1-31)Online publication date: 10-Oct-2024
https://dl.acm.org/doi/10.1145/3666014
Liang JBadea CBird CDeLine RFord DForsgren NZimmermann T(2024)Can GPT-4 Replicate Empirical Software Engineering Research?Proceedings of the ACM on Software Engineering10.1145/36607671:FSE(1330-1353)Online publication date: 12-Jul-2024
https://dl.acm.org/doi/10.1145/3660767
Dardinier TMüller P(2024)Hyper Hoare Logic: (Dis-)Proving Program HyperpropertiesProceedings of the ACM on Programming Languages10.1145/36564378:PLDI(1485-1509)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656437
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Supplementary Material

References

Cited By

Index Terms

Recommendations

Making offline analyses continuous

Testing static analyses for precision and soundness

Cross-language code search using static and dynamic analyses

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations