{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:42:23Z","timestamp":1780994543341,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T00:00:00Z","timestamp":1531353600000},"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":[],"published-print":{"date-parts":[[2018,7,12]]},"DOI":"10.1145\/3213846.3213850","type":"proceedings-article","created":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T17:46:44Z","timestamp":1531417604000},"page":"187-197","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Repositioning of static analysis alarms"],"prefix":"10.1145","author":[{"given":"Tukaram","family":"Muske","sequence":"first","affiliation":[{"name":"Tata Consultancy Services, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rohith","family":"Talluri","sequence":"additional","affiliation":[{"name":"Tata Consultancy Services, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Serebrenik","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"{n. d.}. Polyspace Code Prover. http:\/\/in.mathworks.com\/products\/ polyspacecodeprover\/. {Online: accessed 30-Jan-2017}.  {n. d.}. Polyspace Code Prover. http:\/\/in.mathworks.com\/products\/ polyspacecodeprover\/. {Online: accessed 30-Jan-2017}."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/800028.808479"},{"key":"e_1_3_2_1_3_1","unstructured":"Nathaniel Ayewah and William Pugh. 2010.  Nathaniel Ayewah and William Pugh. 2010."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831738"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1251535.1251536"},{"key":"e_1_3_2_1_6_1","unstructured":"Moritz Beller Radjino Bholanath Shane McIntosh and Andy Zaidman. 2016.  Moritz Beller Radjino Bholanath Shane McIntosh and Andy Zaidman. 2016."},{"key":"e_1_3_2_1_7_1","volume-title":"State of Static Analysis: A Large-Scale Evaluation in Open Source Software. In International Conference on Software Analysis, Evolution, and Reengineering","volume":"1","author":"Analyzing","year":"2018","unstructured":"Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software. In International Conference on Software Analysis, Evolution, and Reengineering , Vol. 1 . 470\u2013481. Repositioning of Static Analysis Alarms ISSTA\u201918, July 16\u201321 , 2018 , Amsterdam, Netherlands Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software. In International Conference on Software Analysis, Evolution, and Reengineering, Vol. 1. 470\u2013481. Repositioning of Static Analysis Alarms ISSTA\u201918, July 16\u201321, 2018, Amsterdam, Netherlands"},{"key":"e_1_3_2_1_8_1","volume-title":"Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler.","author":"Bessey Al","year":"2010","unstructured":"Al Bessey , Ken Block , Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler. 2010 . Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler. 2010."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970347"},{"key":"e_1_3_2_1_11_1","unstructured":"Patrick Cousot Radhia Cousot Manuel F\u00e4hndrich and Francesco Logozzo. 2013.  Patrick Cousot Radhia Cousot Manuel F\u00e4hndrich and Francesco Logozzo. 2013."},{"key":"e_1_3_2_1_12_1","volume-title":"Springer Berlin Heidelberg","author":"Necessary Preconditions Automatic Inference","unstructured":"Automatic Inference of Necessary Preconditions . Springer Berlin Heidelberg , Berlin, Heidelberg , 128\u2013148. Automatic Inference of Necessary Preconditions. Springer Berlin Heidelberg, Berlin, Heidelberg, 128\u2013148."},{"key":"e_1_3_2_1_13_1","volume-title":"Frama-c. In International Conference on Software Engineering and Formal Methods. Springer, 233\u2013247","author":"Cuoq Pascal","year":"2012","unstructured":"Pascal Cuoq , Florent Kirchner , Nikolai Kosmatov , Virgile Prevosto , Julien Signoles , and Boris Yakobowski . 2012 . Frama-c. In International Conference on Software Engineering and Formal Methods. Springer, 233\u2013247 . Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, and Boris Yakobowski. 2012. Frama-c. In International Conference on Software Engineering and Formal Methods. Springer, 233\u2013247."},{"key":"e_1_3_2_1_14_1","unstructured":"Ankush Das Shuvendu K. Lahiri Akash Lal and Yi Li. 2015.  Ankush Das Shuvendu K. Lahiri Akash Lal and Yi Li. 2015."},{"key":"e_1_3_2_1_15_1","volume-title":"Precise Verification Modulo Unknowns","author":"Verification Angelic","unstructured":"Angelic Verification : Precise Verification Modulo Unknowns . Springer International Publishing , Cham , 324\u2013342. Angelic Verification: Precise Verification Modulo Unknowns. Springer International Publishing, Cham, 324\u2013342."},{"key":"e_1_3_2_1_16_1","volume-title":"International Conference on Software Engineering Advances.","author":"Lobo de Mendonca Vinicius Rafael","year":"2013","unstructured":"Vinicius Rafael Lobo de Mendonca , Cassio Leonardo Rodrigues , Fabr\u00edzzio Alphonsus A de M. N. Soares , and Auri Marcelo Rizzo Vincenzi . 2013 . Static analysis techniques and tools: A systematic mapping study . In International Conference on Software Engineering Advances. Vinicius Rafael Lobo de Mendonca, Cassio Leonardo Rodrigues, Fabr\u00edzzio Alphonsus A de M. N. Soares, and Auri Marcelo Rizzo Vincenzi. 2013. Static analysis techniques and tools: A systematic mapping study. In International Conference on Software Engineering Advances."},{"key":"e_1_3_2_1_17_1","unstructured":"Isil Dillig Thomas Dillig and Alex Aiken. 2012.  Isil Dillig Thomas Dillig and Alex Aiken. 2012."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254087"},{"key":"e_1_3_2_1_19_1","unstructured":"Marcel Gehrke. 2014.  Marcel Gehrke. 2014."},{"key":"e_1_3_2_1_20_1","volume-title":"Master\u2019s thesis","author":"Warning Removal Bidirectional Predicate","unstructured":"Bidirectional Predicate Propagation in Frama-C and its Application to Warning Removal . Master\u2019s thesis . Hamburg University of Technology . Bidirectional Predicate Propagation in Frama-C and its Application to Warning Removal. Master\u2019s thesis. Hamburg University of Technology."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.12.007"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052883.1052895"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486877"},{"key":"e_1_3_2_1_24_1","unstructured":"Uday Khedker Amitabha Sanyal and Bageshri Sathe. 2009.  Uday Khedker Amitabha Sanyal and Bageshri Sathe. 2009."},{"key":"e_1_3_2_1_25_1","volume-title":"theory and practice","author":"Data","unstructured":"Data flow analysis : theory and practice . CRC Press . Data flow analysis: theory and practice. CRC Press."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1512475.1512488"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2007.82"},{"key":"e_1_3_2_1_28_1","unstructured":"Woosuk Lee Wonchan Lee and Kwangkeun Yi. 2012.  Woosuk Lee Wonchan Lee and Kwangkeun Yi. 2012."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27940-9_20"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786851"},{"key":"e_1_3_2_1_31_1","unstructured":"Bertrand Meyer. 2002.  Bertrand Meyer. 2002."},{"key":"e_1_3_2_1_32_1","unstructured":"Design by contract. Prentice Hall.  Design by contract. Prentice Hall."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.97"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2013.6648191"},{"key":"e_1_3_2_1_35_1","volume-title":"Khedker","author":"Muske Tukaram","year":"2016","unstructured":"Tukaram Muske and Uday P . Khedker . 2016 . Tukaram Muske and Uday P. Khedker. 2016."},{"key":"e_1_3_2_1_36_1","volume-title":"Points Analysis for Effective Handling of Alarms. In International Symposium on Software Reliability Engineering. 173\u2013184","author":"Cause","unstructured":"Cause Points Analysis for Effective Handling of Alarms. In International Symposium on Software Reliability Engineering. 173\u2013184 . Cause Points Analysis for Effective Handling of Alarms. In International Symposium on Software Reliability Engineering. 173\u2013184."},{"key":"e_1_3_2_1_37_1","unstructured":"Tukaram Muske and Alexander Serebrenik. 2016.  Tukaram Muske and Alexander Serebrenik. 2016."},{"key":"e_1_3_2_1_38_1","volume-title":"International Working Conference on Source Code Analysis and Manipulation. 157\u2013166","author":"Survey","unstructured":"Survey of approaches for handling static analysis alarms . In International Working Conference on Source Code Analysis and Manipulation. 157\u2013166 . Survey of approaches for handling static analysis alarms. In International Working Conference on Source Code Analysis and Manipulation. 157\u2013166."},{"key":"e_1_3_2_1_39_1","unstructured":"Flemming Nielson Hanne R. Nielson and Chris Hankin. 1999.  Flemming Nielson Hanne R. Nielson and Chris Hankin. 1999."},{"key":"e_1_3_2_1_40_1","volume-title":"Springer-Verlag New York","author":"Program Analysis Principles","unstructured":"Principles of Program Analysis . Springer-Verlag New York , Inc., Secaucus, NJ, USA. Principles of Program Analysis. Springer-Verlag New York, Inc., Secaucus, NJ, USA."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818828"},{"key":"e_1_3_2_1_42_1","unstructured":"YN Srikant and Priti Shankar. 2007.  YN Srikant and Priti Shankar. 2007."},{"key":"e_1_3_2_1_43_1","volume-title":"optimizations and machine code generation","author":"The","unstructured":"The compiler design handbook : optimizations and machine code generation . CRC Press . The compiler design handbook: optimizations and machine code generation. CRC Press."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1387830.1387836"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2013.33"},{"key":"e_1_3_2_1_46_1","volume-title":"Vouk","author":"Zheng Jiang","year":"2006","unstructured":"Jiang Zheng , Laurie Williams , Nachiappan Nagappan , Will Snipes , John P. Hudepohl , and Mladen A . Vouk . 2006 . Jiang Zheng, Laurie Williams, Nachiappan Nagappan, Will Snipes, John P. Hudepohl, and Mladen A. Vouk. 2006."}],"event":{"name":"ISSTA '18: International Symposium on Software Testing and Analysis","location":"Amsterdam Netherlands","acronym":"ISSTA '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3213846.3213850","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3213846.3213850","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:41Z","timestamp":1750212461000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3213846.3213850"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,12]]},"references-count":46,"alternative-id":["10.1145\/3213846.3213850","10.1145\/3213846"],"URL":"https:\/\/doi.org\/10.1145\/3213846.3213850","relation":{},"subject":[],"published":{"date-parts":[[2018,7,12]]},"assertion":[{"value":"2018-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}