The DOI matches its Crossref record; 23 of the 23 references it cites were found in a registry or an index.
Lessons from building static analysis tools at Google
Open accessAbstract
For a static analysis project to succeed, developers must feel they benefit from and enjoy using it.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The cited source says what the claim attributes to it.
In the citing paper
“industry reports show that it is difficult to get developers to adopt static analysis in their workflows [5, 11, 30, 34].”
From Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification (2025) · cites this paper as [30]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Hovemeyer, D., & Pugh, W. (2004) · Companion to the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA Companion) · doi:10.1145/1028664.1028717 · Cited by 770
A few billion lines of code later
Bessey, A., Block, K., Chelf, B., Chou, A., Fulton, B., Hallem, S., Henri-Gros, C., Kamsky, A., McPeak, S., & Engler, D. (2010) · Communications of the ACM · doi:10.1145/1646353.1646374 · Cited by 634
Using Static Analysis to Find Bugs
Ayewah, N., Pugh, W., Hovemeyer, D., Morgenthaler, J. D., & Penix, J. (2008) · IEEE Software · doi:10.1109/ms.2008.130 · Cited by 536
Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., & Rival, X. (2005) · Lecture Notes in Computer Science · doi:10.1007/978-3-540-31987-0_3 · Cited by 426
Hovemeyer, D., & Pugh, W. (2004) · ACM SIGPLAN Notices · doi:10.1145/1052883.1052895 · Cited by 397
Thorough static analysis of device drivers
Ball, T., Bounimova, E., Cook, B., Levin, V., Lichtenberg, J., McGarvey, C., Ondrusek, B., Rajamani, S. K., & Ustuner, A. (2006) · European Conference on Computer Systems · doi:10.1145/1217935.1217943 · Cited by 373
Chambers, C., Raniwala, A., Perry, F., Adams, S., Henry, R. R., Bradshaw, R., & Weizenbaum, N. (2010) · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · doi:10.1145/1806596.1806638 · Cited by 330
Moving Fast with Software Verification
Calcagno, C., Distefano, D., Dubreil, J., Gabi, D., Hooimeijer, P., Luca, M., O’Hearn, P. W., Papakonstantinou, I., Purbrick, J., & Rodriguez, D. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-17524-9_1 · Cited by 272
Why don’t software developers use static analysis tools to find bugs
Johnson, B., Song, Y., Murphy-Hill, E. R., & Bowdidge, R. W. (2013) · Cited by 268
Why Google stores billions of lines of code in a single repository
Potvin, R., & Levenberg, J. (2016) · Communications of the ACM · doi:10.1145/2854146 · Cited by 158
Cited by
Sorted by citations
Items 101–200 of 241
Cybersecurity Education and Formal Methods
Davenport, J. H., & Crick, T. (2021) · Communications in computer and information science · doi:10.1007/978-3-030-71374-4_8 · Cited by 8
Limits and difficulties in the design of under-approximation abstract domains
Ascari, F., Bruni, R., & Roberta Gori, B. (2022) · Lecture notes in computer science · doi:10.1007/978-3-030-99253-8_2 · Cited by 8
An unsupervised feature selection approach for actionable warning identification
Ge, X., Fang, C., Liu, J., Qing, M., Li, X., & Zhao, Z. (2023) · Expert Systems with Applications · doi:10.1016/j.eswa.2023.120152 · Cited by 8
IDE support for cloud-based static analyses
Luo, L., Schäf, M., Sanchez, D., & Bodden, E. (2021) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/3468264.3468535 · Cited by 8
Rafnsson, W., Giustolisi, R., Kragerup, M., & Høyrup, M. (2020) · Lecture notes in computer science · doi:10.1007/978-3-030-65745-1 · Cited by 8
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
Mitchell, J., & Shaaban, Y. (2025) · Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages · doi:10.1145/3759425.3763390 · Cited by 8
“Furthermore, even prior to vibe coding, industry reports show that it is difficult to get developers to adopt static analysis in their workflows [5, 11, 30, 34].”
Machine Learning for Actionable Warning Identification: A Comprehensive Survey
Ge, X., Fang, C., Li, X., Sun, W., Wu, D., Zhai, J., Lin, S., Zhao, Z., Liu, Y., & Chen, Z. (2024) · ACM Computing Surveys · doi:10.1145/3696352 · Cited by 7
Vulnerability Repair via Concolic Execution and Code Mutations
Shariffdeen, R., Timperley, C. S., Noller, Y., Goues, C. L., & Roychoudhury, A. (2024) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/3707454 · Cited by 11
Shamim, S. I., Hu, H., & Rahman, A. (2025) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1109/icse55347.2025.00170 · Cited by 7
Statistical reasoning about programs
Böhme, M. (2022) · IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) · doi:10.1145/3510455.3512796 · Cited by 7
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings
Utture, A., & Palsberg, J. (2023) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/3611643.3616267 · Cited by 7
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging
Ferrara, P., Cortesi, A., & Spoto, F. (2020) · Science of Computer Programming · doi:10.1016/j.scico.2020.102392 · Cited by 7
Digital Nudges for Encouraging Developer Behaviors.
Brown, D. C. (2021) · NCSU Libraries Repository (North Carolina State University Libraries) · Cited by 7
Fast Change-Based Alarm Reporting for Evolving Software Systems
Jana, A., Khadsare, A., Chimdyalwar, B., Kumar, S., Ghime, V., & Venkatesh, R. (2021) · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · doi:10.1109/issre52982.2021.00062 · Cited by 7
Fact-Aligned and Template-Constrained Static Analyzer Rule Enhancement with LLMs
Jiang, Z., Wen, M., Wen, G., & Jin, H. (2025) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase63991.2025.00138 · Cited by 6
Lau, J. K., Kong, K. K. W., Yong, J. H., Tan, P. H., Yang, Z., Yong, Z. Q., Low, J. C. W., Chong, C. Y., Lim, M. K., & Lo, D. (2023) · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · doi:10.1145/3597926.3598126 · Cited by 6
Pluggable Type Inference for Free
Kellogg, M., Daskiewicz, D., Nguyen, L. N. D., Ahmed, M., & Ernst, M. D. (2023) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase56229.2023.00186 · Cited by 6
Insecure Software on a Fragmenting Internet
Ryan, I., Roedig, U., & Stol, K.-J. (2022) · Cyber Research Conference - Ireland (Cyber-RCI) · doi:10.1109/cyber-rci55324.2022.10032675 · Cited by 6
Extending the range of bugs that automated program repair can handle
Al-Bataineh, O. I., Moonen, L., & Vidziunas, L. (2023) · Journal of Systems and Software · doi:10.1016/j.jss.2023.111918 · Cited by 6
Tracking the Evolution of Static Code Warnings: The State-of-the-Art and a Better Approach
Li, J., & Yang, J. (2024) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2024.3358283 · Cited by 6
Interactive Abstract Interpretation with Demanded Summarization
Stein, B., Chang, B.-Y. E., & Sridharan, M. (2024) · ACM Transactions on Programming Languages and Systems · doi:10.1145/3648441 · Cited by 6
Meliá, S., Reyes, R., & Cachero, C. (2024) · Information and Software Technology · doi:10.1016/j.infsof.2024.107491 · Cited by 9
Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage
Meşecan, İ., Blackwell, D., Clark, D., Cohen, M. B., & Petke, J. (2022) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1145/3551349.3556947 · Cited by 5
Removing dependencies from large software projects: are you really sure?
Chuang, C.-C., Cruz, L., van Dalen, R., Mikovski, V., & Arie Van Deursen, A. (2022) · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) · doi:10.1109/scam55253.2022.00017 · Cited by 5
Efficient Pattern-based Static Analysis Approach via Regular-Expression Rules
Zhang, X., Zhou, Y., & Tan, S. H. (2023) · IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) · doi:10.1109/saner56733.2023.00022 · Cited by 5
Static Code Analysis: A Tree of Science Review
Ruiz, G. A., Robledo, S., & Morales, H. H. (2023) · Entre ciencia e ingeniería · doi:10.31908/19098367.2846 · Cited by 5
Scientific Developers v/s Static Analysis Tools: Vision and Position Paper
Krishnamurthy, R., Heinze, T. S., Haupt, C., Schreiber, A., & Meinel, M. (2019) · International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE) · doi:10.1109/chase.2019.00029 · Cited by 5
A Parallel Worklist Algorithm for Modular Analyses
Es, N. V., Stiévenart, Q., der Plas, J. V., & Roover, C. D. (2020) · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) · doi:10.1109/scam51674.2020.00006 · Cited by 5
Formal Verification of Cyberphysical Systems
Michael, J. B., Drusinsky, D., & Wijesekera, D. (2021) · Computer · doi:10.1109/mc.2021.3055883 · Cited by 5
Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++
Schubert, P. D., Leer, R., Hermann, B., & Bodden, E. (2021) · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) · doi:10.1109/scam52516.2021.00011 · Cited by 5
Counterfactual Explanations for Models of Code
Cito, J., Dillig, I., Murali, V., & Chandra, S. (2022) · IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · doi:10.1109/icse-seip55303.2022.9794112 · Cited by 47
Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques
Al-Bataineh, O. I., Grishina, A., & Moonen, L. (2021) · IEEE International Conference on Software Quality, Reliability and Security (QRS) · doi:10.1109/qrs54544.2021.00075 · Cited by 5
Long-term Static Analysis Rule Quality Monitoring Using True Negatives
Luo, L., Mukherjee, R., Tripp, O., Schäf, M., Zhou, Q., & Sanchez, D. (2023) · IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · doi:10.1109/icse-seip58684.2023.00034 · Cited by 4
Understanding Test Convention Consistency as a Dimension of Test Quality
Robillard, M. P., Nassif, M., & Sohail, M. (2024) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/3672448 · Cited by 4
Fixing Vulnerabilities Automatically with Linters
Rafnsson, W., Giustolisi, R., Kragerup, M., & Høyrup, M. (2020) · Lecture notes in computer science · doi:10.1007/978-3-030-65745-1_13 · Cited by 4
A parallel worklist algorithm and its exploration heuristics for static modular analyses
Stiévenart, Q., Es, N. V., der Plas, J. V., & Roover, C. D. (2021) · Journal of Systems and Software · doi:10.1016/j.jss.2021.111042 · Cited by 4
Provable GPU Data-Races in Static Race Detection
Liew, D., Cogumbreiro, T., & Lange, J. (2022) · Electronic Proceedings in Theoretical Computer Science · doi:10.4204/eptcs.356.4 · Cited by 4
Certifying machine learning models against evasion attacks by program analysis
Calzavara, S., Ferrara, P., & Lucchese, C. (2022) · Journal of Computer Security · doi:10.3233/jcs-210133 · Cited by 4
Understanding automated code review process and developer experience in industry
Kim, H., Kwon, Y., Joh, S., Kwon, H., Ryou, Y., & Kim, T. (2022) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/3540250.3558950 · Cited by 4
A Survey of Tool Support for Working with Design Decisions in Code
Mehrpour, S., & LaToza, T. D. (2023) · ACM Computing Surveys · doi:10.1145/3607868 · Cited by 5
Bitcoin’s APIs in Open-Source Projects: Security Usability Evaluation
Tschannen, P., & Ahmed, A. (2020) · Electronics · doi:10.3390/electronics9071077 · Cited by 4
Automatically Customizing Static Analysis Tools to Coding Rules Really Followed by Developers
Ueda, Y., Ishio, T., & Matsumoto, K. (2021) · IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) · doi:10.1109/saner50967.2021.00062 · Cited by 4
Developers' Perspective on Today's and Tomorrow's Programming Tool Assistance: A Survey
Kuang, P., Söderberg, E., & Höst, M. (2024) · International Conference on Art, Science, and Engineering of Programming (<Programming>) · doi:10.1145/3660829.3660848 · Cited by 5
SafeRace: Assessing and Addressing WebGPU Memory Safety in the Presence of Data Races
Levine, R., Lee, A., Abbas, N., Little, K., & Sorensen, T. (2025) · Proceedings of the ACM on Programming Languages · doi:10.1145/3763075 · Cited by 3
Memory-Safety Verification of Open Programs with Angelic Assumptions
Takhar, G., Bijlani, B., Chatterjee, P., Lal, A., & Roy, S. (2025) · Proceedings of the ACM on Programming Languages · doi:10.1145/3763090 · Cited by 3
Mahmud, A., Rawajfih, Y., & Arnold, R. (2025) · 2025 Annual Computer Security Applications Conference Workshops (ACSAC Workshops) · doi:10.1109/acsacw69556.2025.00074 · Cited by 3
Multi-sensor data fusion perspective for smart grid analytics
Daş, R., & Tuna, G. (2024) · Elsevier eBooks · doi:10.1016/b978-0-443-14066-2.00006-2 · Cited by 3
Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation
Li, Y., Yao, P., Yu, K., Wang, C., Ye, Y., Li, S., Luo, M., Liu, Y., & Ren, K. (2025) · Proceedings of the ACM on software engineering. · doi:10.1145/3729404 · Cited by 3
Proactive Secure Coding for iOS Applications
Marin, M. A., Carabaș, C., Deaconescu, R. A., & Ţăpuş, N. (2019) · RoEduNet Conference: Networking in Education and Research (RoEduNet) · doi:10.1109/roedunet.2019.8909672 · Cited by 3
DR-Tools: a suite of lightweight open-source tools to measure and visualize Java source code
Lacerda, G., Petrillo, F. D. S., & Pimenta, M. S. (2020) · IEEE International Conference on Software Maintenance (ICSM) · doi:10.1109/icsme46990.2020.00097 · Cited by 3
Towards Extending the Range of Bugs That Automated Program Repair Can Handle
Al-Bataineh, O. I., & Moonen, L. (2022) · IEEE International Conference on Software Quality, Reliability and Security (QRS) · doi:10.1109/qrs57517.2022.00031 · Cited by 3
ViolationTracker: Building Precise Histories for Static Analysis Violations
Yu, P., Wu, Y., Peng, X., Peng, J., Zhang, J., Xie, P., & Zhao, W. (2023) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1109/icse48619.2023.00171 · Cited by 3
Characterizing Static Analysis Alerts for Terraform Manifests: An Experience Report
Hu, H., Bu, Y., Wong, K., Sood, G., Smiley, K. J., & Rahman, A. (2023) · IEEE Secure Development Conference (SecDev) · doi:10.1109/secdev56634.2023.00014 · Cited by 3
Who Should We Blame for Android App Crashes? An In-Depth Study at Scale and Practical Resolutions
Gong, L., Lin, H. W., Liu, D., Yang, L., Wang, H., Qiu, J., Li, Z., & Qian, F. (2024) · ACM Transactions on Sensor Networks · doi:10.1145/3649895 · Cited by 3
Effects of Automated Static Analysis Tools: A Multidimensional View on Quality Evolution
Trautsch, A. (2019) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1109/icse-companion.2019.00075 · Cited by 3
A Better Approach to Track the Evolution of Static Code Warnings
Li, J. (2021) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1109/icse-companion52605.2021.00058 · Cited by 3
Sniffing for Codebase Secret Leaks with Known Production Secrets in IndustryPreprint
Ding, Z. Y., Khakshoor, B., Paglierani, J., & Rajpal, M. (2020) · arXiv (Cornell University) · doi:10.48550/arxiv.2008.05997 · Cited by 3
A Model-Driven Approach for the Management and Enforcement of Coding Conventions
Rodrigues, E., Pereira, J. D., & Montecchi, L. (2023) · IEEE Access · doi:10.1109/access.2023.3256886 · Cited by 2
MuRS: Mutant Ranking and Suppression using Identifier Templates
Chen, Z., Salawa, M., Vijayvergiya, M., Petrović, G., Ivanković, M., & Just, R. (2023) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/3611643.3613901 · Cited by 2
Dang, Y.-T., Le-Cong, T., Nguyen, P.-T., Bui, A. M. T., Nguyen, P. T., Le, X.-B. D., & Thắng, H. Q. (2024) · International Conference on Evaluation and Assessment in Software Engineering (EASE) · doi:10.1145/3661167.3661168 · Cited by 3
A Method for Processing Static Analysis Alarms Based on Deep Learning
Tan, Y., & Tian, J. (2024) · Applied Sciences · doi:10.3390/app14135542 · Cited by 3
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
Ascari, F., Bruni, R., Roberta Gori, B., & Raad, A. (2026) · Proceedings of the ACM on Programming Languages · doi:10.1145/3776688 · Cited by 2
Defining and Detecting the Defects of Large Language Model-Based Autonomous Agents
Ning, K., Chen, J., Zhang, J., Li, W., Wang, Z., Feng, Y., Zhang, W., & Zheng, Z. (2026) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2026.3658554 · Cited by 18
DevReplay: Linter that generates regular expressions for repeating code changes
Ueda, Y., Ishio, T., & Matsumoto, K. (2022) · Science of Computer Programming · doi:10.1016/j.scico.2022.102857 · Cited by 2
Understanding Why and Predicting When Developers Adhere to Code-Quality Standards
Motwani, M., & Brun, Y. (2023) · IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · doi:10.1109/icse-seip58684.2023.00045 · Cited by 2
Learning to Boost Disjunctive Static Bug-Finders
Ko, Y., & Oh, H. (2023) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1109/icse48619.2023.00099 · Cited by 2
Lifting On-Demand Analysis to Higher-Order Languages
Schoepe, D., Seekatz, D., Stoilkovska, I., Stucki, S., Tattersall, D., Bolignano, P., Raimondi, F., & Chang, B.-Y. E. (2023) · Lecture notes in computer science · doi:10.1007/978-3-031-44245-2_20 · Cited by 2
Ullah, S., & Rashid, A. (2024) · IEEE European Symposium on Security and Privacy · doi:10.1109/eurosp60621.2024.00028 · Cited by 2
Ernst Denert Award for Software Engineering 2019
Felderer, M., Hasselbring, W., Koziolek, H., Matthes, F., Prechelt, L., Reussner, R., Rumpe⋆, B., & Schaefer, I. (2020) · Springer eBooks · doi:10.1007/978-3-030-58617-1 · Cited by 2
Checking Contact Tracing App Implementations with Bespoke Static Analysis
Flood, R., Chan, S. C., Chen, W., & Aspinall, D. (2022) · SN Computer Science · doi:10.1007/s42979-022-01357-w · Cited by 2
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
Li, W., Le, Q. L., Song, Y., & Chin, W.-N. (2023) · Lecture notes in computer science · doi:10.1007/978-981-99-8311-7_13 · Cited by 2
Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses
Umann, K., Horváth, G., & Porkoláb, Z. (2024) · Acta Cybernetica · doi:10.14232/actacyb.299805 · Cited by 2
Identification of data propagation paths for efficient dynamic information flow tracking
Mallissery, S., Wu, Y., Hsieh, C.-H., & Bau, C.-A. (2020) · ACM Symposium on Applied Computing · doi:10.1145/3341105.3373876 · Cited by 2
Checking Contact Tracing App Implementations
Flood, R., Chan, S. C., Chen, W., & Aspinall, D. (2021) · International Conference on Information Systems Security and Privacy (ICISSP) · doi:10.5220/0010237201330144 · Cited by 2
MCPA: Program Analysis as Machine LearningPreprint
Böhme, M. (2019) · arXiv (Cornell University) · doi:10.48550/arxiv.1911.04687 · Cited by 2
What Warnings Do Engineers Really Fix? The Compiler That Cried Wolf
Kudrjavets, G., Kumar, A., & Rastogi, A. (2023) · International Conference on Mining Software Repositories (MSR) · doi:10.1109/msr59073.2023.00068 · Cited by 1
Studying the impact of risk assessment analytics on risk awareness and code review performance
Yu, X., Cogo, F. R., McIntosh, S., & Godfrey, M. W. (2024) · Empirical Software Engineering · doi:10.1007/s10664-024-10443-x · Cited by 1
Abdollahpour, M. M., Dietrich, J. B., & Lam, P. (2024) · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) · doi:10.1109/scam63643.2024.00019 · Cited by 1
DALEQ - Explainable Equivalence for Java Bytecode
Dietrich, J. B., & Hassanshahi, B. (2025) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase63991.2025.00300 · Cited by 1
Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in Static Analysis
Narasimhan, K. (2026) · ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE) · doi:10.1145/3814885.3816409 · Cited by 1
A study of behavioral decay in design patterns
Reimanis, D., & Izurieta, C. I. (2023) · Journal of Software Evolution and Process · doi:10.1002/smr.2638 · Cited by 1
Monotonicity and the Precision of Program Analysis
Campion, M., Preda, M. D., Giacobazzi, R., & Urban, C. (2024) · Proceedings of the ACM on Programming Languages · doi:10.1145/3632897 · Cited by 1
Is it a Bug? Understanding Physical Unit Mismatches in Robot Software
Canelas, P., Tabor, T., Ore, J., Fonseca, A., Goues, C. L., & Timperley, C. S. (2024) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/icra57147.2024.10611413 · Cited by 1
Towards Cross-Build Differential Testing
Dietrich, J. B., White, T., Terragni, V., & Hassanshahi, B. (2025) · IEEE International Conference on Software Testing, Verification and Validation (ICST) · doi:10.1109/icst62969.2025.10989044 · Cited by 1
A modular approach to integrate verification tools in model based development
Kanav, S. (2018) · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) · doi:10.1145/3270112.3275334 · Cited by 1
Interactive Static Software Performance Analysis in the IDE
Beigelbeck, A., Aniche, M. F., & Cito, J. (2021) · IEEE International Conference on Program Comprehension (ICPC) · doi:10.1109/icpc52881.2021.00057 · Cited by 1
Statistical Reasoning About Programs
Böhme, M. (2022) · IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) · doi:10.1109/icse-nier55298.2022.9793535 · Cited by 8
Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems
Mitra, S., & Sibai, H. (2022) · Computer · doi:10.1109/mc.2022.3190954 · Cited by 1
Boost the Impact of Continuous Formal Verification in IndustryPreprint
Monteiro, F. R., Gadelha, M. R., & Cordeiro, L. C. (2019) · arXiv (Cornell University) · doi:10.48550/arxiv.1904.06152 · Cited by 1
The Cost and Benefits of Static Analysis During DevelopmentPreprint
Nichols, W. R. (2020) · arXiv (Cornell University) · doi:10.48550/arxiv.2003.03001 · Cited by 1
Active checking buffer overflow vulnerability in binaries with symbolic execution
Wu, B., Ma, Y., Zhang, Q., & Qian, F. (2019) · doi:10.23977/meet.2019.93720
Self-Service Analysis Tools Based on Open Sharing
Ran, R., Zhou, D., Bo, J., Hu, P., Qi, J., Gao, Q., & Sun, J. (2020) · International Wireless Communications and Mobile Computing Conference (IWCMC) · doi:10.1109/iwcmc48107.2020.9148510
Applications of Synchronized Pushdown Systems
Späth, J. (2020) · Springer eBooks · doi:10.1007/978-3-030-58617-1_3
Software Verification Tools (Track Introduction)
Schordan, M., Beyer, D., & Bojanova, I. (2021) · Lecture notes in computer science · doi:10.1007/978-3-030-83723-5_12
User-driven Design and Evaluation of Liquid Types in JavaPreprint
Gamboa, C., Santos, P., Timperley, C. S., & Fonseca, A. (2021) · arXiv (Cornell University) · doi:10.48550/arxiv.2110.05444
Iovan, M., & Cruzes, D. S. (2022) · Lecture notes in computer science · doi:10.1007/978-3-031-21388-5_11
An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code
Malm, J., Enoiu, E. P., Masud, A. N., Lisper, B., Porkoláb, Z., & Eldh, S. (2022) · Euromicro Conference on Software Engineering and Advanced Applications (SEAA) · doi:10.1109/seaa56994.2022.00029
Language Agnostic Program Conformance Analysis
Reddy, M., Bhat, S., Chandrashekar, N., Venkatraman, S., & Kanwal, P. (2023) · International Conference for Emerging Technology (INCET) · doi:10.1109/incet57972.2023.10170698
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse
Zhu, H., Li, Y., Shen, K., & Mitra, S. (2023) · Lecture notes in computer science · doi:10.1007/978-3-031-45329-8_5
Metadata
- Authors
- Sadowski, C., Aftandilian, E., Eagle, A., Miller-Cushon, L., & Jaspan, C.
- Affiliations
- Google (United States) (US)
- Venue
- Communications of the ACM
- Published
- 2018-03-26
- Volume
- 61
- Issue
- 4
- Pages
- 58-66
- ISSN
- 0001-0782 (ISSN-L)
- 1557-7317
- OpenAlex
- W2784876765
- Cited by
- 242
- References
- 23
- Citations by year
- 2026: 26 · 2025: 21 · 2024: 30 · 2023: 43 · 2022: 40 · 2021: 27 · 2020: 28 · 2019: 23 · 2018: 4
- FWCI
- 32.97
- Type
- journal article
- Language
- en
- Open access
- bronze
- doi.org
- Locations
- Communications of the ACM (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Information Systems › Software Engineering Research
- Physical Sciences › Computer Science › Information Systems › Software Engineering Techniques and Practices
- Physical Sciences › Computer Science › Software › Logic, programming, and type systems
- Keywords
- static analysis tools, developer adoption, developer experience, software quality
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
