{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T15:49:30Z","timestamp":1787500170238,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,14]],"date-time":"2015-06-14T00:00:00Z","timestamp":1434240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"BMBF","award":["EC SPRIDE"],"award-info":[{"award-number":["EC SPRIDE"]}]},{"name":"Hessian LOEWE Initiative","award":["CASED"],"award-info":[{"award-number":["CASED"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,14]]},"DOI":"10.1145\/2771284.2771285","type":"proceedings-article","created":{"date-parts":[[2015,6,8]],"date-time":"2015-06-08T11:11:12Z","timestamp":1433761872000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Using targeted symbolic execution for reducing false-positives in dataflow analysis"],"prefix":"10.1145","author":[{"given":"Steven","family":"Arzt","sequence":"first","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Siegfried","family":"Rasthofer","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Hahn","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Bodden","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany \/ Fraunhofer SIT, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594299"},{"key":"e_1_3_2_1_2_1","volume-title":"The smt-lib standard: Version 2.0","author":"Barrett C.","year":"2010","unstructured":"C. Barrett , A. Stump , and C. Tinelli . The smt-lib standard: Version 2.0 , 2010 . Available at www. SMT-LIB. org. C. Barrett, A. Stump, and C. Tinelli. The smt-lib standard: Version 2.0, 2010. Available at www. SMT-LIB. org."},{"key":"e_1_3_2_1_3_1","volume-title":"Strings, page 24","author":"Bj\u00f8rner N.","year":"2012","unstructured":"N. Bj\u00f8rner , V. Ganesh , R. Michel , and M. Veanes . An smt-lib format for sequences and regular expressions . In Strings, page 24 , 2012 . N. Bj\u00f8rner, V. Ganesh, R. Michel, and M. Veanes. An smt-lib format for sequences and regular expressions. In Strings, page 24, 2012."},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Computer Science","first-page":"340","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura L.","unstructured":"L. de Moura and N. Bjrner . Z3: An efficient smt solver . In C. Ramakrishnan and J. Rehof, editors, Tools and Algorithms for the Construction and Analysis of Systems , volume 4963 of Lecture Notes in Computer Science , pages 337\u2013 340 . Springer Berlin Heidelberg, 2008. ISBN 978-3-540-78799-0.. URL http:\/\/dx.doi.org\/10.1007\/978-3-540-78800-3 24. 10.1007\/978-3-540-78800-3 L. de Moura and N. Bjrner. Z3: An efficient smt solver. In C. Ramakrishnan and J. Rehof, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 4963 of Lecture Notes in Computer Science, pages 337\u2013340. Springer Berlin Heidelberg, 2008. ISBN 978-3-540-78799-0.. URL http:\/\/dx.doi.org\/10.1007\/978-3-540-78800-3 24."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375696.1375704"},{"key":"e_1_3_2_1_6_1","volume-title":"Symdroid: Symbolic execution for dalvik bytecode","author":"Jeon J.","year":"2012","unstructured":"J. Jeon , K. K. Micinski , and J. S. Foster . Symdroid: Symbolic execution for dalvik bytecode , 2012 . http: \/\/www.cs.umd.edu\/ jfoster\/papers\/symdroid.pdf. J. Jeon, K. K. Micinski, and J. S. Foster. Symdroid: Symbolic execution for dalvik bytecode, 2012. http: \/\/www.cs.umd.edu\/ jfoster\/papers\/symdroid.pdf."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065016"},{"key":"e_1_3_2_1_8_1","first-page":"568","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Khurshid S.","unstructured":"S. Khurshid , C. S. P\u0103s\u0103reanu , and W. Visser . Generalized symbolic execution for model checking and testing . In Tools and Algorithms for the Construction and Analysis of Systems , pages 553\u2013 568 . Springer, 2003. S. Khurshid, C. S. P\u0103s\u0103reanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Tools and Algorithms for the Construction and Analysis of Systems, pages 553\u2013568. Springer, 2003."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572286"},{"key":"e_1_3_2_1_10_1","volume-title":"Cetus Users and Compiler Infastructure Workshop (CETUS 2011)","author":"Lam P.","year":"2011","unstructured":"P. Lam , E. Bodden , O. Lhot\u00e1k , and L. Hendren . The soot framework for java program analysis: a retrospective . In Cetus Users and Compiler Infastructure Workshop (CETUS 2011) , 2011 . P. Lam, E. Bodden, O. Lhot\u00e1k, and L. Hendren. The soot framework for java program analysis: a retrospective. In Cetus Users and Compiler Infastructure Workshop (CETUS 2011), 2011."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581398"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572299"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"e_1_3_2_1_15_1","first-page":"348","volume-title":"Static Analysis","author":"Snelting G.","unstructured":"G. Snelting . Combining slicing and constraint solving for validation of measurement software . In Static Analysis , pages 332\u2013 348 . Springer-Verlag London, UK, Sept. 1996.. G. Snelting. Combining slicing and constraint solving for validation of measurement software. In Static Analysis, pages 332\u2013348. Springer-Verlag London, UK, Sept. 1996.."},{"key":"e_1_3_2_1_16_1","first-page":"79","volume-title":"7th International Workshop on Formal Aspects in Security and Trust (FAST)","author":"Taghdiri M.","year":"2010","unstructured":"M. Taghdiri , G. Snelting , and C. Sinz . Information flow analysis via path condition refinement . In 7th International Workshop on Formal Aspects in Security and Trust (FAST) , pages 65\u2013 79 , September 2010 . M. Taghdiri, G. Snelting, and C. Sinz. Information flow analysis via path condition refinement. In 7th International Workshop on Formal Aspects in Security and Trust (FAST), pages 65\u201379, September 2010."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660339"}],"event":{"name":"PLDI '15: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Portland OR USA","acronym":"PLDI '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2771284.2771285","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2771284.2771285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:56:13Z","timestamp":1750258573000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2771284.2771285"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,14]]},"references-count":16,"alternative-id":["10.1145\/2771284.2771285","10.1145\/2771284"],"URL":"https:\/\/doi.org\/10.1145\/2771284.2771285","relation":{},"subject":[],"published":{"date-parts":[[2015,6,14]]},"assertion":[{"value":"2015-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}