{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:23:32Z","timestamp":1750307012544,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,6,15]],"date-time":"2012-06-15T00:00:00Z","timestamp":1339718400000},"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":[[2012,6,15]]},"DOI":"10.1145\/2336717.2336723","type":"proceedings-article","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T14:41:14Z","timestamp":1343313674000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Static flow-sensitive & context-sensitive information-flow analysis for software product lines"],"prefix":"10.1145","author":[{"given":"Eric","family":"Bodden","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The Eclipse IDE. http:\/\/eclipse.org\/.  The Eclipse IDE. http:\/\/eclipse.org\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2162049.2162052"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001442"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960299"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2010.26"},{"key":"e_1_3_2_1_8_1","first-page":"125","volume-title":"Proceedings of CASCON 1999","author":"Patrick Lam Etienne Gagnon Vijay Sundaresan","year":"1999","unstructured":"Vijay Sundaresan Patrick Lam Etienne Gagnon Raja Vall\u00e9e-Rai , Laurie Hendren and Phong Co. Soot - a Java optimization framework . In Proceedings of CASCON 1999 , pages 125 -- 135 , 1999 . Vijay Sundaresan Patrick Lam Etienne Gagnon Raja Vall\u00e9e-Rai, Laurie Hendren and Phong Co. Soot - a Java optimization framework. In Proceedings of CASCON 1999, pages 125--135, 1999."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/243753.243762"}],"event":{"name":"PLDI '12: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Beijing China","acronym":"PLDI '12"},"container-title":["Proceedings of the 7th Workshop on Programming Languages and Analysis for Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2336717.2336723","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2336717.2336723","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:49:03Z","timestamp":1750236543000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2336717.2336723"}},"subtitle":["position paper"],"short-title":[],"issued":{"date-parts":[[2012,6,15]]},"references-count":9,"alternative-id":["10.1145\/2336717.2336723","10.1145\/2336717"],"URL":"https:\/\/doi.org\/10.1145\/2336717.2336723","relation":{},"subject":[],"published":{"date-parts":[[2012,6,15]]},"assertion":[{"value":"2012-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}