{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T04:40:42Z","timestamp":1769748042408,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,16]],"date-time":"2018-07-16T00:00:00Z","timestamp":1531699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["INST 163\/411-2, INST 214\/74-2, BO 2528\/4-1, BO 2528\/6-1"],"award-info":[{"award-number":["INST 163\/411-2, INST 214\/74-2, BO 2528\/4-1, BO 2528\/6-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Oracle Inc. ERO","award":["940, 1579"],"award-info":[{"award-number":["940, 1579"]}]},{"name":"Heinz Nixdorf Foundation"},{"name":"Fraunhofer Attract"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,16]]},"DOI":"10.1145\/3236454.3236500","type":"proceedings-article","created":{"date-parts":[[2019,1,8]],"date-time":"2019-01-08T18:39:17Z","timestamp":1546972757000},"page":"85-93","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["The secret sauce in efficient and precise static analysis"],"prefix":"10.1145","author":[{"given":"Eric","family":"Bodden","sequence":"first","affiliation":[{"name":"Paderborn University & Fraunhofer IEM, Paderborn, Germany"}]}],"member":"320","published-online":{"date-parts":[[2018,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/2190025.2190075"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379665"},{"key":"e_1_3_2_1_3_1","unstructured":"SANS Institute. 2018. SANS 25 - Top 25 Most Dangerous Software Errors. https:\/\/www.sans.org\/top25-software-errors. (2018).  SANS Institute. 2018. SANS 25 - Top 25 Most Dangerous Software Errors. https:\/\/www.sans.org\/top25-software-errors. (2018)."},{"key":"e_1_3_2_1_4_1","unstructured":"Swati Jaiswal Uday P. Khedker and Supratik Chakraborty. 2018. Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision. (2018). arXiv:1802.00932  Swati Jaiswal Uday P. Khedker and Supratik Chakraborty. 2018. Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision. (2018). arXiv:1802.00932"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00290339"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931098"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1290520.1290521"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155681"},{"key":"e_1_3_2_1_9_1","volume-title":"European Conference on Object-Oriented Programming (ECOOP). To appear.","author":"Kr\u00fcger Stefan","year":"2018","unstructured":"Stefan Kr\u00fcger , Johannes Sp\u00e4th , Karim Ali , Eric Bodden , and Mira Mezini . 2018 . CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs . In European Conference on Object-Oriented Programming (ECOOP). To appear. Stefan Kr\u00fcger, Johannes Sp\u00e4th, Karim Ali, Eric Bodden, and Mira Mezini. 2018. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In European Conference on Object-Oriented Programming (ECOOP). To appear."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926389"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025160"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10936-7_13"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2487568.2487569"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.009"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1953-0053041-6"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(96)00072-2"},{"key":"e_1_3_2_1_18_1","unstructured":"SAP 2018. Personal communication at SAP Security Research Seminar. (2018).  SAP 2018. Personal communication at SAP Security Research Seminar. (2018)."},{"key":"e_1_3_2_1_19_1","unstructured":"Micha Sharir and Amir Pnueli. 1978. Two approaches to interprocedural data flow analysis. (1978).  Micha Sharir and Amir Pnueli. 1978. Two approaches to interprocedural data flow analysis. (1978)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519073"},{"key":"e_1_3_2_1_21_1","volume-title":"IDEal: Efficient and Precise Alias-aware Dataflow Analysis. In 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA\/SPLASH)","author":"Sp\u00e4th Johannes","unstructured":"Johannes Sp\u00e4th , Karim Ali , and Eric Bodden . 2017. IDEal: Efficient and Precise Alias-aware Dataflow Analysis. In 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA\/SPLASH) . ACM Press . http:\/\/bodden.de\/pubs\/sab17ideal.pdf Johannes Sp\u00e4th, Karim Ali, and Eric Bodden. 2017. IDEal: Efficient and Precise Alias-aware Dataflow Analysis. In 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA\/SPLASH). ACM Press. http:\/\/bodden.de\/pubs\/sab17ideal.pdf"},{"key":"e_1_3_2_1_22_1","volume-title":"Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In European Conference on Object-Oriented Programming (ECOOP). http:\/\/www.bodden.de\/pubs\/sna+16boomerang.pdf","author":"Sp\u00e4th Johannes","year":"2016","unstructured":"Johannes Sp\u00e4th , Lisa Nguyen Quang Do , Karim Ali , and Eric Bodden . 2016 . Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In European Conference on Object-Oriented Programming (ECOOP). http:\/\/www.bodden.de\/pubs\/sna+16boomerang.pdf Johannes Sp\u00e4th, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden. 2016. Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In European Conference on Object-Oriented Programming (ECOOP). http:\/\/www.bodden.de\/pubs\/sna+16boomerang.pdf"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134027"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094817"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950296"}],"event":{"name":"ISSTA '18: International Symposium on Software Testing and Analysis","location":"Amsterdam Netherlands","acronym":"ISSTA '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Companion Proceedings for the ISSTA\/ECOOP 2018 Workshops"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236454.3236500","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236454.3236500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:40Z","timestamp":1750210780000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236454.3236500"}},"subtitle":["the beauty of distributive, summary-based static analyses (and how to master them)"],"short-title":[],"issued":{"date-parts":[[2018,7,16]]},"references-count":25,"alternative-id":["10.1145\/3236454.3236500","10.1145\/3236454"],"URL":"https:\/\/doi.org\/10.1145\/3236454.3236500","relation":{},"subject":[],"published":{"date-parts":[[2018,7,16]]},"assertion":[{"value":"2018-07-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}