{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T05:17:06Z","timestamp":1781327826500,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Union?s Horizon 2020 research and innovation program","award":["No. 833635"],"award-info":[{"award-number":["No. 833635"]}]},{"name":"Singapore Ministry of Education (MOE) Academic Research Fund (AcRF) Tier 1 grant","award":[""],"award-info":[{"award-number":[""]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3540250.3558927","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:46:22Z","timestamp":1668026782000},"page":"1736-1740","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["MANDO-GURU: vulnerability detection for smart contract source code by heterogeneous graph embeddings"],"prefix":"10.1145","author":[{"given":"Hoang H.","family":"Nguyen","sequence":"first","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nhat-Minh","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hong-Phuc","family":"Doan","sequence":"additional","affiliation":[{"name":"Hanoi University of Science and Technology, Vietnam"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zahra","family":"Ahmadi","sequence":"additional","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thanh-Nam","family":"Doan","sequence":"additional","affiliation":[{"name":"n.n., n.n."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lingxiao","family":"Jiang","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"APEXCHARTS.JS: Modern & Interactive Open-source Charts. https:\/\/apexcharts.com\/","year":"2022","unstructured":"ApexCharts. 2022. APEXCHARTS.JS: Modern & Interactive Open-source Charts. https:\/\/apexcharts.com\/"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3457337.3457841"},{"key":"e_1_3_2_1_3_1","volume-title":"Camil Demetrescu, and Irene Finocchi.","author":"Baldoni Roberto","year":"2018","unstructured":"Roberto Baldoni, Emilio Coppa, Daniele Cono D\u2019Elia, Camil Demetrescu, and Irene Finocchi. 2018. A Survey of Symbolic Execution Techniques. ACM Comput. Surv., 51, 3 (2018)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2021.106576"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3087402"},{"key":"e_1_3_2_1_6_1","unstructured":"Checkmarx. 2022. https:\/\/checkmarx.com\/"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3436877"},{"key":"e_1_3_2_1_8_1","volume-title":"24th ICECCS. 41\u201350.","author":"Cheng Xiao","unstructured":"Xiao Cheng, Haoyu Wang, Jiayi Hua, Miao Zhang, Guoai Xu, Li Yi, and Yulei Sui. 2019. Static detection of control-flow-related vulnerabilities using graph embedding. In 24th ICECCS. 41\u201350."},{"key":"e_1_3_2_1_9_1","unstructured":"ConsenSys. 2019. MythX Tech: Behind the Scenes of SmartContract Security Analysis. https:\/\/blog.mythx.io\/features\/mythx-tech-behind-the-scenes-of-smart-contract-analysis\/"},{"key":"e_1_3_2_1_10_1","unstructured":"Coverity. 2022. https:\/\/scan.coverity.com\/"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3097983.3098036"},{"key":"e_1_3_2_1_12_1","volume-title":"Empirical review of automated analysis tools on 47,587 ethereum smart contracts","author":"Durieux Thomas","unstructured":"Thomas Durieux, Jo\u00e3o F Ferreira, Rui Abreu, and Pedro Cruz. 2020. Empirical review of automated analysis tools on 47,587 ethereum smart contracts. In ACM\/IEEE 42nd ICSE. 530\u2013541."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_2_1_14_1","volume-title":"35th IEEE\/ACM ASE. 1349\u20131352.","author":"Ferreira Jo\u00e3o F","unstructured":"Jo\u00e3o F Ferreira, Pedro Cruz, Thomas Durieux, and Rui Abreu. 2020. SmartBugs: a framework to analyze solidity smart contracts. In 35th IEEE\/ACM ASE. 1349\u20131352."},{"key":"e_1_3_2_1_15_1","unstructured":"Flawfinder. 2022. https:\/\/dwheeler.com\/flawfinder\/"},{"key":"e_1_3_2_1_16_1","volume-title":"Checking smart contracts with structural code embedding","author":"Gao Zhipeng","unstructured":"Zhipeng Gao, Lingxiao Jiang, Xin Xia, David Lo, and John Grundy. 2020. Checking smart contracts with structural code embedding. IEEE TSE."},{"key":"e_1_3_2_1_17_1","volume-title":"29th ACM SIGSOFT ISSTA.","author":"Ghaleb Asem","unstructured":"Asem Ghaleb and Karthik Pattabiraman. 2020. How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection. In 29th ACM SIGSOFT ISSTA."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939754"},{"key":"e_1_3_2_1_19_1","volume-title":"KDD Workshop on Programming Language Processing.","author":"Jeon Sowon","year":"2021","unstructured":"Sowon Jeon, Gilhee Lee, Hyoungshick Kim, and Simon S Woo. 2021. SmartConDetect: Highly Accurate Smart Contract Code Vulnerability Detection Mechanism using BERT. In KDD Workshop on Programming Language Processing."},{"key":"e_1_3_2_1_20_1","unstructured":"Thomas N Kipf and Max Welling. 2016. Semi-supervised classification with graph convolutional networks. arXiv preprint arXiv:1609.02907."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468597"},{"key":"e_1_3_2_1_22_1","article-title":"VulDeeLocator: a deep learning-based fine-grained vulnerability detector","author":"Li Zhen","year":"2021","unstructured":"Zhen Li, Deqing Zou, Shouhuai Xu, Zhaoxuan Chen, Yawei Zhu, and Hai Jin. 2021. VulDeeLocator: a deep learning-based fine-grained vulnerability detector. IEEE Transactions on Dependable and Secure Computing.","journal-title":"IEEE Transactions on Dependable and Secure Computing."},{"key":"e_1_3_2_1_23_1","article-title":"SySeVR: A framework for using deep learning to detect software vulnerabilities","author":"Li Zhen","year":"2021","unstructured":"Zhen Li, Deqing Zou, Shouhuai Xu, Hai Jin, Yawei Zhu, and Zhaoxuan Chen. 2021. SySeVR: A framework for using deep learning to detect software vulnerabilities. IEEE Transactions on Dependable and Secure Computing.","journal-title":"IEEE Transactions on Dependable and Secure Computing."},{"key":"e_1_3_2_1_24_1","volume-title":"13th IJCAI. arXiv preprint arXiv:2106.09282.","author":"Liu Zhenguang","unstructured":"Zhenguang Liu, Peng Qian, Xiang Wang, Lei Zhu, Qinming He, and Shouling Ji. 2021. Smart Contract Vulnerability Detection: From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion. In 13th IJCAI. arXiv preprint arXiv:2106.09282."},{"key":"e_1_3_2_1_25_1","volume-title":"Combining graph neural networks with expert knowledge for smart contract vulnerability detection","author":"Liu Zhenguang","unstructured":"Zhenguang Liu, Peng Qian, Xiaoyang Wang, Yuan Zhuang, Lin Qiu, and Xun Wang. 2021. Combining graph neural networks with expert knowledge for smart contract vulnerability detection. IEEE TKDE."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_27_1","volume-title":"React: A JavaScript library for building user interfaces. https:\/\/reactjs.org\/","author":"Platforms Meta","year":"2022","unstructured":"Meta Platforms, Inc.. 2022. React: A JavaScript library for building user interfaces. https:\/\/reactjs.org\/"},{"key":"e_1_3_2_1_28_1","volume-title":"Manticore: A user-friendly symbolic execution framework for binaries and smart contracts. In 34th IEEE\/ACM ASE. 1186\u20131189.","author":"Mossberg Mark","year":"2019","unstructured":"Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, and Artem Dinaburg. 2019. Manticore: A user-friendly symbolic execution framework for binaries and smart contracts. In 34th IEEE\/ACM ASE. 1186\u20131189."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2208.13252"},{"key":"e_1_3_2_1_30_1","unstructured":"Sebasti\u00e1n Ram\u00edrez. 2022. FastAPI framework high performance easy to learn fast to code ready for production. https:\/\/fastapi.tiangolo.com\/"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLA.2018.00120"},{"key":"e_1_3_2_1_32_1","unstructured":"SonarQube. 2022. https:\/\/www.sonarqube.org\/"},{"key":"e_1_3_2_1_33_1","unstructured":"SpotBugs. 2022. https:\/\/spotbugs.github.io\/"},{"key":"e_1_3_2_1_34_1","volume-title":"Smart Contracts: Building Blocks for Digital Markets.","author":"Szabo Nick","year":"1994","unstructured":"Nick Szabo. 1994. Smart Contracts: Building Blocks for Digital Markets."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2736277.2741093"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_38_1","volume-title":"\u0141 ukasz Kaiser, and Illia Polosukhin","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, \u0141 ukasz Kaiser, and Illia Polosukhin. 2017. Attention is all you need. In Advances in neural information processing systems. 5998\u20136008."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Xiao Wang Houye Ji Chuan Shi Bai Wang Yanfang Ye Peng Cui and Philip S Yu. 2019. Heterogeneous graph attention network. In WWW. 2022\u20132032.","DOI":"10.1145\/3308558.3313562"},{"key":"e_1_3_2_1_40_1","volume-title":"Peculiar: Smart Contract Vulnerability Detection Based on Crucial Data Flow Graph and Pre-training Techniques. In the 32nd International Symposium on Software Reliability Engineering.","author":"Wu Hongjun","year":"2021","unstructured":"Hongjun Wu, Zhuo Zhang, Shangwen Wang, Yan Lei, Bo Lin, Yihao Qin, Haoyu Zhang, and Xiaoguang Mao. 2021. Peculiar: Smart Contract Vulnerability Detection Based on Crucial Data Flow Graph and Pre-training Techniques. In the 32nd International Symposium on Software Reliability Engineering."},{"key":"e_1_3_2_1_41_1","unstructured":"Yueming Wu Deqing Zou Shihan Dou Wei Yang Duo Xu and Hai Jin. 2022. VulCNN: An Image-inspired Scalable Vulnerability Detection System. In ICSE."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Kechi Zhang Wenhan Wang Huangzhao Zhang Ge Li and Zhi Jin. 2022. Learning to Represent Programs with Heterogeneous Graphs. In ICPC.","DOI":"10.1145\/3524610.3527905"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Hui Zhao Peng Su Yihang Wei Keke Gai and Meikang Qiu. 2021. GAN-Enabled Code Embedding for Reentrant Vulnerabilities Detection. In Knowledge Science Engineering and Management. 585\u2013597.","DOI":"10.1007\/978-3-030-82153-1_48"},{"key":"e_1_3_2_1_44_1","volume-title":"Devign: Effective vulnerability identification by learning comprehensive program semantics via graph neural networks. Advances in neural information processing systems, 32","author":"Zhou Yaqin","year":"2019","unstructured":"Yaqin Zhou, Shangqing Liu, Jingkai Siow, Xiaoning Du, and Yang Liu. 2019. Devign: Effective vulnerability identification by learning comprehensive program semantics via graph neural networks. Advances in neural information processing systems, 32 (2019)."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Yuan Zhuang Zhenguang Liu Peng Qian Qi Liu Xiang Wang and Qinming He. 2020. Smart Contract Vulnerability Detection using Graph Neural Network. In IJCAI. 3283\u20133290.","DOI":"10.24963\/ijcai.2020\/454"}],"event":{"name":"ESEC\/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Singapore Singapore","acronym":"ESEC\/FSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"]},"container-title":["Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3558927","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3558927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:03Z","timestamp":1750182543000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3558927"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":45,"alternative-id":["10.1145\/3540250.3558927","10.1145\/3540250"],"URL":"https:\/\/doi.org\/10.1145\/3540250.3558927","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}