{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T22:25:28Z","timestamp":1769725528539,"version":"3.49.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030341749","type":"print"},{"value":"9783030341756","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-34175-6_7","type":"book-chapter","created":{"date-parts":[[2019,11,17]],"date-time":"2019-11-17T19:01:29Z","timestamp":1574017289000},"page":"115-135","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies"],"prefix":"10.1007","author":[{"given":"Tukaram","family":"Muske","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rohith","family":"Talluri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Serebrenik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,18]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Allen, F.E.: Control flow analysis. In: Symposium on Compiler Optimization, pp. 1\u201319. ACM, New York (1970)","DOI":"10.1145\/800028.808479"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Ayewah, N., Pugh, W.: The Google FindBugs fixit. In: International Symposium on Software Testing and Analysis, pp. 241\u2013252. ACM, New York (2010)","DOI":"10.1145\/1831708.1831738"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Ayewah, N., Pugh, W., Morgenthaler, J.D., Penix, J., Zhou, Y.: Evaluating static analysis defect warnings on production software. In: Workshop on Program Analysis for Software Tools and Engineering, pp. 1\u20138. ACM, New York (2007)","DOI":"10.1145\/1251535.1251536"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Beller, M., Bholanath, R., McIntosh, S., Zaidman, A.: 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, pp. 470\u2013481 (2016)","DOI":"10.1109\/SANER.2016.105"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/1646353.1646374","volume":"53","author":"A Bessey","year":"2010","unstructured":"Bessey, A., et al.: A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53(2), 66\u201375 (2010)","journal-title":"Commun. ACM"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Brat, G., Venet, A.: Precise and scalable static program analysis of NASA flight software. In: 2005 IEEE Aerospace Conference, pp. 1\u201310, March 2005","DOI":"10.1109\/AERO.2005.1559604"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Christakis, M., Bird, C.: What developers want and need from program analysis: an empirical study. In: International Conference on Automated Software Engineering, pp. 332\u2013343. ACM, New York (2016)","DOI":"10.1145\/2970276.2970347"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-35873-9_10","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P Cousot","year":"2013","unstructured":"Cousot, P., Cousot, R., F\u00e4hndrich, M., Logozzo, F.: Automatic inference of necessary preconditions. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 128\u2013148. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-35873-9_10"},{"issue":"4","key":"7_CR9","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst. 13(4), 451\u2013490 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Denney, E., Trac, S.: A software safety certification tool for automatically generated guidance, navigation and control code. In: 2008 IEEE Aerospace Conference, pp. 1\u201311, March 2008","DOI":"10.1109\/AERO.2008.4526576"},{"issue":"6","key":"7_CR11","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/2345156.2254087","volume":"47","author":"Isil Dillig","year":"2012","unstructured":"Dillig, I., Dillig, T., Aiken, A.: Automated error diagnosis using abductive inference. In: Conference on Programming Language Design and Implementation, pp. 181\u2013192. ACM, New York (2012)","journal-title":"ACM SIGPLAN Notices"},{"issue":"3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9(3), 319\u2013349 (1987)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR13","unstructured":"Gehrke, M.: Bidirectional Predicate Propagation in Frama-C and its Application to Warning Removal. Master\u2019s thesis, Hamburg University of Technology (2014)"},{"issue":"4","key":"7_CR14","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/j.infsof.2010.12.007","volume":"53","author":"S Heckman","year":"2011","unstructured":"Heckman, S., Williams, L.: A systematic literature review of actionable alert identification techniques for automated static code analysis. Inf. Softw. Technol. 53(4), 363\u2013387 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Johnson, B., Song, Y., Murphy-Hill, E., Bowdidge, R.: Why don\u2019t software developers use static analysis tools to find bugs? In: International Conference on Software Engineering, pp. 672\u2013681. IEEE Press, Piscataway (2013)","DOI":"10.1109\/ICSE.2013.6606613"},{"key":"7_CR16","doi-asserted-by":"publisher","DOI":"10.1201\/9780849332517.ch0","volume-title":"Data Flow Analysis: Theory and Practice","author":"U Khedker","year":"2009","unstructured":"Khedker, U., Sanyal, A., Sathe, B.: Data Flow Analysis: Theory and Practice. CRC Press, Boca Raton (2009)"},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s11334-009-0088-1","volume":"5","author":"A Kornecki","year":"2009","unstructured":"Kornecki, A., Zalewski, J.: Certification of software for real-time safety-critical systems: state of the art. Innov. Syst. Softw. Eng. 5(2), 149\u2013161 (2009)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-662-46681-0_7","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Kumar","year":"2015","unstructured":"Kumar, S., Sanyal, A., Khedker, U.P.: Value slice: a new slicing concept for scalable property checking. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 101\u2013115. Springer, Heidelberg (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-662-46681-0_7"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Layman, L., Williams, L., St. Amant, R.: 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, pp. 176\u2013185 (2007)","DOI":"10.1109\/ESEM.2007.11"},{"issue":"4","key":"7_CR20","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/3095021","volume":"39","author":"W Lee","year":"2017","unstructured":"Lee, W., Lee, W., Kang, D., Heo, K., Oh, H., Yi, K.: Sound non-statistical clustering of static analysis alarms. ACM Trans. Program. Lang. Syst. 39(4), 16:1\u201316:35 (2017)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-642-27940-9_20","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"W Lee","year":"2012","unstructured":"Lee, W., Lee, W., Yi, K.: Sound non-statistical clustering of static analysis alarms. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol. 7148, pp. 299\u2013314. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-27940-9_20"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Mangal, R., Zhang, X., Nori, A.V., Naik, M.: A user-guided approach to program analysis. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE 2015, pp. 462\u2013473. ACM, New York (2015)","DOI":"10.1145\/2786805.2786851"},{"key":"7_CR23","volume-title":"Design by Contract","author":"B Meyer","year":"2002","unstructured":"Meyer, B.: Design by Contract. Prentice Hall, Upper Saddle River (2002)"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Muske, T., Baid, A., Sanas, T.: Review efforts reduction by partitioning of static analysis warnings. In: International Working Conference on Source Code Analysis and Manipulation, pp. 106\u2013115 (2013)","DOI":"10.1109\/SCAM.2013.6648191"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Muske, T., Khedker, U.P.: Cause points analysis for effective handling of alarms. In: International Symposium on Software Reliability Engineering, pp. 173\u2013184, October 2016","DOI":"10.1109\/ISSRE.2016.45"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Muske, T., Serebrenik, A.: Survey of approaches for handling static analysis alarms. In: International Working Conference on Source Code Analysis and Manipulation, pp. 157\u2013166 (2016)","DOI":"10.1109\/SCAM.2016.25"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Muske, T., Talluri, R., Serebrenik, A.: Repositioning of static analysis alarms. In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, pp. 187\u2013197. ACM, New York (2018)","DOI":"10.1145\/3213846.3213850"},{"key":"7_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, New York (1999). \nhttps:\/\/doi.org\/10.1007\/978-3-662-03811-6"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/11575467_23","volume-title":"Programming Languages and Systems","author":"X Rival","year":"2005","unstructured":"Rival, X.: Abstract dependences for alarm diagnosis. In: Yi, K. (ed.) APLAS 2005. LNCS, vol. 3780, pp. 347\u2013363. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11575467_23"},{"key":"7_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/11547662_21","volume-title":"Static Analysis","author":"X Rival","year":"2005","unstructured":"Rival, X.: Understanding the origin of alarms in Astr\u00e9e. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol. 3672, pp. 303\u2013319. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11547662_21"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Sadowski, C., van Gogh, J., Jaspan, C., S\u00f6derberg, E., Winter, C.: Tricorder: building a program analysis ecosystem. In: International Conference on Software Engineering, pp. 598\u2013608. IEEE Press, Piscataway (2015)","DOI":"10.1109\/ICSE.2015.76"},{"key":"7_CR32","unstructured":"TCS Embedded Code Analyzer (TCS ECA). \nhttps:\/\/www.tcs.com\/tcs-embedded-code-analyzer\n\n. Accessed 30 Aug 2019"},{"issue":"1","key":"7_CR33","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1387830.1387836","volume":"I","author":"A Venet","year":"2008","unstructured":"Venet, A.: A practical approach to formal software verification by static analysis. Ada Lett. XXVII I(1), 92\u201395 (2008)","journal-title":"Ada Lett. XXVII"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Zhang, D., Jin, D., Gong, Y., Zhang, H.: Diagnosis-oriented alarm correlations. In: Asia-Pacific Software Engineering Conference, vol. 1, pp. 172\u2013179 (2013)","DOI":"10.1109\/APSEC.2013.33"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-34175-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,17]],"date-time":"2019-11-17T19:04:16Z","timestamp":1574017456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-34175-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030341749","9783030341756"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-34175-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"18 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"APLAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Asian Symposium on Programming Languages and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nusa Dua, Bali","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indonesia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aplas2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/aplas-2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}