ARTICLE:ANALYSIS_BY[name] student0 ARTICLE:ANALYSIS_TIME[minutes] 10 ARTICLE:COMMENT[string] A study that did use automatic tools, I'm not sure if it is necessary to ask for the code. ARTICLE:COMMERCIAL_EFFORT[none,part,full] none ARTICLE:GRANT_SUPPORT[none or string] For KU Leuven, this research was done with the nancial support from the Prevention against Crime Programme of the European Union, the IBBT, the Research Fund KU Leuven, and the EU-funded FP7 projects NESSoS and WebSand. For UCSB, this work was supported by the Oce of Naval Research (ONR) under Grant N000140911042, the National Science Foundation (NSF) under grants CNS- 0845559 and CNS-0905537. ARTICLE:IMPLEMENTATION_EXISTS[unknown,hardware,yes,no] yes ARTICLE:LINK[url] http://doi.acm.org/10.1145/2382196.2382274 ARTICLE:NSF_SUPPORT[none or number] CNS- 0845559 and CNS-0905537. ARTICLE:PAGE_COUNT[pages] 12 ARTICLE:STATUS[not_finished,finished] finished ARTICLE:TYPE[conference,journal,poster,abstract] conference AUTHOR:NAMES[list of first_last] Nick_Nikiforakis Luca_Invernizzi Alexandros_Kapravelos Steven_Van_Acker Wouter_Joosen Christopher_Kruegel Frank_Piessens Giovanni_Vigna BIBTEX:LABEL[string] NikiforakisIKAJKPV12 BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/conf/ccs/NikiforakisIKAJKPV12 BUILD:ANALYSIS_BY[name] BUILD:ANALYSIS_TIME[minutes] BUILD:BENEFIT_OF_DOUBT[unknown,yes,no] unknown BUILD:COMMENT[string] BUILD:ERROR_COMMENT[not_needed,comment] not_needed BUILD:STATUS[one of {unknown,needed,not_needed,started,finished} and list of {downloaded,compiles,runs}] unknown BUILD:VERIFY_BY[name] BUILD:VERIFY_COMMENT[string] BUILD:VERIFY_STATUS[needed,not_needed,started,finished] not_needed BUILD:VERIFY_TIME[minutes] COMMENT:CORRECTION[string] COMMENT:RESPONSE[string] COMMENT:UPDATE[string] EMAIL1:CODE_AVAILABLE[yes,no,no_response] EMAIL1:REMARK[comment] EMAIL:STATUS[unknown,not_needed,not_found or list of {needed,request_1,response_1,sent_thank_you}] needed PI:COMMENT_CC[string] PI:COMMENT_TP[string] TOOL:ARTICLE_LINK[unknown,none,url,broken and url] none TOOL:DATA_LINK[unknown,none,url,broken and url] TOOL:EMAIL_LINK[unknown,none,sent_no_url,url,broken and url] TOOL:GOOGLE_LINK[unknown,none,url,broken and url] none TOOL:NAME[string] VERIFY:ANALYSIS_BY[name] student7 VERIFY:COMMENT[string] changed build sttus to unknown VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished