{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:01Z","timestamp":1750220941739,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,22]],"date-time":"2019-06-22T00:00:00Z","timestamp":1561161600000},"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":[[2019,6,22]]},"DOI":"10.1145\/3315568.3329965","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"8-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Know your analysis: how instrumentation aids understanding static analysis"],"prefix":"10.1145","author":[{"given":"Philipp Dominik","family":"Schubert","sequence":"first","affiliation":[{"name":"University of Paderborn, Germany"}]},{"given":"Richard","family":"Leer","sequence":"additional","affiliation":[{"name":"University of Paderborn, Germany"}]},{"given":"Ben","family":"Hermann","sequence":"additional","affiliation":[{"name":"University of Paderborn, Germany"}]},{"given":"Eric","family":"Bodden","sequence":"additional","affiliation":[{"name":"University of Paderborn, Germany \/ Fraunhofer IEM, Germany"}]}],"member":"320","published-online":{"date-parts":[[2019,6,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. coreutils. Retrieved 04\/02\/2019 from https:\/\/www.gnu.org\/ software\/coreutils\/coreutils.html  2019. coreutils. Retrieved 04\/02\/2019 from https:\/\/www.gnu.org\/ software\/coreutils\/coreutils.html"},{"key":"e_1_3_2_1_2_1","unstructured":"2019. DroidBench. Retrieved 04\/02\/2019 from https:\/\/github.com\/ secure-software-engineering\/DroidBench  2019. DroidBench. Retrieved 04\/02\/2019 from https:\/\/github.com\/ secure-software-engineering\/DroidBench"},{"key":"e_1_3_2_1_3_1","unstructured":"2019. SecuriBench. Retrieved 04\/02\/2019 from https:\/\/suif.stanford. edu\/~livshits\/work\/securibench\/intro.html  2019. SecuriBench. Retrieved 04\/02\/2019 from https:\/\/suif.stanford. edu\/~livshits\/work\/securibench\/intro.html"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236454.3236500"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2614628.2614630"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_23"},{"key":"e_1_3_2_1_8_1","unstructured":"Patrick Lam Eric Bodden Ondvrej Lhot\u00e1k and Laurie Hendren. 2011. The Soot framework for Java program analysis: a retrospective.  Patrick Lam Eric Bodden Ondvrej Lhot\u00e1k and Laurie Hendren. 2011. The Soot framework for Java program analysis: a retrospective."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771284.2771289"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183470"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760283"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(96)00072-2"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems, Tom\u00e1\u0161 Vojnar and Lijun Zhang (Eds.)","author":"Schubert Philipp Dominik","key":"e_1_3_2_1_15_1","unstructured":"Philipp Dominik Schubert , Ben Hermann , and Eric Bodden . 2019. PhASAR: An Inter-procedural Static Analysis Framework for C\/C++ . In Tools and Algorithms for the Construction and Analysis of Systems, Tom\u00e1\u0161 Vojnar and Lijun Zhang (Eds.) . Springer International Publishing , Cham , 393\u2013410. Philipp Dominik Schubert, Ben Hermann, and Eric Bodden. 2019. PhASAR: An Inter-procedural Static Analysis Framework for C\/C++. In Tools and Algorithms for the Construction and Analysis of Systems, Tom\u00e1\u0161 Vojnar and Lijun Zhang (Eds.). Springer International Publishing, Cham, 393\u2013410."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2015.7392027"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519073"},{"volume-title":"2nd Summit on Advances in Programming Languages (SNAPL 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Benjamin S","author":"Toman John","key":"e_1_3_2_1_18_1","unstructured":"John Toman and Dan Grossman . 2017. Taming the Static Analysis Beast . In 2nd Summit on Advances in Programming Languages (SNAPL 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Benjamin S . Lerner, Rastislav Bod\u00edk, and Shriram Krishnamurthi (Eds.), Vol. 71 . Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany , 18:1\u201318:14. John Toman and Dan Grossman. 2017. Taming the Static Analysis Beast. In 2nd Summit on Advances in Programming Languages (SNAPL 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Benjamin S. Lerner, Rastislav Bod\u00edk, and Shriram Krishnamurthi (Eds.), Vol. 71. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 18:1\u201318:14."},{"key":"e_1_3_2_1_19_1","unstructured":"WALA 2019. WALA. Retrieved 04\/02\/2019 from http:\/\/wala. sourceforge.net\/wiki\/index.php\/Main_Page  WALA 2019. WALA. Retrieved 04\/02\/2019 from http:\/\/wala. sourceforge.net\/wiki\/index.php\/Main_Page"}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Phoenix AZ USA","acronym":"PLDI '19"},"container-title":["Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3315568.3329965","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3315568.3329965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:34Z","timestamp":1750204414000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3315568.3329965"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,22]]},"references-count":19,"alternative-id":["10.1145\/3315568.3329965","10.1145\/3315568"],"URL":"https:\/\/doi.org\/10.1145\/3315568.3329965","relation":{},"subject":[],"published":{"date-parts":[[2019,6,22]]},"assertion":[{"value":"2019-06-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}