{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,20]],"date-time":"2026-10-20T16:46:48Z","timestamp":1792514808639,"version":"4.5.0"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62302534"],"award-info":[{"award-number":["62302534"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62332004"],"award-info":[{"award-number":["62332004"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Major Key Project of Peng Cheng Laboratory","award":["PCL2023A05-2"],"award-info":[{"award-number":["PCL2023A05-2"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2025,1]]},"DOI":"10.1109\/tse.2024.3427321","type":"journal-article","created":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T17:38:02Z","timestamp":1720805882000},"page":"1-13","source":"Crossref","is-referenced-by-count":20,"title":["Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-1439-2989","authenticated-orcid":false,"given":"Zexu","family":"Wang","sequence":"first","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0192-9992","authenticated-orcid":false,"given":"Jiachi","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4897-9276","authenticated-orcid":false,"given":"Peilin","family":"Zheng","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2040-5059","authenticated-orcid":false,"given":"Yu","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Harbin Institute of Technology, Harbin, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4783-876X","authenticated-orcid":false,"given":"Weizhe","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Harbin Institute of Technology, Harbin, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7872-7718","authenticated-orcid":false,"given":"Zibin","family":"Zheng","sequence":"additional","affiliation":[{"name":"School of Software Engineering, Sun Yat-sen University, Zhuhai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Web3 industry security report","volume-title":"PeckShield","year":"2024"},{"key":"ref2","article-title":"2022-Blockchain-Security-and-AML-Analysis-Annual-Report(EN)","year":"2023"},{"issue":"2014","key":"ref3","first-page":"1","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume":"151","author":"Wood","year":"2014","journal-title":"Ethereum Project Yellow Paper"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.12.019"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2989002"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"778","DOI":"10.1145\/3377811.3380334","article-title":"sFuzz: An efficient adaptive fuzzer for solidity smart contracts","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"Nguyen","year":"2020"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00032"},{"key":"ref8","article-title":"Smartbugs wild dataset","year":"2024"},{"key":"ref9","article-title":"Mythril","year":"2024"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref11","first-page":"1029","article-title":"Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Xue","year":"2020"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/3194113.3194115","article-title":"SmartCheck: Static analysis of ethereum smart contracts","volume-title":"Proc. 1st Int. Workshop Emerging Trends Softw. Eng. Blockchain","author":"Tikhomirov","year":"2018"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3117966"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534222"},{"key":"ref17","first-page":"3273","article-title":"StateFuzz: System call-basedstate-aware Linux driver fuzzing","volume-title":"Proc. 31st USENIX Secur. Symp. (USENIX Secur. 22)","author":"Zhao","year":"2022"},{"key":"ref18","article-title":"Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries","author":"Parvez","year":"2016"},{"key":"ref19","first-page":"1361","article-title":"SmarTest: Effectively hunting vulnerable transaction sequences in smart contracts through language model-guided symbolic execution","volume-title":"Proc. 30th USENIX Secur. Symp. (USENIX Secur. 21)","author":"So","year":"2021"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2771284.2771285"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref22","first-page":"1029","article-title":"Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Xue","year":"2020"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2019.00052"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC52881.2021.00021"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417250"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560429"},{"key":"ref28","volume-title":"Introduction to Static Analysis: An Abstract Interpretation Perspective","author":"Rival","year":"2020"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"ref30","first-page":"1317","article-title":"teEther: Gnawing at ethereum to automatically exploit smart contracts","volume-title":"Proc. 27th USENIX Secur. Symp. (USENIX Security 18)","author":"Krupp","year":"2018"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3442381.3449824"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534395"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2019.8870156"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3345664"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556928"},{"key":"ref38","article-title":"Smart contract dataset","year":"2024"},{"key":"ref39","article-title":"A block explorer for ethereum","year":"2024"},{"key":"ref40","article-title":"Ethereum IDE and tools for the web","year":"2024"},{"key":"ref41","article-title":"Ethereum","year":"2024"},{"key":"ref42","article-title":"Solidity compiler","year":"2024"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00036"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833721"},{"key":"ref46","first-page":"584","article-title":"\u00c6gis: Shielding vulnerable smart contracts against attacks","volume-title":"Proc. 15th ACM Asia Conf. Comput. Commun. Secur.","author":"C","year":"2020"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS51672.2020.00022"},{"key":"ref48","article-title":"Slither analyzer","author":"Feist","year":"2024"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417250"},{"key":"ref50","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1145\/3377811.3380364","article-title":"Empirical review of automated analysis tools on 47,587 ethereum smart contracts","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"Durieux","year":"2020"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP51992.2021.00018"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623321"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/10837580\/10596931.pdf?arnumber=10596931","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T19:54:49Z","timestamp":1736970889000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10596931\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1]]},"references-count":52,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tse.2024.3427321","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1]]}}}