{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T00:48:17Z","timestamp":1760143697399,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","funder":[{"name":"IITP","award":["No.RS-2022-II221200"],"award-info":[{"award-number":["No.RS-2022-II221200"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,10,12]]},"DOI":"10.1145\/3758316.3765485","type":"proceedings-article","created":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T14:04:41Z","timestamp":1760105081000},"page":"56-57","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Toward Automated Verification of Static Analysis Results of Android Applications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-1169-2379","authenticated-orcid":false,"given":"Hannuri","family":"Kim","sequence":"first","affiliation":[{"name":"Chungnam National University, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7107-5590","authenticated-orcid":false,"given":"Sungho","family":"Lee","sequence":"additional","affiliation":[{"name":"Chungnam National University, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2025. DroidBench. https:\/\/github.com\/secure-software-engineering\/DroidBench Accessed: 2025-08-12"},{"key":"e_1_3_2_1_2_1","volume-title":"Damien Octeau, and Patrick McDaniel.","author":"Arzt Steven","year":"2014","unstructured":"Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. 2014. Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps. ACM sigplan notices, 49, 6 (2014), 259\u2013269."},{"key":"e_1_3_2_1_3_1","volume-title":"Portugal, 16","author":"Gomes Ivo","year":"2009","unstructured":"Ivo Gomes, Pedro Morgado, Tiago Gomes, and Rodrigo Moreira. 2009. An overview on the static code analysis approach in software development. Faculdade de Engenharia da Universidade do Porto, Portugal, 16 (2009)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606613"},{"key":"e_1_3_2_1_5_1","volume-title":"Lifestate: Event-driven protocols and callback control flow (extended version). arXiv preprint arXiv:1906.04924.","author":"Meier Shawn","year":"2019","unstructured":"Shawn Meier, Sergio Mover, and Bor-Yuh Evan Chang. 2019. Lifestate: Event-driven protocols and callback control flow (extended version). arXiv preprint arXiv:1906.04924."}],"event":{"name":"SPLASH '25: 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Singapore Singapore","acronym":"SPLASH '25","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T14:04:57Z","timestamp":1760105097000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3758316.3765485"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,12]]},"references-count":5,"alternative-id":["10.1145\/3758316.3765485","10.1145\/3758316"],"URL":"https:\/\/doi.org\/10.1145\/3758316.3765485","relation":{},"subject":[],"published":{"date-parts":[[2025,10,12]]},"assertion":[{"value":"2025-10-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}