{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T00:28:42Z","timestamp":1766449722006,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["NRF-2014R1A2A2A01003235 and NRF-2008-0062609"],"award-info":[{"award-number":["NRF-2014R1A2A2A01003235 and NRF-2008-0062609"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Samsung Electronics"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,14]]},"DOI":"10.1145\/2889160.2889227","type":"proceedings-article","created":{"date-parts":[[2016,5,16]],"date-time":"2016-05-16T12:27:23Z","timestamp":1463401643000},"page":"61-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Battles with false positives in static analysis of JavaScript web applications in the wild"],"prefix":"10.1145","author":[{"given":"Joonyoung","family":"Park","sequence":"first","affiliation":[{"name":"KAIST"}]},{"given":"Inho","family":"Lim","sequence":"additional","affiliation":[{"name":"Samsung Electronics"}]},{"given":"Sukyoung","family":"Ryu","sequence":"additional","affiliation":[{"name":"KAIST"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ECMAScript Language Specification. Edition 5.1. http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-262.htm.  ECMAScript Language Specification. Edition 5.1. http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-262.htm."},{"key":"e_1_3_2_1_2_1","unstructured":"HTML5: A vocabulary and associated APIs for HTML and XHTML. http:\/\/www.w3.org\/TR\/html5\/.  HTML5: A vocabulary and associated APIs for HTML and XHTML. http:\/\/www.w3.org\/TR\/html5\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Web IDL. http:\/\/www.w3.org\/TR\/WebIDL.  Web IDL. http:\/\/www.w3.org\/TR\/WebIDL."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568268"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660214"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635916"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9368-6"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660215"},{"key":"e_1_3_2_1_10_1","unstructured":"IBM Research. T. J. Watson Libraries for Analysis (WALA). http:\/\/wala.sf.net.  IBM Research. T. J. Watson Libraries for Analysis (WALA). http:\/\/wala.sf.net."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336758"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025125"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03237-0_17"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486877"},{"key":"e_1_3_2_1_15_1","unstructured":"KAIST PLRG. SAFE: Scalable Analysis Framework for ECMAScript. http:\/\/safe.kaist.ac.kr 2013.  KAIST PLRG. SAFE: Scalable Analysis Framework for ECMAScript. http:\/\/safe.kaist.ac.kr 2013."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882355"},{"key":"e_1_3_2_1_17_1","unstructured":"E. Kneuss P. Suter and V. Kuncak. Phantm: PHP analyzer for type mismatch. http:\/\/lara.epfl.ch\/w\/phantm 2012.  E. Kneuss P. Suter and V. Kuncak. Phantm: PHP analyzer for type mismatch. http:\/\/lara.epfl.ch\/w\/phantm 2012."},{"key":"e_1_3_2_1_18_1","volume-title":"FOOL","author":"Lee H.","year":"2012","unstructured":"H. Lee , S. Won , J. Jin , J. Cho , and S. Ryu . SAFE: Formal specification and implementation of a scalable analysis framework for ECMAScript . In FOOL 2012 . H. Lee, S. Won, J. Jin, J. Cho, and S. Ryu. SAFE: Formal specification and implementation of a scalable analysis framework for ECMAScript. In FOOL 2012."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2342863.2342864"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384660"},{"key":"e_1_3_2_1_22_1","unstructured":"Microsoft. TypeScript. http:\/\/www.typescriptlang.org.  Microsoft. TypeScript. http:\/\/www.typescriptlang.org."},{"key":"e_1_3_2_1_23_1","volume-title":"TAJS: Type analyzer for JavaScript. https:\/\/github.com\/cs-au-dk\/TAJS","author":"M\u00f8ller A.","year":"2014","unstructured":"A. M\u00f8ller , S. H. Jensen , P. Thiemann , M. Madsen , M. D. Ingesman , P. Jonsson , and E. Andreasen . TAJS: Type analyzer for JavaScript. https:\/\/github.com\/cs-au-dk\/TAJS , 2014 . A. M\u00f8ller, S. H. Jensen, P. Thiemann, M. Madsen, M. D. Ingesman, P. Jonsson, and E. Andreasen. TAJS: Type analyzer for JavaScript. https:\/\/github.com\/cs-au-dk\/TAJS, 2014."},{"key":"e_1_3_2_1_24_1","volume-title":"ECOOP","author":"Park C.","year":"2015","unstructured":"C. Park and S. Ryu . Scalable and precise static analysis of JavaScript applications via loop-sensitivity . In ECOOP 2015 . C. Park and S. Ryu. Scalable and precise static analysis of JavaScript applications via loop-sensitivity. In ECOOP 2015."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.27"},{"key":"e_1_3_2_1_26_1","volume-title":"ECOOP","author":"Richards G.","year":"2011","unstructured":"G. Richards , C. Hammer , B. Burg , and J. Vitek . The eval that men do: a large-scale study of the use of eval in JavaScript applications . In ECOOP 2011 . G. Richards, C. Hammer, B. Burg, and J. Vitek. The eval that men do: a large-scale study of the use of eval in JavaScript applications. In ECOOP 2011."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806598"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818828"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462168"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483788"}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\TCSE TC on Software Engineering","IEEE-CS\\DATC IEEE Computer Society"],"location":"Austin Texas","acronym":"ICSE '16"},"container-title":["Proceedings of the 38th International Conference on Software Engineering Companion"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2889160.2889227","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2889160.2889227","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:12Z","timestamp":1750221552000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2889160.2889227"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":30,"alternative-id":["10.1145\/2889160.2889227","10.1145\/2889160"],"URL":"https:\/\/doi.org\/10.1145\/2889160.2889227","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}