{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T15:17:41Z","timestamp":1791299861318,"version":"4.1.0"},"reference-count":191,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2022,2,3]],"date-time":"2022-02-03T00:00:00Z","timestamp":1643846400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2023,3,31]]},"abstract":"<jats:p>Static analysis tools have showcased their importance and usefulness in automated detection of defects. However, the tools are known to generate a large number of alarms which are warning messages to the user. The large number of alarms and cost incurred by their manual inspection have been identified as two major reasons for underuse of the tools in practice. To address these concerns plentitude of studies propose postprocessing of alarms: processing the alarms after they are generated. These studies differ greatly in their approaches to postprocess alarms. A comprehensive overview of the postprocessing approaches is, however, missing.<\/jats:p>\n                  <jats:p>\n                    In this article, we review 130 primary studies that propose postprocessing of alarms. The studies are collected by combining keywords-based database search and snowballing. We categorize approaches proposed by the collected studies into six main categories:\n                    <jats:italic>clustering, ranking, pruning, automated elimination of false positives, combination of static and dynamic analyses,<\/jats:italic>\n                    and\n                    <jats:italic>simplification of manual inspection.<\/jats:italic>\n                    We provide overview of the categories and sub-categories identified for them, their merits and shortcomings, and different techniques used to implement the approaches. Furthermore, we provide (1) guidelines for selection of the postprocessing techniques by the users\/designers of static analysis tools; and (2) directions that can be explored by the researchers.\n                  <\/jats:p>","DOI":"10.1145\/3494521","type":"journal-article","created":{"date-parts":[[2022,2,3]],"date-time":"2022-02-03T05:02:04Z","timestamp":1643864524000},"page":"1-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Survey of Approaches for Postprocessing of Static Analysis Alarms"],"prefix":"10.1145","volume":"55","author":[{"given":"Tukaram","family":"Muske","sequence":"first","affiliation":[{"name":"Tata Consultancy Services, Hadapasar I.E., Pune, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Serebrenik","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,2,3]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2006.55"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2018.8612819"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2012.37"},{"key":"e_1_3_3_5_2","first-page":"69","volume-title":"International Conference on Big Data, Cloud Computing, and Data Science Engineering","author":"Aman Hirohisa","year":"2019","unstructured":"Hirohisa Aman, Sousuke Amasaki, Tomoyuki Yokogawa, and Minoru Kawahara. 2019. A survival analysis-based prioritization of code checker warning: A case study using PMD. In International Conference on Big Data, Cloud Computing, and Data Science Engineering. Springer, 69\u201383."},{"key":"e_1_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1207453"},{"key":"e_1_3_3_7_2","first-page":"37","volume-title":"International Workshop on Empirical Software Engineering in Practice","author":"Arai Satoshi","year":"2014","unstructured":"Satoshi Arai, Kazunori Sakamoto, Hironori Washizaki, and Yoshiaki Fukazawa. 2014. A gamified tool for motivating developers to remove warnings of bug pattern tools. In International Workshop on Empirical Software Engineering in Practice. IEEE, 37\u201342."},{"key":"e_1_3_3_8_2","first-page":"1","volume-title":"International Workshop on State o the Art in Program Analysis","author":"Arzt Steven","year":"2015","unstructured":"Steven Arzt, Siegfried Rasthofer, Robert Hahn, and Eric Bodden. 2015. Using targeted symbolic execution for reducing false-positives in dataflow analysis. In International Workshop on State o the Art in Program Analysis. ACM, 1\u20136."},{"key":"e_1_3_3_9_2","first-page":"11","volume-title":"International Workshop on Defects in Large Software Systems","author":"Ayewah Nathaniel","year":"2009","unstructured":"Nathaniel Ayewah and William Pugh. 2009. Using checklists to review static analysis warnings. In International Workshop on Defects in Large Software Systems. ACM, 11\u201315."},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.130"},{"key":"e_1_3_3_11_2","first-page":"1","volume-title":"Workshop on Program Analysis for Software Tools and Engineering","author":"Ayewah Nathaniel","year":"2007","unstructured":"Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, and YuQian Zhou. 2007. Evaluating static analysis defect warnings on production software. In Workshop on Program Analysis for Software Tools and Engineering. ACM, 1\u20138."},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/2745802.2745818"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3360585"},{"key":"e_1_3_3_14_2","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-44898-5_19","volume-title":"International Static Analysis Symposium","author":"Bagnara Roberto","year":"2003","unstructured":"Roberto Bagnara, Patricia M. Hill, Elisa Ricci, and Enea Zaffanella. 2003. Precise widening operators for convex polyhedra. In International Static Analysis Symposium. Springer, 337\u2013354."},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2016.63"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338952"},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.105"},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462188"},{"key":"e_1_3_3_19_2","first-page":"149","volume-title":"International Workshop on Source Code Analysis and Manipulation","author":"Boogerd Cathal","year":"2006","unstructured":"Cathal Boogerd and Leon Moonen. 2006. Prioritizing software inspection results using static profiling. In International Workshop on Source Code Analysis and Manipulation. IEEE, 149\u2013160."},{"key":"e_1_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2005.1559604"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989812"},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884656"},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACIT-CSII-BCD.2017.44"},{"key":"e_1_3_3_24_2","unstructured":"CBMC. [n.d.]. http:\/\/www.cprover.org\/cbmc\/."},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2011.26"},{"key":"e_1_3_3_26_2","first-page":"1284","volume-title":"Symposium on Applied Computing","author":"Chebaro Omar","year":"2012","unstructured":"Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, and Jacques Julliand. 2012. Program slicing enhances a verification technique combining static and dynamic analysis. In Symposium on Applied Computing. 1284\u20131291."},{"key":"e_1_3_3_27_2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-642-45293-2_6","volume-title":"International Workshop on Advanced Parallel Processing Technologies","author":"Chen Chen","year":"2013","unstructured":"Chen Chen, Kai Lu, Xiaoping Wang, Xu Zhou, and Li Fang. 2013. Pruning false positives of static data-race detection via thread specialization. In International Workshop on Advanced Parallel Processing Technologies. 77\u201390."},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11145-7_26"},{"key":"e_1_3_3_29_2","first-page":"99","volume-title":"International Conference on Languages, Compilers, and Tools for Embedded Systems","author":"Chimdyalwar Bharti","year":"2018","unstructured":"Bharti Chimdyalwar and Priyanka Darke. 2018. Statically relating program properties for efficient verification. In International Conference on Languages, Compilers, and Tools for Embedded Systems. ACM, 99\u2013103."},{"key":"e_1_3_3_30_2","first-page":"573","volume-title":"International Symposium on Formal Methods","author":"Chimdyalwar Bharti","year":"2015","unstructured":"Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, and Avriti Chauhan. 2015. Eliminating static analysis false positives using loop abstraction and bounded model checking. In International Symposium on Formal Methods. Springer, 573\u2013576."},{"key":"e_1_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/1953355.1953369"},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970347"},{"key":"e_1_3_3_33_2","first-page":"21","volume-title":"European Symposium on Programming","author":"Cousot Patrick","year":"2005","unstructured":"Patrick Cousot, Radhia Cousot, J\u00e9r\u00f4me Feret, Laurent Mauborgne, Antoine Min\u00e9, David Monniaux, and Xavier Rival. 2005. The ASTR\u00c9E analyzer. In European Symposium on Programming. Springer, 21\u201330."},{"key":"e_1_3_3_34_2","first-page":"422","volume-title":"International Conference on Software Engineering","author":"Csallner Christoph","year":"2005","unstructured":"Christoph Csallner and Yannis Smaragdakis. 2005. Check \u2018n\u2019 crash: Combining static checking and testing. In International Conference on Software Engineering. ACM, 422\u2013431."},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348254"},{"key":"e_1_3_3_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.53"},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2012.97"},{"key":"e_1_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_19"},{"key":"e_1_3_3_39_2","first-page":"72","volume-title":"International Conference on Software Engineering Advances","author":"Mendonca Vinicius Rafael Lobo de","year":"2013","unstructured":"Vinicius Rafael Lobo de Mendonca, Cassio Leonardo Rodrigues, Fabr\u00edzzio Alphonsus Alves de Melo Nunes Soares, and Auri Marcelo Rizzo Vincenzi. 2013. Static analysis techniques and tools: A systematic mapping study. In International Conference on Software Engineering Advances. IARIA XPS Press, 72\u201378."},{"key":"e_1_3_3_40_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_5"},{"key":"e_1_3_3_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2008.4526576"},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254087"},{"key":"e_1_3_3_43_2","first-page":"307","volume-title":"International Symposium on Software Testing and Analysis","author":"Do Lisa Nguyen Quang","year":"2017","unstructured":"Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. 2017. Just-in-time static analysis. In International Symposium on Software Testing and Analysis. ACM, 307\u2013317."},{"key":"e_1_3_3_44_2","article-title":"Why do software developers use static analysis tools? A user-centered study of developer needs and motivations","author":"Do Lisa Nguyen Quang","year":"2020","unstructured":"Lisa Nguyen Quang Do, James Wright, and Karim Ali. 2020. Why do software developers use static analysis tools? A user-centered study of developer needs and motivations. IEEE Transactions on Software Engineering (2020).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.06.003"},{"key":"e_1_3_3_46_2","doi-asserted-by":"publisher","DOI":"10.21236\/ADA419626"},{"key":"e_1_3_3_47_2","first-page":"10","volume-title":"International Conference on Formal Verification of Object-oriented Software","author":"F\u00e4hndrich Manuel","year":"2010","unstructured":"Manuel F\u00e4hndrich and Francesco Logozzo. 2010. Static contract checking with abstract interpretation. In International Conference on Formal Verification of Object-oriented Software. Springer, 10\u201330."},{"key":"e_1_3_3_48_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-012-0192-5"},{"key":"e_1_3_3_49_2","first-page":"2","volume-title":"Workshop on Software Security, Protection, and Reverse Engineering","author":"Feist Josselin","year":"2016","unstructured":"Josselin Feist, Laurent Mounier, S\u00e9bastien Bardin, Robin David, and Marie-Laure Potet. 2016. Finding the needle in the heap: Combining static analysis and dynamic symbolic execution to trigger use-after-free. In Workshop on Software Security, Protection, and Reverse Engineering. ACM, 2."},{"key":"e_1_3_3_50_2","doi-asserted-by":"crossref","unstructured":"Jean-Christophe Filli\u00e2tre. 2011. Deductive software verification. Springer.","DOI":"10.1007\/s10009-011-0211-0"},{"key":"e_1_3_3_51_2","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/3194095.3194100","volume-title":"International Workshop on Software Qualities and Their Dependencies","author":"Flynn Lori","year":"2018","unstructured":"Lori Flynn, William Snavely, David Svoboda, Nathan VanHoudnos, Richard Qin, Jennifer Burns, David Zubrow, Robert Stoddard, and Guillermo Marce-Santurio. 2018. Prioritizing alerts from multiple static analysis tools, using classification models. In International Workshop on Software Qualities and Their Dependencies. ACM, 13\u201320."},{"key":"e_1_3_3_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2013.6671303"},{"key":"e_1_3_3_53_2","first-page":"11","volume-title":"International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","author":"Gadelha Mikhail R.","year":"2019","unstructured":"Mikhail R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, and Denis Nicole. 2019. SMT-based refutation of spurious bug reports in the Clang Static Analyzer. In International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 11\u201314."},{"key":"e_1_3_3_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970282"},{"key":"e_1_3_3_55_2","first-page":"992","volume-title":"International Conference on Software Engineering","author":"Ge Xi","year":"2011","unstructured":"Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann. 2011. DyTa: Dynamic symbolic execution guided with static verification results. In International Conference on Software Engineering. ACM, 992\u2013994."},{"key":"e_1_3_3_56_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISPRAS.2017.00010"},{"key":"e_1_3_3_57_2","doi-asserted-by":"publisher","DOI":"10.1134\/S036176881805002X"},{"key":"e_1_3_3_58_2","first-page":"24","volume-title":"Ivannikov Memorial Workshop","author":"Gerasimov Alexander Yu.","year":"2018","unstructured":"Alexander Yu. Gerasimov and Leonid V. Kruglov. 2018. Reachability confirmation of statically detected defects using dynamic analysis. In Ivannikov Memorial Workshop. IEEE, 24\u201331."},{"key":"e_1_3_3_59_2","first-page":"467","volume-title":"Programming and Computer Software","author":"Gerasimov Alexander Yu.","year":"2018","unstructured":"Alexander Yu. Gerasimov, Leonid V. Kruglov, Mikhail K. Ermakov, and Sergey P. Vartanov. 2018. An approach to reachability determination for static analysis defects with the help of dynamic symbolic execution. In Programming and Computer Software, Vol. 44. Springer, 467\u2013475."},{"key":"e_1_3_3_60_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_33"},{"key":"e_1_3_3_61_2","doi-asserted-by":"publisher","DOI":"10.1145\/2597073.2597100"},{"key":"e_1_3_3_62_2","first-page":"8","volume-title":"Network and Distributed System Security Symposium","author":"Haugh Eric","year":"2003","unstructured":"Eric Haugh and Matt Bishop. 2003. Testing C Programs for Buffer Overflow Vulnerabilities. In Network and Distributed System Security Symposium. CiteSeer, 8."},{"key":"e_1_3_3_63_2","doi-asserted-by":"publisher","DOI":"10.1145\/1349332.1349339"},{"key":"e_1_3_3_64_2","first-page":"41","volume-title":"International Symposium on Empirical Software Engineering and Measurement","author":"Heckman Sarah","year":"2008","unstructured":"Sarah Heckman and Laurie Williams. 2008. On establishing a benchmark for evaluating static analysis alert prioritization and classification techniques. In International Symposium on Empirical Software Engineering and Measurement. ACM, 41\u201350."},{"key":"e_1_3_3_65_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.45"},{"key":"e_1_3_3_66_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.12.007"},{"key":"e_1_3_3_67_2","first-page":"519","volume-title":"International Conference on Software Engineering","author":"Heo Kihong","year":"2017","unstructured":"Kihong Heo, Hakjoo Oh, and Kwangkeun Yi. 2017. Machine-learning-guided selectively unsound static analysis. In International Conference on Software Engineering. IEEE, 519\u2013529."},{"key":"e_1_3_3_68_2","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314616"},{"key":"e_1_3_3_69_2","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768810040055"},{"key":"e_1_3_3_70_2","first-page":"22","volume-title":"Workshop on Static Analysis","author":"Jetley Raoul Praful","year":"2008","unstructured":"Raoul Praful Jetley, Paul L. Jones, and Paul Anderson. 2008. Static analysis of medical device software using CodeSonar. In Workshop on Static Analysis. ACM, 22\u201329."},{"key":"e_1_3_3_71_2","doi-asserted-by":"publisher","DOI":"10.12783\/dtcse\/cimns2017\/16332"},{"key":"e_1_3_3_72_2","unstructured":"Jlint. [n.d.]. http:\/\/artho.com\/jlint\/."},{"key":"e_1_3_3_73_2","first-page":"672","volume-title":"International Conference on Software Engineering","author":"Johnson Brittany","year":"2013","unstructured":"Brittany Johnson, Yoonki Song, Emerson Murphy-Hill, and Robert Bowdidge. 2013. Why don\u2019t software developers use static analysis tools to find bugs? In International Conference on Software Engineering. IEEE, 672\u2013681."},{"key":"e_1_3_3_74_2","article-title":"Lint, a C program checker","author":"Johnson S. C.","year":"1978","unstructured":"S. C. Johnson. 1978. Lint, a C program checker. Computer Science Technical Report (1978).","journal-title":"Computer Science Technical Report"},{"key":"e_1_3_3_75_2","doi-asserted-by":"publisher","DOI":"10.1145\/2103621.2103662"},{"key":"e_1_3_3_76_2","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/11547662_15","volume-title":"International Static Analysis Symposium","author":"Jung Yungbum","year":"2005","unstructured":"Yungbum Jung, Jaehwang Kim, Jaeho Shin, and Kwangkeun Yi. 2005. Taming false alarms from a domain-unaware C analyzer by a Bayesian statistical post analysis. In International Static Analysis Symposium. 203\u2013217."},{"key":"e_1_3_3_77_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34281-3_23"},{"key":"e_1_3_3_78_2","first-page":"57","volume-title":"Workshop on Program Analysis for Software Tools and Engineering","author":"Khoo Yit Phang","year":"2008","unstructured":"Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, and Vibha Sazawal. 2008. Path projection for user-centered static analysis tools. In Workshop on Program Analysis for Software Tools and Engineering. ACM, 57\u201363."},{"key":"e_1_3_3_79_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11416-016-0263-5"},{"key":"e_1_3_3_80_2","first-page":"27","volume-title":"International Workshop on Mining Software Repositories","author":"Kim Sunghun","year":"2007","unstructured":"Sunghun Kim and Michael D. Ernst. 2007. Prioritizing warning categories by analyzing software history. In International Workshop on Mining Software Repositories. IEEE, 27\u201327."},{"key":"e_1_3_3_81_2","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287633"},{"key":"e_1_3_3_82_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.10.004"},{"key":"e_1_3_3_83_2","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_3_84_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26287-1_3"},{"key":"e_1_3_3_85_2","volume-title":"Guidelines for Performing Systematic Literature Reviews in Software Engineering","author":"Kitchenham Barbara","year":"2007","unstructured":"Barbara Kitchenham and Stuart Charters. 2007. Guidelines for Performing Systematic Literature Reviews in Software Engineering. Technical Report EBSE 2007-001. Keele University and Durham University Joint Report."},{"key":"e_1_3_3_86_2","first-page":"35","volume-title":"International Workshop on Machine Learning and Programming Languages","author":"Koc Ugur","year":"2017","unstructured":"Ugur Koc, Parsa Saadatpanah, Jeffrey S. Foster, and Adam A. Porter. 2017. Learning a classifier for false positive error reports emitted by static code analysis tools. In International Workshop on Machine Learning and Programming Languages. ACM, 35\u201342."},{"key":"e_1_3_3_87_2","doi-asserted-by":"publisher","DOI":"10.4108\/infoscale.2007.910"},{"key":"e_1_3_3_88_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0088-1"},{"key":"e_1_3_3_89_2","first-page":"83","volume-title":"International Symposium on Foundations of Software Engineering","author":"Kremenek Ted","year":"2004","unstructured":"Ted Kremenek, Ken Ashcraft, Junfeng Yang, and Dawson Engler. 2004. Correlation exploitation in error ranking. In International Symposium on Foundations of Software Engineering. ACM, 83\u201393."},{"key":"e_1_3_3_90_2","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/3-540-44898-5_16","volume-title":"International Static Analysis Symposium","author":"Kremenek Ted","year":"2003","unstructured":"Ted Kremenek and Dawson Engler. 2003. Z-ranking: Using statistical analysis to counter the impact of static analysis approximations. In International Static Analysis Symposium. Springer, 295\u2013315."},{"key":"e_1_3_3_91_2","first-page":"707","volume-title":"Joint Meeting on Foundations of Software Engineering","author":"Kumar Rahul","year":"2013","unstructured":"Rahul Kumar and Aditya V. Nori. 2013. The economics of static analysis tools. In Joint Meeting on Foundations of Software Engineering. ACM, 707\u2013710."},{"key":"e_1_3_3_92_2","first-page":"345","volume-title":"Joint Meeting on Foundations of Software Engineering","author":"Lahiri Shuvendu K.","year":"2013","unstructured":"Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, and Chris Hawblitzel. 2013. Differential assertion checking. In Joint Meeting on Foundations of Software Engineering. ACM, 345\u2013355."},{"key":"e_1_3_3_93_2","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1760"},{"key":"e_1_3_3_94_2","first-page":"507","volume-title":"International Conference on Software Engineering","author":"Landman Davy","year":"2017","unstructured":"Davy Landman, Alexander Serebrenik, and Jurgen J. Vinju. 2017. Challenges for static analysis of Java reflection-literature review and empirical study. In International Conference on Software Engineering. IEEE, 507\u2013518."},{"key":"e_1_3_3_95_2","first-page":"176","volume-title":"International Symposium on Empirical Software Engineering and Measurement","author":"Layman Lucas","year":"2007","unstructured":"Lucas Layman, Laurie Williams, and Robert St. Amant. 2007. Toward reducing fault fix time: Understanding developer behavior for the design of automated fault detection tools. In International Symposium on Empirical Software Engineering and Measurement. IEEE, 176\u2013185."},{"key":"e_1_3_3_96_2","first-page":"307","volume-title":"International Symposium on Foundations of Software Engineering","author":"Le Wei","year":"2010","unstructured":"Wei Le and Mary Lou Soffa. 2010. Path-based fault correlations. In International Symposium on Foundations of Software Engineering. ACM, 307\u2013316."},{"key":"e_1_3_3_97_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00048"},{"key":"e_1_3_3_98_2","doi-asserted-by":"publisher","DOI":"10.1145\/3095021"},{"key":"e_1_3_3_99_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27940-9_20"},{"key":"e_1_3_3_100_2","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2013.59"},{"key":"e_1_3_3_101_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2011.91"},{"key":"e_1_3_3_102_2","first-page":"298","volume-title":"International Symposium on Software Testing and Analysis","author":"Li Kaituo","year":"2012","unstructured":"Kaituo Li, Christoph Reichenbach, Christoph Csallner, and Yannis Smaragdakis. 2012. Residual investigation: Predictive and precise bug detection. In International Symposium on Software Testing and Analysis. ACM, 298\u2013308."},{"key":"e_1_3_3_103_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.04.001"},{"key":"e_1_3_3_104_2","first-page":"112","volume-title":"International Symposium on Software Testing and Analysis","author":"Li Mengchen","year":"2013","unstructured":"Mengchen Li, Yuanjun Chen, Linzhang Wang, and Guoqing Xu. 2013. Dynamically validating static memory leak warnings. In International Symposium on Software Testing and Analysis. ACM, 112\u2013122."},{"key":"e_1_3_3_105_2","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859013"},{"key":"e_1_3_3_106_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2012.22"},{"key":"e_1_3_3_107_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2884955"},{"key":"e_1_3_3_108_2","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594326"},{"key":"e_1_3_3_109_2","first-page":"136","volume-title":"International Symposium on Code Generation and Optimization","author":"Lokuciejewski Paul","year":"2009","unstructured":"Paul Lokuciejewski, Daniel Cordes, Heiko Falk, and Peter Marwedel. 2009. A fast and precise static loop analysis based on abstract interpretation, program slicing and polytope models. In International Symposium on Code Generation and Optimization. IEEE, 136\u2013146."},{"key":"e_1_3_3_110_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-04272-1_4"},{"key":"e_1_3_3_111_2","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2019.00042"},{"key":"e_1_3_3_112_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.28"},{"key":"e_1_3_3_113_2","first-page":"462","volume-title":"Joint Meeting on Foundations of Software Engineering","author":"Mangal Ravi","year":"2015","unstructured":"Ravi Mangal, Xin Zhang, Aditya V. Nori, and Mayur Naik. 2015. A user-guided approach to program analysis. In Joint Meeting on Foundations of Software Engineering. ACM, 462\u2013473."},{"key":"e_1_3_3_114_2","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2019.00013"},{"key":"e_1_3_3_115_2","doi-asserted-by":"publisher","DOI":"10.1145\/2566486.2568024"},{"key":"e_1_3_3_116_2","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.30"},{"key":"e_1_3_3_117_2","doi-asserted-by":"publisher","DOI":"10.1155\/2017\/5452396"},{"key":"e_1_3_3_118_2","first-page":"114","volume-title":"International Conference on Tools and Methods for Program Analysis","author":"Menshchikov Maxim","year":"2017","unstructured":"Maxim Menshchikov and Timur Lepikhin. 2017. 5W+ 1H static analysis report quality measure. In International Conference on Tools and Methods for Program Analysis. Springer, 114\u2013126."},{"key":"e_1_3_3_119_2","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/978-3-319-45641-6_26","volume-title":"International Workshop on Computer Algebra in Scientific Computing","author":"Monniaux David","year":"2016","unstructured":"David Monniaux. 2016. A survey of satisfiability modulo theory. In International Workshop on Computer Algebra in Scientific Computing. Springer, 401\u2013425."},{"key":"e_1_3_3_120_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.97"},{"key":"e_1_3_3_121_2","volume-title":"Postprocessing of Static Analysis Alarms","author":"Muske Tukaram","year":"2020","unstructured":"Tukaram Muske. 2020. Postprocessing of Static Analysis Alarms. PhD Dissertation. Eindhoven University of Technology, Eindhoven, The Netherlands."},{"key":"e_1_3_3_122_2","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2013.6648191"},{"key":"e_1_3_3_123_2","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2015.7081867"},{"key":"e_1_3_3_124_2","first-page":"13","volume-title":"International Conference on Advances in System Testing and Validation Lifecycle","author":"Muske Tukaram","year":"2013","unstructured":"Tukaram Muske, Advaita Datar, Mayur Khanzode, and Kumar Madhukar. 2013. Efficient elimination of false positives using bounded model checking. In International Conference on Advances in System Testing and Validation Lifecycle. IARIA XPS Press, 13\u201320."},{"key":"e_1_3_3_125_2","first-page":"270","volume-title":"International Symposium on Software Reliability Engineering","author":"Muske Tukaram","year":"2015","unstructured":"Tukaram Muske and Uday P. Khedker. 2015. Efficient elimination of false positives using static analysis. In International Symposium on Software Reliability Engineering. IEEE, 270\u2013280."},{"key":"e_1_3_3_126_2","first-page":"173","volume-title":"International Symposium on Software Reliability Engineering","author":"Muske Tukaram","year":"2016","unstructured":"Tukaram Muske and Uday P. Khedker. 2016. Cause points analysis for effective handling of alarms. In International Symposium on Software Reliability Engineering. IEEE, 173\u2013184."},{"key":"e_1_3_3_127_2","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2016.25"},{"key":"e_1_3_3_128_2","first-page":"187","volume-title":"International Symposium on Software Testing and Analysis","author":"Muske Tukaram","year":"2018","unstructured":"Tukaram Muske, Rohith Talluri, and Alexander Serebrenik. 2018. Repositioning of static analysis alarms. In International Symposium on Software Testing and Analysis. ACM, 187\u2013197."},{"key":"e_1_3_3_129_2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/978-3-030-34175-6_7","volume-title":"Asian Symposium on Programming Languages and Systems","author":"Muske Tukaram","year":"2019","unstructured":"Tukaram Muske, Rohith Talluri, and Alexander Serebrenik. 2019. Reducing static analysis alarms based on non-impacting control dependencies. In Asian Symposium on Programming Languages and Systems. Springer, 115\u2013135."},{"key":"e_1_3_3_130_2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC48747.2019.00019"},{"key":"e_1_3_3_131_2","first-page":"41","volume-title":"Joint International Workshop on Conducting Empirical Studies in Industry and International Workshop on Software Engineering Research and Industrial Practice","author":"Nguyen Thu Trang","year":"2019","unstructured":"Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, and Iori Yamada. 2019. Reducing false positives of static analysis for SEI CERT C coding standard. In Joint International Workshop on Conducting Empirical Studies in Industry and International Workshop on Software Engineering Research and Industrial Practice. 41\u201348."},{"key":"e_1_3_3_132_2","first-page":"714","volume-title":"Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","author":"Do Lisa Nguyen Quang","year":"2018","unstructured":"Lisa Nguyen Quang Do and Eric Bodden. 2018. Gamifying static analysis. In Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 714\u2013718."},{"key":"e_1_3_3_133_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-018-0664-z"},{"key":"e_1_3_3_134_2","first-page":"109","volume-title":"International Software Metrics Symposium","author":"Ogasawara Hideto","year":"1998","unstructured":"Hideto Ogasawara, Minoru Aizawa, and Atsushi Yamada. 1998. Experiences with program static analysis. In International Software Metrics Symposium. IEEE, 109\u2013112."},{"key":"e_1_3_3_135_2","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.63"},{"key":"e_1_3_3_136_2","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2014.0185"},{"key":"e_1_3_3_137_2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/1409720.1409733","volume-title":"Symposium on Software Visualization","author":"Parnin Chris","year":"2008","unstructured":"Chris Parnin, Carsten G\u00f6rg, and Ogechi Nnadi. 2008. A catalogue of lightweight visualizations to support code smell inspection. In Symposium on Software Visualization. ACM, 77\u201386."},{"key":"e_1_3_3_138_2","first-page":"116","volume-title":"International Conference on Computer Science and Software Engineering","author":"Parvez Riyad","year":"2016","unstructured":"Riyad Parvez, Paul A. S. Ward, and Vijay Ganesh. 2016. Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries. In International Conference on Computer Science and Software Engineering. IBM Corp., 116\u2013127."},{"key":"e_1_3_3_139_2","article-title":"Triaging checklists: A substitute for a PhD in static analysis","volume":"2009","author":"Phang Khoo Yit","year":"2009","unstructured":"Khoo Yit Phang, Jeffrey S. Foster, Michael Hicks, and Vibha Sazawal. 2009. Triaging checklists: A substitute for a PhD in static analysis. Evaluation and Usability of Programming Languages and Tools 2009 (2009).","journal-title":"Evaluation and Usability of Programming Languages and Tools"},{"key":"e_1_3_3_140_2","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-5225-0945-5.ch004"},{"key":"e_1_3_3_141_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41135-4_9"},{"key":"e_1_3_3_142_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.29"},{"key":"e_1_3_3_143_2","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3264599"},{"key":"e_1_3_3_144_2","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192417"},{"key":"e_1_3_3_145_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92375-8_8"},{"key":"e_1_3_3_146_2","first-page":"1","volume-title":"International Symposium on Open Collaboration","author":"Ribeiro Athos","year":"2019","unstructured":"Athos Ribeiro, Paulo Meirelles, Nelson Lago, and Fabio Kon. 2019. Ranking warnings from multiple source code static analyzers via ensemble learning. In International Symposium on Open Collaboration. ACM, 1\u201310."},{"key":"e_1_3_3_147_2","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/11575467_23","volume-title":"Asian Symposium on Programming Languages and Systems","author":"Rival Xavier","year":"2005","unstructured":"Xavier Rival. 2005. Abstract dependences for alarm diagnosis. In Asian Symposium on Programming Languages and Systems. Springer, 347\u2013363."},{"key":"e_1_3_3_148_2","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/11547662_21","volume-title":"International Static Analysis Symposium","author":"Rival Xavier","year":"2005","unstructured":"Xavier Rival. 2005. Understanding the origin of alarms in ASTR\u00c9E. In International Static Analysis Symposium. Springer, 303\u2013319."},{"key":"e_1_3_3_149_2","first-page":"23","volume-title":"Haifa Verification Conference","author":"Rungta Neha","year":"2008","unstructured":"Neha Rungta and Eric G. Mercer. 2008. A meta heuristic for effectively detecting concurrency errors. In Haifa Verification Conference. Springer, 23\u201337."},{"key":"e_1_3_3_150_2","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1109\/ISSRE.2004.1","volume-title":"International Symposium on Software Reliability Engineering","author":"Rutar Nick","year":"2004","unstructured":"Nick Rutar, Christian B. Almazan, and Jeffrey S. Foster. 2004. A comparison of bug finding tools for Java. In International Symposium on Software Reliability Engineering. IEEE, 245\u2013256."},{"key":"e_1_3_3_151_2","first-page":"341","volume-title":"International Conference on Software Engineering","author":"Ruthruff Joseph R.","year":"2008","unstructured":"Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian Elbaum, and Gregg Rothermel. 2008. Predicting accurate and actionable static analysis warnings: An experimental approach. In International Conference on Software Engineering. ACM, 341\u2013350."},{"key":"e_1_3_3_152_2","first-page":"598","volume-title":"International Conference on Software Engineering","author":"Sadowski Caitlin","year":"2015","unstructured":"Caitlin Sadowski, Jeffrey Van Gogh, Ciera Jaspan, Emma S\u00f6derberg, and Collin Winter. 2015. Tricorder: Building a program analysis ecosystem. In International Conference on Software Engineering. IEEE, 598\u2013608."},{"key":"e_1_3_3_153_2","first-page":"1293","volume-title":"International Conference on Software Engineering","author":"Shar Lwin Khin","year":"2012","unstructured":"Lwin Khin Shar and Hee Beng Kuan Tan. 2012. Mining input sanitization patterns for predicting SQL injection and cross site scripting vulnerabilities. In International Conference on Software Engineering. IEEE, 1293\u20131296."},{"key":"e_1_3_3_154_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.51"},{"key":"e_1_3_3_155_2","doi-asserted-by":"publisher","DOI":"10.1145\/1295014.1295042"},{"key":"e_1_3_3_156_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2287"},{"key":"e_1_3_3_157_2","first-page":"133","volume-title":"International Workshop on Mining Software Repositories","author":"Spacco Jaime","year":"2006","unstructured":"Jaime Spacco, David Hovemeyer, and William Pugh. 2006. Tracking defect warnings across versions. In International Workshop on Mining Software Repositories. ACM, 133\u2013136."},{"key":"e_1_3_3_158_2","first-page":"120","volume-title":"International Conference on Software Engineering","author":"Stol Klaas-Jan","year":"2016","unstructured":"Klaas-Jan Stol, Paul Ralph, and Brian Fitzgerald. 2016. Grounded theory in software engineering research: A critical review and guidelines. In International Conference on Software Engineering. ACM, 120\u2013131."},{"key":"e_1_3_3_159_2","first-page":"37","volume-title":"Cybersecurity Development","author":"Svoboda David","year":"2016","unstructured":"David Svoboda, Lori Flynn, and Will Snavely. 2016. Static analysis alert audits: Lexicon & rules. In Cybersecurity Development. IEEE, 37\u201344."},{"key":"e_1_3_3_160_2","unstructured":"TCS Embedded Code Analyzer (TCS ECA). [n.d.]. https:\/\/www.tcs.com\/tcs-embedded-code-analyzer."},{"key":"e_1_3_3_161_2","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351685"},{"key":"e_1_3_3_162_2","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip Frank","year":"1995","unstructured":"Frank Tip. 1995. A survey of program slicing techniques. Journal of Programming Languages 3 (1995), 121\u2013189.","journal-title":"Journal of Programming Languages"},{"key":"e_1_3_3_163_2","doi-asserted-by":"publisher","DOI":"10.1145\/3193992.3194003"},{"key":"e_1_3_3_164_2","first-page":"97","volume-title":"International Symposium on Software Testing and Analysis","author":"Tomb Aaron","year":"2007","unstructured":"Aaron Tomb, Guillaume Brat, and Willem Visser. 2007. Variably interprocedural program analysis for runtime error detection. In International Symposium on Software Testing and Analysis. ACM, 97\u2013107."},{"key":"e_1_3_3_165_2","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660339"},{"key":"e_1_3_3_166_2","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/978-3-319-12736-1_11","volume-title":"Asian Symposium on Programming Languages and Systems","author":"Valdiviezo Manuel","year":"2014","unstructured":"Manuel Valdiviezo, Cristina Cifuentes, and Padmanabhan Krishnan. 2014. A method for scalable and precise bug finding using program analysis and model checking. In Asian Symposium on Programming Languages and Systems. Springer, 196\u2013215."},{"key":"e_1_3_3_167_2","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591123"},{"key":"e_1_3_3_168_2","first-page":"257","volume-title":"Annual Computer Security Applications Conference","author":"Viega John","year":"2000","unstructured":"John Viega, Jon-Thomas Bloch, Yoshi Kohno, and Gary McGraw. 2000. ITS4: A static vulnerability scanner for C and C++ code. In Annual Computer Security Applications Conference. IEEE, 257\u2013267."},{"key":"e_1_3_3_169_2","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_3_3_170_2","first-page":"3","volume-title":"Network and Distributed System Security Symposium","author":"Wagner David","year":"2000","unstructured":"David Wagner, Jeffrey S. Foster, Eric A. Brewer, and Alexander Aiken. 2000. A first step towards automated detection of buffer overrun vulnerabilities. In Network and Distributed System Security Symposium. CiteSeer, 3\u201317."},{"key":"e_1_3_3_171_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-04272-1_1"},{"key":"e_1_3_3_172_2","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.24"},{"key":"e_1_3_3_173_2","first-page":"672","volume-title":"Joint Meeting on Foundations of Software Engineering","author":"Wei Lili","year":"2017","unstructured":"Lili Wei, Yepang Liu, and Shing-Chi Cheung. 2017. OASIS: Prioritizing static analysis warnings for Android apps based on app user reviews. In Joint Meeting on Foundations of Software Engineering. ACM, 672\u2013682."},{"key":"e_1_3_3_174_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.63"},{"key":"e_1_3_3_175_2","doi-asserted-by":"publisher","DOI":"10.1145\/2601248.2601268"},{"key":"e_1_3_3_176_2","first-page":"404","volume-title":"International Conference on Information Security and Cryptology","author":"Xu Mingjie","year":"2018","unstructured":"Mingjie Xu, Shengnan Li, Lili Xu, Feng Li, Wei Huo, Jing Ma, Xinhua Li, and Qingjia Huang. 2018. A light-weight and accurate method of static integer-overflow-to-buffer-overflow vulnerability detection. In International Conference on Information Security and Cryptology. Springer, 404\u2013423."},{"key":"e_1_3_3_177_2","first-page":"425","volume-title":"International Symposium on Software Testing and Analysis","author":"Xu Zhenbo","year":"2014","unstructured":"Zhenbo Xu, Jian Zhang, Zhongxing Xu, and Jiteng Wang. 2014. Canalyze: A static bug-finding tool for C programs. In International Symposium on Software Testing and Analysis. ACM, 425\u2013428."},{"key":"e_1_3_3_178_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2934975"},{"key":"e_1_3_3_179_2","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C.2017.110"},{"key":"e_1_3_3_180_2","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.12"},{"key":"e_1_3_3_181_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2006.11.004"},{"key":"e_1_3_3_182_2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2014.81"},{"key":"e_1_3_3_183_2","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2009.10"},{"key":"e_1_3_3_184_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.89"},{"key":"e_1_3_3_185_2","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2016.7515929"},{"key":"e_1_3_3_186_2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2013.33"},{"key":"e_1_3_3_187_2","first-page":"783","volume-title":"International Conference on Fuzzy Systems and Knowledge Discovery","author":"Zhang Dalin","year":"2013","unstructured":"Dalin Zhang, Dahai Jin, Ying Xing, Hailong Zhang, and Yunzhan Gong. 2013. Automatically mining similar warnings and warning combinations. In International Conference on Fuzzy Systems and Knowledge Discovery. IEEE, 783\u2013788."},{"key":"e_1_3_3_188_2","first-page":"569","volume-title":"Symposium on Principles of Programming Languages","author":"Zhang Danfeng","year":"2014","unstructured":"Danfeng Zhang and Andrew C. Myers. 2014. Toward general diagnosis of static errors. In Symposium on Principles of Programming Languages. ACM, 569\u2013581."},{"key":"e_1_3_3_189_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3133881","article-title":"Effective interactive resolution of static analysis alarms","volume":"1","author":"Zhang Xin","year":"2017","unstructured":"Xin Zhang, Radu Grigore, Xujie Si, and Mayur Naik. 2017. Effective interactive resolution of static analysis alarms. Proceedings of the ACM on Programming Languages 1, OOPSLA (2017), 1\u201330.","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"e_1_3_3_190_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-019-03942-3"},{"key":"e_1_3_3_191_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.38"},{"issue":"3","key":"e_1_3_3_192_2","first-page":"762","article-title":"Inter-procedural diagnosis path generation for automatic confirmation of program suspected faults","volume":"26","author":"Zhu Honglei","year":"2019","unstructured":"Honglei Zhu, Dahai Jin, and Yunzhan Gong. 2019. Inter-procedural diagnosis path generation for automatic confirmation of program suspected faults. Tehni\u010dki Vjesnik 26, 3 (2019), 762\u2013770.","journal-title":"Tehni\u010dki Vjesnik"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3494521","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3494521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:48:43Z","timestamp":1750178923000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3494521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,3]]},"references-count":191,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,3,31]]}},"alternative-id":["10.1145\/3494521"],"URL":"https:\/\/doi.org\/10.1145\/3494521","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,2,3]]},"assertion":[{"value":"2020-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-02-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}