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:NSF-SUPPORT[none or number] 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:STATUS[not_finished,finished] finished BIBTEX:LABEL[string] NikiforakisIKAJKPV12 AUTHOR:NAMES[list of first_last] Nick_Nikiforakis Luca_Invernizzi Alexandros_Kapravelos Steven_Van_Acker Wouter_Joosen Christopher_Kruegel Frank_Piessens Giovanni_Vigna BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/conf/ccs/NikiforakisIKAJKPV12 BUILD:ANALYSIS_BY[name] BUILD:ANALYSIS_TIME[minutes] BUILD:COMMENT[string] BUILD:STATUS[one of {unknown,needed,not_needed,started,finished} and list of {downloaded,compiles,runs}] unknown BUILD:ERROR_COMMENT[none,not_needed,comment] not_needed 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:NAME[string] TOOL:ARTICLE_LINK[unknown,none,url,broken and url] none TOOL:GOOGLE_LINK[unknown,none,url,broken and url] none TOOL:EMAIL_LINK[unknown,none,sent_no_url,url,broken and url] TOOL:DATA_LINK[unknown,none,url,broken and url] VERIFY:ANALYSIS_BY[name] student4 VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished VERIFY:COMMENT[string] changed build sttus to unknown EMAIL1:CODE_AVAILABLE[yes,no,no_response] EMAIL1:REMARK[comment]