{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:20:37Z","timestamp":1783009237078,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T00:00:00Z","timestamp":1604016000000},"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":[[2020,10,30]]},"DOI":"10.1145\/3372297.3423360","type":"proceedings-article","created":{"date-parts":[[2021,3,4]],"date-time":"2021-03-04T16:22:09Z","timestamp":1614874929000},"page":"1837-1852","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection"],"prefix":"10.1145","author":[{"given":"Tao","family":"Lv","sequence":"first","affiliation":[{"name":"Institute of Information Engineering, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ruishi","family":"Li","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yi","family":"Yang","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kai","family":"Chen","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaojing","family":"Liao","sequence":"additional","affiliation":[{"name":"Indiana University Bloomington, Bloomington, IN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"XiaoFeng","family":"Wang","sequence":"additional","affiliation":[{"name":"Indiana University Bloomington, Bloomington, IN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peiwei","family":"Hu","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luyi","family":"Xing","sequence":"additional","affiliation":[{"name":"Indiana University Bloomington, Bloomington, IN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,11,2]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2016. stanford Parser. https:\/\/nlp.stanford.edu\/software\/dependencies_manual.pdf. (2016).  2016. stanford Parser. https:\/\/nlp.stanford.edu\/software\/dependencies_manual.pdf. (2016)."},{"key":"e_1_3_2_2_2_1","unstructured":"2020. AFL fuzzer. https:\/\/lcamtuf.coredump.cx\/afl\/. (2020).  2020. AFL fuzzer. https:\/\/lcamtuf.coredump.cx\/afl\/. (2020)."},{"key":"e_1_3_2_2_3_1","unstructured":"2020. Atril for MATE. https:\/\/mate-desktop.org\/. (2020).  2020. Atril for MATE. https:\/\/mate-desktop.org\/. (2020)."},{"key":"e_1_3_2_2_4_1","unstructured":"2020. CodeQL. https:\/\/securitylab.github.com\/tools\/codeql. (2020).  2020. CodeQL. https:\/\/securitylab.github.com\/tools\/codeql. (2020)."},{"key":"e_1_3_2_2_5_1","unstructured":"2020. confirmed bug. https:\/\/gitlab.gnome.org\/GNOME\/anjuta\/-\/issues\/12.(2020).  2020. confirmed bug. https:\/\/gitlab.gnome.org\/GNOME\/anjuta\/-\/issues\/12.(2020)."},{"key":"e_1_3_2_2_6_1","unstructured":"2020. confirmed bug. https:\/\/gitlab.kitware.com\/vtk\/vtk\/issues\/17818. (2020).  2020. confirmed bug. https:\/\/gitlab.kitware.com\/vtk\/vtk\/issues\/17818. (2020)."},{"key":"e_1_3_2_2_7_1","unstructured":"2020. confirmed bug. https:\/\/bz.apache.org\/bugzilla\/show_bug.cgi?id=64264.(2020).  2020. confirmed bug. https:\/\/bz.apache.org\/bugzilla\/show_bug.cgi?id=64264.(2020)."},{"key":"e_1_3_2_2_8_1","unstructured":"2020. confirmed bug. https:\/\/github.com\/hughsie\/colord\/issues\/110. (2020).  2020. confirmed bug. https:\/\/github.com\/hughsie\/colord\/issues\/110. (2020)."},{"key":"e_1_3_2_2_9_1","unstructured":"2020. confirmed bug. https:\/\/github.com\/darktable-org\/darktable\/issues\/6051.(2020).  2020. confirmed bug. https:\/\/github.com\/darktable-org\/darktable\/issues\/6051.(2020)."},{"key":"e_1_3_2_2_10_1","unstructured":"2020. confirmed bug. https:\/\/github.com\/mate-desktop\/atril\/issues\/485. (2020).  2020. confirmed bug. https:\/\/github.com\/mate-desktop\/atril\/issues\/485. (2020)."},{"key":"e_1_3_2_2_11_1","unstructured":"2020. confirmed bug. https:\/\/gitlab.gnome.org\/GNOME\/at-spi2-core\/-\/issues\/24.(2020).  2020. confirmed bug. https:\/\/gitlab.gnome.org\/GNOME\/at-spi2-core\/-\/issues\/24.(2020)."},{"key":"e_1_3_2_2_12_1","unstructured":"2020. CVE-2015--8867. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2015--8867. (2020).  2020. CVE-2015--8867. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2015--8867. (2020)."},{"key":"e_1_3_2_2_13_1","unstructured":"2020. github. https:\/\/github.com\/. (2020).  2020. github. https:\/\/github.com\/. (2020)."},{"key":"e_1_3_2_2_14_1","unstructured":"2020. gitlab. https:\/\/about.gitlab.com\/. (2020).  2020. gitlab. https:\/\/about.gitlab.com\/. (2020)."},{"key":"e_1_3_2_2_15_1","unstructured":"2020. Google translation. https:\/\/translate.google.cn. (2020).  2020. Google translation. https:\/\/translate.google.cn. (2020)."},{"key":"e_1_3_2_2_16_1","unstructured":"2020. lxml. https:\/\/lxml.de\/. (2020).  2020. lxml. https:\/\/lxml.de\/. (2020)."},{"key":"e_1_3_2_2_17_1","unstructured":"2020. man3. https:\/\/linux.die.net\/man\/3\/. (2020).  2020. man3. https:\/\/linux.die.net\/man\/3\/. (2020)."},{"key":"e_1_3_2_2_18_1","unstructured":"2020. National Vulnerability Datase. https:\/\/nvd.nist.gov\/vuln\/search. (2020).  2020. National Vulnerability Datase. https:\/\/nvd.nist.gov\/vuln\/search. (2020)."},{"key":"e_1_3_2_2_19_1","unstructured":"2020. sourceforge. https:\/\/sourceforge.net\/. (2020).  2020. sourceforge. https:\/\/sourceforge.net\/. (2020)."},{"key":"e_1_3_2_2_20_1","unstructured":"2020. ubuntu. https:\/\/packages.ubuntu.com\/en\/xenial\/libs\/. (2020).  2020. ubuntu. https:\/\/packages.ubuntu.com\/en\/xenial\/libs\/. (2020)."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_25"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213872"},{"key":"e_1_3_2_2_23_1","volume-title":"28th USENIX Security Symposium(USENIX Security 19)","author":"Chen Yi","year":"2019","unstructured":"Yi Chen , Luyi Xing , Yue Qin , Xiaojing Liao , XiaoFeng Wang , Kai Chen , and WeiZou. 2019 . Devils in the guidance: predicting logic vulnerabilities in payment syndication services through automated documentation analysis . In 28th USENIX Security Symposium(USENIX Security 19) . 747--764. Yi Chen, Luyi Xing, Yue Qin, Xiaojing Liao, XiaoFeng Wang, Kai Chen, and WeiZou. 2019. Devils in the guidance: predicting logic vulnerabilities in payment syndication services through automated documentation analysis. In 28th USENIX Security Symposium(USENIX Security 19). 747--764."},{"key":"e_1_3_2_2_24_1","unstructured":"Junyoung Chung Caglar Gulcehre KyungHyun Cho and Y. Bengio. 2014. Empirical Evaluation of Gated Recurrent Neural Networks on Sequence Modeling.(12 2014).  Junyoung Chung Caglar Gulcehre KyungHyun Cho and Y. Bengio. 2014. Empirical Evaluation of Gated Recurrent Neural Networks on Sequence Modeling.(12 2014)."},{"key":"e_1_3_2_2_25_1","volume-title":"Understanding Back-Translation at Scale. (08","author":"Edunov Sergey","year":"2018","unstructured":"Sergey Edunov , Myle Ott , Michael Auli , and David Grangier . 2018. Understanding Back-Translation at Scale. (08 2018 ). Sergey Edunov, Myle Ott, Michael Auli, and David Grangier. 2018. Understanding Back-Translation at Scale. (08 2018)."},{"key":"e_1_3_2_2_26_1","volume-title":"Pradeep Dasigi","author":"Gardner Matt","year":"2017","unstructured":"Matt Gardner , Joel Grus , Mark Neumann , Oyvind Taf jord , Pradeep Dasigi , Nelson F. Liu , Matthew Peters , Michael Schmitz, and Luke S. Zettlemoyer. 2017 . AllenNLP: A Deep Semantic Natural Language Processing Platform.arXiv:arXiv:1803.07640 Matt Gardner, Joel Grus, Mark Neumann, Oyvind Taf jord, Pradeep Dasigi, Nelson F. Liu, Matthew Peters, Michael Schmitz, and Luke S. Zettlemoyer. 2017. AllenNLP: A Deep Semantic Natural Language Processing Platform.arXiv:arXiv:1803.07640"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931061"},{"key":"e_1_3_2_2_28_1","volume-title":"2017. Program synthesis. Foundations and Trends\u00ae in Programming Languages 4, 1--2","author":"Gulwani Sumit","year":"2017","unstructured":"Sumit Gulwani , Oleksandr Polozov , Rishabh Singh , 2017. Program synthesis. Foundations and Trends\u00ae in Programming Languages 4, 1--2 ( 2017 ), 1--119. Sumit Gulwani, Oleksandr Polozov, Rishabh Singh, et al.2017. Program synthesis. Foundations and Trends\u00ae in Programming Languages 4, 1--2 (2017), 1--119."},{"key":"e_1_3_2_2_29_1","unstructured":"huggingface. 2020. neural coref. https:\/\/github.com\/huggingface\/neuralcoref .(2020).  huggingface. 2020. neural coref. https:\/\/github.com\/huggingface\/neuralcoref .(2020)."},{"key":"e_1_3_2_2_30_1","volume-title":"APEx: Automated Inference of Error Specifications for C APIs. In 31st IEEE\/ACM International Conference on Automated Software Engineering(ASE)","author":"Kang Yuan","year":"2016","unstructured":"Yuan Kang , Baishakhi Ray , and Suman Jana . 2016 . APEx: Automated Inference of Error Specifications for C APIs. In 31st IEEE\/ACM International Conference on Automated Software Engineering(ASE) . Singapore. Yuan Kang, Baishakhi Ray, and Suman Jana. 2016. APEx: Automated Inference of Error Specifications for C APIs. In 31st IEEE\/ACM International Conference on Automated Software Engineering(ASE). Singapore."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330552"},{"key":"e_1_3_2_2_32_1","volume-title":"Convolutional neural networks for sentence classification. arXiv preprint arXiv:1408.5882","author":"Kim Yoon","year":"2014","unstructured":"Yoon Kim . 2014. Convolutional neural networks for sentence classification. arXiv preprint arXiv:1408.5882 ( 2014 ). Yoon Kim. 2014. Convolutional neural networks for sentence classification. arXiv preprint arXiv:1408.5882 (2014)."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2886521.2886636"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194019400205"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00130"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081755"},{"key":"e_1_3_2_2_38_1","unstructured":"Lynten. 2018. stanford corenlp. https:\/\/github.com\/Lynten\/stanford-corenlp.(2018).  Lynten. 2018. stanford corenlp. https:\/\/github.com\/Lynten\/stanford-corenlp.(2018)."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-018-1327-7"},{"key":"e_1_3_2_2_40_1","unstructured":"Tomas Mikolov Ilya Sutskever Kai Chen Greg S Corrado and Jeff Dean. 2013. Distributed representations of words and phrases and their compositionality. In Advances in neural information processing systems. 3111--3119.  Tomas Mikolov Ilya Sutskever Kai Chen Greg S Corrado and Jeff Dean. 2013. Distributed representations of words and phrases and their compositionality. In Advances in neural information processing systems. 3111--3119."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635924"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2016.59"},{"key":"e_1_3_2_2_43_1","volume-title":"WHY-PER: Towards Automating Risk Assessment of Mobile Applications. In 22nd USENIX Security Symposium(USENIX Security 13)","author":"Pandita Rahul","year":"2013","unstructured":"Rahul Pandita , Xusheng Xiao , Wei Yang , William Enck , and Tao Xie . 2013 . WHY-PER: Towards Automating Risk Assessment of Mobile Applications. In 22nd USENIX Security Symposium(USENIX Security 13) . USENIX Association, Washington, D.C., 527--542. https:\/\/www.usenix.org\/conference\/usenixsecurity13\/technical-sessions\/presentation\/pandita Rahul Pandita, Xusheng Xiao, Wei Yang, William Enck, and Tao Xie. 2013. WHY-PER: Towards Automating Risk Assessment of Mobile Applications. In 22nd USENIX Security Symposium(USENIX Security 13). USENIX Association, Washington, D.C., 527--542. https:\/\/www.usenix.org\/conference\/usenixsecurity13\/technical-sessions\/presentation\/pandita"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227137"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660287"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.3115\/1073445.1073473"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294276"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.106"},{"key":"e_1_3_2_2_49_1","first-page":"I","article-title":"Attention is All you Need","volume":"30","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani , Noam Shazeer , Niki Parmar , Jakob Uszkoreit , Llion Jones , Aidan N Gomez , Lukasz Kaiser , and Illia Polosukhin . 2017 . Attention is All you Need . In Advances in Neural Information Processing Systems 30 , I . Guyon,U. V. Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R. Gar-nett (Eds.). Curran Associates, Inc., 5998--6008. http:\/\/papers.nips.cc\/paper\/7181-attention-is-all-you-need.pdf Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Lukasz Kaiser, and Illia Polosukhin. 2017. Attention is All you Need. In Advances in Neural Information Processing Systems 30, I. Guyon,U. V. Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R. Gar-nett (Eds.). Curran Associates, Inc., 5998--6008. http:\/\/papers.nips.cc\/paper\/7181-attention-is-all-you-need.pdf","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00093"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N16-1174"},{"key":"e_1_3_2_2_52_1","volume-title":"25th USENIX Security Symposium, USENIX Security 16","author":"Yun Insu","year":"2016","unstructured":"Insu Yun , Changwoo Min , Xujie Si , Yeongjin Jang , Taesoo Kim , and Mayur Naik . 2016 . APISan: Sanitizing API Usages through Semantic Cross-Checking . In 25th USENIX Security Symposium, USENIX Security 16 , Austin, TX, USA, August10--12 ,2016, Thorsten Holz and Stefan Savage (Eds.). USENIX Association, 363--378. https:\/\/www.usenix.org\/conference\/usenixsecurity16\/technical-sessions\/presentation\/yun Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, and Mayur Naik. 2016. APISan: Sanitizing API Usages through Semantic Cross-Checking. In 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August10--12,2016, Thorsten Holz and Stefan Savage (Eds.). USENIX Association, 363--378. https:\/\/www.usenix.org\/conference\/usenixsecurity16\/technical-sessions\/presentation\/yun"},{"key":"e_1_3_2_2_53_1","volume-title":"Efficiently mining frequent trees in a forest: Algorithms and applications","author":"Zaki Mohammed Javeed","year":"2005","unstructured":"Mohammed Javeed Zaki . 2005. Efficiently mining frequent trees in a forest: Algorithms and applications . IEEE transactions on knowledge and data engineering 17, 8 ( 2005 ), 1021--1035. Mohammed Javeed Zaki. 2005. Efficiently mining frequent trees in a forest: Algorithms and applications. IEEE transactions on knowledge and data engineering 17, 8 (2005), 1021--1035."},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.94"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23034"},{"key":"e_1_3_2_2_56_1","unstructured":"2019. gensim. https:\/\/radimrehurek.com\/gensim\/. (2019).  2019. gensim. https:\/\/radimrehurek.com\/gensim\/. (2019)."}],"event":{"name":"CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security","location":"Virtual Event USA","acronym":"CCS '20","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372297.3423360","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372297.3423360","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:20Z","timestamp":1750197740000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372297.3423360"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,30]]},"references-count":56,"alternative-id":["10.1145\/3372297.3423360","10.1145\/3372297"],"URL":"https:\/\/doi.org\/10.1145\/3372297.3423360","relation":{},"subject":[],"published":{"date-parts":[[2020,10,30]]},"assertion":[{"value":"2020-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}