{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:49Z","timestamp":1750220509760,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T00:00:00Z","timestamp":1605484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["1650540,1717065"],"award-info":[{"award-number":["1650540,1717065"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,16]]},"DOI":"10.1145\/3425898.3426962","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T01:26:21Z","timestamp":1606267581000},"page":"84-97","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["VarSem: declarative expression and automated inference of variable usage semantics"],"prefix":"10.1145","author":[{"given":"Yin","family":"Liu","sequence":"first","affiliation":[{"name":"Virginia Tech, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eli","family":"Tilevich","sequence":"additional","affiliation":[{"name":"Virginia Tech, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,16]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635883"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786849"},{"key":"e_1_3_2_2_3_1","volume-title":"International conference on machine learning. 2091-2100","author":"Allamanis Miltiadis","year":"2016","unstructured":"Miltiadis Allamanis , Hao Peng , and Charles Sutton . 2016 . A convolutional attention network for extreme summarization of source code . In International conference on machine learning. 2091-2100 . Miltiadis Allamanis, Hao Peng, and Charles Sutton. 2016. A convolutional attention network for extreme summarization of source code. In International conference on machine learning. 2091-2100."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"crossref","unstructured":"Uri Alon Meital Zilberstein Omer Levy and Eran Yahav. 2018. A general path-based representation for predicting program properties. ACM SIGPLAN Notices 53 4 ( 2018 ) 404-419.  Uri Alon Meital Zilberstein Omer Levy and Eran Yahav. 2018. A general path-based representation for predicting program properties. ACM SIGPLAN Notices 53 4 ( 2018 ) 404-419.","DOI":"10.1145\/3296979.3192412"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290353"},{"key":"e_1_3_2_2_6_1","unstructured":"antlersoft. 2011. Browse-by-Query. htp:\/\/browsebyquery.sourceforge. net\/.  antlersoft. 2011. Browse-by-Query. htp:\/\/browsebyquery.sourceforge. net\/."},{"key":"e_1_3_2_2_7_1","unstructured":"Dmitry Baryshkov. 2019. Tools to work with EMV bank cards. htps: \/\/github.com\/lumag\/emv-tools.  Dmitry Baryshkov. 2019. Tools to work with EMV bank cards. htps: \/\/github.com\/lumag\/emv-tools."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390647"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3338997"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053033"},{"key":"e_1_3_2_2_11_1","unstructured":"Clang Front End for LLVM Developers. 2019. Clang Static Analyzer. htps:\/\/clang-analyzer.llvm.org\/.  Clang Front End for LLVM Developers. 2019. Clang Static Analyzer. htps:\/\/clang-analyzer.llvm.org\/."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"crossref","unstructured":"Tal Cohen Joseph Gil and Itay Maman. 2006. JTL: the Java tools language. ACM SIGPLAN Notices 41 10 ( 2006 ) 89-108.  Tal Cohen Joseph Gil and Itay Maman. 2006. JTL: the Java tools language. ACM SIGPLAN Notices 41 10 ( 2006 ) 89-108.","DOI":"10.1145\/1167515.1167481"},{"key":"e_1_3_2_2_13_1","unstructured":"CVE site. 2011. CVE-2011-4120. htps:\/\/cvesite.com\/cves\/CVE-2011-4120.  CVE site. 2011. CVE-2011-4120. htps:\/\/cvesite.com\/cves\/CVE-2011-4120."},{"key":"e_1_3_2_2_14_1","unstructured":"CVE site. 2019. CVE-2019-12210. htps:\/\/cvesite.com\/cves\/CVE-2019-12210.  CVE site. 2019. CVE-2019-12210. htps:\/\/cvesite.com\/cves\/CVE-2019-12210."},{"key":"e_1_3_2_2_15_1","unstructured":"drkblog. 2018. findmacs. htps:\/\/github.com\/drkblog\/findmacs.  drkblog. 2018. findmacs. htps:\/\/github.com\/drkblog\/findmacs."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606588"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292543"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48959-2_2"},{"key":"e_1_3_2_2_19_1","unstructured":"Peter Eisentraut. 2015. emailaddr type for PostgreSQL. htps:\/\/github. com\/petere\/pgemailaddr.  Peter Eisentraut. 2015. emailaddr type for PostgreSQL. htps:\/\/github. com\/petere\/pgemailaddr."},{"volume-title":"Empirical studies of programmers: Fourth workshop","author":"Gellenbeck Edward M","key":"e_1_3_2_2_20_1","unstructured":"Edward M Gellenbeck and Curtis R Cook . 1991. An investigation of procedure and variable names as beacons during program comprehension . In Empirical studies of programmers: Fourth workshop . Ablex Publishing , Norwood, NJ , 65-81. Edward M Gellenbeck and Curtis R Cook. 1991. An investigation of procedure and variable names as beacons during program comprehension. In Empirical studies of programmers: Fourth workshop. Ablex Publishing, Norwood, NJ, 65-81."},{"key":"e_1_3_2_2_21_1","unstructured":"Google. 2019. word2vec. htps:\/\/code.google.com\/archive\/p\/ word2vec\/.  Google. 2019. word2vec. htps:\/\/code.google.com\/archive\/p\/ word2vec\/."},{"key":"e_1_3_2_2_22_1","unstructured":"Google. 2019. word2vec-GoogleNews-vectors. htps:\/\/github.com\/ mmihaltz\/word2vec-GoogleNews-vectors.  Google. 2019. word2vec-GoogleNews-vectors. htps:\/\/github.com\/ mmihaltz\/word2vec-GoogleNews-vectors."},{"key":"e_1_3_2_2_23_1","unstructured":"Hunter Gregal. 2019. MimiPenguin 2.0. htps:\/\/github.com\/ huntergregal\/mimipenguin.  Hunter Gregal. 2019. MimiPenguin 2.0. htps:\/\/github.com\/ huntergregal\/mimipenguin."},{"key":"e_1_3_2_2_24_1","unstructured":"Cay S Horstmann. 2012. Scala for the Impatient. Pearson Education.  Cay S Horstmann. 2012. Scala for the Impatient. Pearson Education."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_14"},{"key":"e_1_3_2_2_26_1","first-page":"977","volume-title":"24th USENIX Security Symposium (USENIX Security 15)","author":"Huang Jianjun","year":"2015","unstructured":"Jianjun Huang , Zhichun Li , Xusheng Xiao , Zhenyu Wu , Kangjie Lu , Xiangyu Zhang , and Guofei Jiang . 2015 . {SUPOR}: Precise and Scalable Sensitive User Input Detection for Android Apps . In 24th USENIX Security Symposium (USENIX Security 15) . 977 - 992 . Jianjun Huang, Zhichun Li, Xusheng Xiao, Zhenyu Wu, Kangjie Lu, Xiangyu Zhang, and Guofei Jiang. 2015. {SUPOR}: Precise and Scalable Sensitive User Input Detection for Android Apps. In 24th USENIX Security Symposium (USENIX Security 15). 977-992."},{"key":"e_1_3_2_2_27_1","unstructured":"J. Karau. 2014. phone number scanner. htps:\/\/github.com\/witycoder\/ phone_number_scanner.  J. Karau. 2014. phone number scanner. htps:\/\/github.com\/witycoder\/ phone_number_scanner."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00062"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230833.3230856"},{"key":"e_1_3_2_2_30_1","unstructured":"KYLIN Information Technology Co. Ltd. 2019. Biometric Authentication. htps:\/\/github.com\/ukui\/biometric-authentication.  KYLIN Information Technology Co. Ltd. 2019. Biometric Authentication. htps:\/\/github.com\/ukui\/biometric-authentication."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2006.51"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"crossref","unstructured":"Xing Liu Jiqiang Liu Wei Wang Yongzhong He and Xiangliang Zhang. 2018. Discovering and understanding Android sensor usage behaviors with data flow analysis. World Wide Web 21 1 ( 2018 ) 105-126.  Xing Liu Jiqiang Liu Wei Wang Yongzhong He and Xiangliang Zhang. 2018. Discovering and understanding Android sensor usage behaviors with data flow analysis. World Wide Web 21 1 ( 2018 ) 105-126.","DOI":"10.1007\/s11280-017-0446-0"},{"key":"e_1_3_2_2_33_1","unstructured":"llvm-admin team. 2019. The LLVM Compiler Infrastructure. htps: \/\/llvm.org\/.  llvm-admin team. 2019. The LLVM Compiler Infrastructure. htps: \/\/llvm.org\/."},{"key":"e_1_3_2_2_34_1","unstructured":"Kenny MacDermid. 2016. wdpassport-utils. htps:\/\/github.com\/ KenMacD\/wdpassport-utils.  Kenny MacDermid. 2016. wdpassport-utils. htps:\/\/github.com\/ KenMacD\/wdpassport-utils."},{"key":"e_1_3_2_2_35_1","first-page":"365","volume-title":"Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (San Diego, CA, USA) ( OOPSLA '05). Association for Computing Machinery","author":"Martin Michael","unstructured":"Michael Martin , Benjamin Livshits , and Monica S. Lam . 2005. Finding Application Errors and Security Flaws Using PQL: A Program Query Language . In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (San Diego, CA, USA) ( OOPSLA '05). Association for Computing Machinery , New York, NY, USA , 365 - 383 . htps:\/\/doi.org\/10.1145\/ 1094811.1094840 Michael Martin, Benjamin Livshits, and Monica S. Lam. 2005. Finding Application Errors and Security Flaws Using PQL: A Program Query Language. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (San Diego, CA, USA) ( OOPSLA '05). Association for Computing Machinery, New York, NY, USA, 365-383. htps:\/\/doi.org\/10.1145\/ 1094811.1094840"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384689"},{"key":"e_1_3_2_2_37_1","first-page":"993","volume-title":"24th USENIX Security Symposium (USENIX Security 15)","author":"Nan Yuhong","year":"2015","unstructured":"Yuhong Nan , Min Yang , Zhemin Yang , Shunfan Zhou , Guofei Gu , and XiaoFeng Wang . 2015 . Uipicker: User-input privacy identification in mobile applications . In 24th USENIX Security Symposium (USENIX Security 15) . 993 - 1008 . Yuhong Nan, Min Yang, Zhemin Yang, Shunfan Zhou, Guofei Gu, and XiaoFeng Wang. 2015. Uipicker: User-input privacy identification in mobile applications. In 24th USENIX Security Symposium (USENIX Security 15). 993-1008."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"crossref","unstructured":"Arvind Narayanan and Vitaly Shmatikov. 2010. Myths and fallacies of\" personally identifiable information\". Commun. ACM 53 6 ( 2010 ) 24-26.  Arvind Narayanan and Vitaly Shmatikov. 2010. Myths and fallacies of\" personally identifiable information\". Commun. ACM 53 6 ( 2010 ) 24-26.","DOI":"10.1145\/1743546.1743558"},{"key":"e_1_3_2_2_39_1","unstructured":"NetBeans. 2012. Jackpot. htp:\/\/wiki.netbeans.org\/Jackpot.  NetBeans. 2012. Jackpot. htp:\/\/wiki.netbeans.org\/Jackpot."},{"key":"e_1_3_2_2_40_1","volume-title":"Combining Program Analysis and Statistical Language Model for Code Statement Completion. In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 710-721","author":"Nguyen Son","year":"2019","unstructured":"Son Nguyen , Tien Nguyen , Yi Li , and Shaohua Wang . 2019 . Combining Program Analysis and Statistical Language Model for Code Statement Completion. In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 710-721 . Son Nguyen, Tien Nguyen, Yi Li, and Shaohua Wang. 2019. Combining Program Analysis and Statistical Language Model for Code Statement Completion. In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 710-721."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"crossref","unstructured":"Veselin Raychev Martin Vechev and Andreas Krause. 2019. Predicting program properties from'big code'. Commun. ACM 62 3 ( 2019 ) 99-107.  Veselin Raychev Martin Vechev and Andreas Krause. 2019. Predicting program properties from'big code'. Commun. ACM 62 3 ( 2019 ) 99-107.","DOI":"10.1145\/3306204"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133928"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"crossref","unstructured":"Luciano Sampaio and Alessandro Garcia. 2016. Exploring contextsensitive data flow analysis for early vulnerability detection. Journal of Systems and Software 113 ( 2016 ) 337-361.  Luciano Sampaio and Alessandro Garcia. 2016. Exploring contextsensitive data flow analysis for early vulnerability detection. Journal of Systems and Software 113 ( 2016 ) 337-361.","DOI":"10.1016\/j.jss.2015.12.021"},{"key":"e_1_3_2_2_44_1","volume-title":"The PII problem: Privacy and a new concept of personally identifiable information. NYUL rev. 86 ( 2011 )","author":"Schwartz Paul M","year":"1814","unstructured":"Paul M Schwartz and Daniel J Solove . 2011. The PII problem: Privacy and a new concept of personally identifiable information. NYUL rev. 86 ( 2011 ) , 1814 . Paul M Schwartz and Daniel J Solove. 2011. The PII problem: Privacy and a new concept of personally identifiable information. NYUL rev. 86 ( 2011 ), 1814."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859006"},{"key":"e_1_3_2_2_46_1","unstructured":"The Clang Team. 2020. Matching the Clang AST. htps:\/\/clang.llvm. org\/docs\/LibASTMatchers.html.  The Clang Team. 2020. Matching the Clang AST. htps:\/\/clang.llvm. org\/docs\/LibASTMatchers.html."},{"key":"e_1_3_2_2_47_1","volume-title":"University of Illinois at UrbanaChampaign","author":"Technology Services Group","year":"2014","unstructured":"Technology Services Group , University of Illinois at UrbanaChampaign . 2014 . Ssniper Social Security Scanner for Linux . htps: \/\/github.com\/racooper\/ssniper. Technology Services Group, University of Illinois at UrbanaChampaign. 2014. Ssniper Social Security Scanner for Linux. htps: \/\/github.com\/racooper\/ssniper."},{"key":"e_1_3_2_2_48_1","unstructured":"The Clang Team. 2019. LibTooling. htps:\/\/clang.llvm.org\/docs\/ LibTooling.html.  The Clang Team. 2019. LibTooling. htps:\/\/clang.llvm.org\/docs\/ LibTooling.html."},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"crossref","unstructured":"Raoul-Gabriel Urma and Alan Mycroft. 2015. Source-code queries with graph databases-with application to programming language usage and evolution. Science of Computer Programming 97 ( 2015 ) 127-134.  Raoul-Gabriel Urma and Alan Mycroft. 2015. Source-code queries with graph databases-with application to programming language usage and evolution. Science of Computer Programming 97 ( 2015 ) 127-134.","DOI":"10.1016\/j.scico.2013.11.010"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106289"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238206"},{"key":"e_1_3_2_2_52_1","article-title":"Amandroid: a precise and general inter-component data flow analysis framework for security vetting of Android apps","volume":"21","author":"Wei Fengguo","year":"2018","unstructured":"Fengguo Wei , Sankardas Roy , and Xinming Ou . 2018 . Amandroid: a precise and general inter-component data flow analysis framework for security vetting of Android apps . ACM Transactions on Privacy and Security (TOPS) 21 , 3 ( 2018 ), 1-32. Fengguo Wei, Sankardas Roy, and Xinming Ou. 2018. Amandroid: a precise and general inter-component data flow analysis framework for security vetting of Android apps. ACM Transactions on Privacy and Security (TOPS) 21, 3 ( 2018 ), 1-32.","journal-title":"ACM Transactions on Privacy and Security (TOPS)"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_30"},{"key":"e_1_3_2_2_54_1","unstructured":"Ian H Witten Eibe Frank and Mark A Hall. 2005. Practical machine learning tools and techniques. Morgan Kaufmann ( 2005 ) 578.  Ian H Witten Eibe Frank and Mark A Hall. 2005. Practical machine learning tools and techniques. Morgan Kaufmann ( 2005 ) 578."},{"volume-title":"Philosophical investigations","author":"Wittgenstein Ludwig","key":"e_1_3_2_2_55_1","unstructured":"Ludwig Wittgenstein . 2009. Philosophical investigations . John Wiley & Sons . Ludwig Wittgenstein. 2009. Philosophical investigations. John Wiley & Sons."},{"key":"e_1_3_2_2_56_1","unstructured":"Yubico Company. 2019. Yubico PAM module. htps:\/\/developers. yubico.com\/yubico-pam\/.  Yubico Company. 2019. Yubico PAM module. htps:\/\/developers. yubico.com\/yubico-pam\/."},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00030"}],"event":{"name":"GPCE '20: Concepts and Experiences","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"GPCE '20"},"container-title":["Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425898.3426962","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3425898.3426962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:24Z","timestamp":1750195464000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3425898.3426962"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,16]]},"references-count":57,"alternative-id":["10.1145\/3425898.3426962","10.1145\/3425898"],"URL":"https:\/\/doi.org\/10.1145\/3425898.3426962","relation":{},"subject":[],"published":{"date-parts":[[2020,11,16]]},"assertion":[{"value":"2020-11-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}