{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T07:32:19Z","timestamp":1775633539823,"version":"3.50.1"},"reference-count":163,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1723765"],"award-info":[{"award-number":["1723765"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1821560"],"award-info":[{"award-number":["1821560"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/access.2024.3401623","type":"journal-article","created":{"date-parts":[[2024,5,15]],"date-time":"2024-05-15T17:39:58Z","timestamp":1715794798000},"page":"70870-70910","source":"Crossref","is-referenced-by-count":26,"title":["A Survey of Vulnerability Detection Techniques by Smart Contract Tools"],"prefix":"10.1109","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2535-5206","authenticated-orcid":false,"given":"Zulfiqar Ali","family":"Khan","sequence":"first","affiliation":[{"name":"Computer Science Department, Texas Tech University, Lubbock, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1646-7495","authenticated-orcid":false,"given":"Akbar Siami","family":"Namin","sequence":"additional","affiliation":[{"name":"Computer Science Department, Texas Tech University, Lubbock, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Ethereum Classic Hit By 3rd 51% Attack in a Month.","author":"Voell","year":"2021"},{"key":"ref2","volume-title":"Blockchain Risks Every Cio Should Know","year":"2021"},{"key":"ref3","volume-title":"How Crypto Giant Binance Became a Hub for Hackers, Fraudsters and Drug Traffickers","author":"Berwick","year":"2022"},{"key":"ref4","volume-title":"Pakistan to Investigate Crypto Exchange Binance in an Alleged $100 Million Scam","author":"Mirza","year":"2022"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385990"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/BigData52589.2021.9671299"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DSN58367.2023.00015"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TNSE.2022.3199990"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TNSE.2023.3260880"},{"key":"ref10","first-page":"65","article-title":"ReGuard: Finding reentrancy bugs in smart contracts","volume-title":"Proc. IEEE\/ACM40th Int. Conf. Softw. Eng., Companion (ICSE-Companion)","author":"Liu"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC53868.2021.00034"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"ref13","first-page":"1327","article-title":"Cycle detection in signature images","author":"Khan","year":"2013","journal-title":"Int. J. Sci. Eng. Res."},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.15760\/etd.7313","volume-title":"Smart Contract Vulnerabilities on the Ethereum Blockchain: A Current Perspective","author":"Connelly","year":"2020"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2023.110542"},{"key":"ref16","volume-title":"Deprecated\/Historical"},{"key":"ref17","volume-title":"8 Most Common Smart Contract Vulnerabilities"},{"key":"ref18","volume-title":"Smart Contract Shadowing State Variable Vulnerability","author":"Oualid","year":"2022"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1155\/2023\/9212269"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.bcra.2022.100067"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3389\/fbloc.2022.814977"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/BigData50022.2020.9439088"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.3390\/app13031733"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CSF57540.2023.00023"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2023.3237370"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3141396"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/compsac57700.2023.00165"},{"key":"ref29","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. (ASE)","author":"Xue"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330560"},{"key":"ref31","article-title":"Precise attack synthesis for smart contracts","author":"Feng","year":"2019","journal-title":"arXiv:1902.06067"},{"issue":"3","key":"ref32","first-page":"1","article-title":"A survey on smart contract vulnerabilities and safeguards in blockchain","volume":"10","author":"Pise","year":"2022","journal-title":"Int. J. Intell. Syst. Appl. Eng."},{"key":"ref33","article-title":"Pre-deployment analysis of smart contracts\u2014A survey","author":"Munir","year":"2023"},{"key":"ref34","article-title":"Security analysis methods on Ethereum smart contract vulnerabilities: A survey","author":"Praitheeshan","year":"2019","journal-title":"arXiv:1908.08605"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3593293"},{"key":"ref36","article-title":"Vandal: A scalable security analysis framework for smart contracts","author":"Brent","year":"2018","journal-title":"arXiv:1809.03981"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00009"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3158136"},{"key":"ref39","volume-title":"The Problem With Solidity","author":"Potter","year":"2018"},{"key":"ref40","article-title":"Blockchain testing: Challenges, techniques, and research directions","author":"Lal","year":"2021","journal-title":"arXiv:2103.10074"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3464421"},{"key":"ref42","article-title":"Systematic review of Ethereum smart contract security vulnerabilities, analysis methods and tools","author":"Rameder","year":"2021"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3091317"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2911031"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/DAPPCON.2019.00018"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICISCAE51034.2020.9236931"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3169902"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.3390\/e22020203"},{"key":"ref49","volume-title":"Ethereum Smart Contract Ponzi Schemes","author":"Roan","year":"2020"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3298048"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"ref52","first-page":"9","article-title":"SmartCheck: Static analysis of Ethereum smart contracts","volume-title":"Proc. IEEE\/ACM 1st Int. Workshop Emerg. Trends Softw. Eng. Blockchain (WETSEB)","author":"Tikhomirov"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3428277"},{"key":"ref54","article-title":"Sereum: Protecting existing smart contracts against re-entrancy attacks","author":"Rodler","year":"2018","journal-title":"arXiv:1812.05934"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89722-6_11"},{"key":"ref56","first-page":"1317","article-title":"teEther: Gnawing at Ethereum to automatically exploit smart contracts","volume-title":"Proc. 27th USENIX Secur. Symp.","author":"Krupp"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"ref58","article-title":"sCompile: Critical path identification and analysis for smart contracts","author":"Chang","year":"2018","journal-title":"arXiv:1808.00624"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC51069.2021.9461148"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.3390\/electronics11233892"},{"key":"ref62","first-page":"1349","article-title":"SmartBugs: A framework to analyze solidity smart contracts","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng. (ASE)","author":"Ferreira"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-48806-1_28"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2024.3383422"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W58399.2023.00025"},{"key":"ref66","volume-title":"Introduction to Program Synthesis","author":"Solar-Lezama","year":"2022"},{"key":"ref67","volume-title":"Model Checking","year":"2022"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23534-9_2"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03077-7_20"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32101-7_27"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00032"},{"key":"ref73","first-page":"103","article-title":"A comparison of element-based and path-based approaches to indexing xml data","volume":"176","author":"Kr\u00e1tk\u00fd","year":"2006","journal-title":"Databases, Texts"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref76","volume-title":"Securify 2.0","author":"Tsankov","year":"2020"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"ref78","volume-title":"Taint Analysis (Taint Checking)","year":"2021"},{"key":"ref79","volume-title":"Xpath Rules","author":"Ryan","year":"2003"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00022"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_33"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/2692915.2628143"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/2030256.2038036"},{"key":"ref84","article-title":"Comparison of two theorem provers: Isabelle\/HOL and Coq","author":"Yushkovskiy","year":"2018","journal-title":"arXiv:1808.09701"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884650"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03427-6_33"},{"key":"ref87","article-title":"Ethertrust: Sound static analysis of Ethereum bytecode","author":"Grishchenko","year":"2018"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00120"},{"key":"ref90","article-title":"Dappguard: Active monitoring and defense for solidity smart contracts","author":"Cook","year":"2017"},{"key":"ref91","volume-title":"Invariant (Mathematics)","year":"2020"},{"key":"ref92","first-page":"789","article-title":"Targeted greybox fuzzing with static lookahead analysis","volume-title":"Proc. IEEE\/ACM 42nd Int. Conf. Softw. Eng. (ICSE)","author":"W\u00fcstholz"},{"key":"ref93","volume-title":"Fuzzing: Why T14 and T19 Unreachable and T19 Reachable","year":"2021"},{"key":"ref94","volume-title":"Has \u2019Bal\u2019 Got Deprecated","year":"2023"},{"issue":"6","key":"ref95","first-page":"231","article-title":"Dynamic taint analysis tools: A review","volume":"13","author":"Alashjaee","year":"2019","journal-title":"Int. J. Comput. Sci. Secur."},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP51992.2021.00018"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref98","first-page":"778","article-title":"sFuzz: An efficient adaptive fuzzer for solidity smart contracts","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"Nguyen"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00029"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1002\/nem.2163"},{"key":"ref101","article-title":"NEUZZ: Efficient fuzzing with neural program learning","author":"She","year":"2018","journal-title":"arXiv:1807.05620"},{"key":"ref102","volume-title":"Happened-Before","year":"2021"},{"key":"ref103","volume-title":"What Is, \u201cPartial Order Reduction\u2019 As Discussed In: Exploiting the Laws of Order in Smart Contracts","year":"2022"},{"key":"ref104","volume-title":"Understanding Checking Account Overdraft Protection and Fees","author":"Payne","year":"2021"},{"key":"ref105","article-title":"Smashing Ethereum smart contracts for fun and real profit","volume-title":"Proc. 9th Annu. HITB Secur. Conf.","author":"Mueller"},{"key":"ref106","volume-title":"Information Regarding Laser and Ethereum","author":"Hackeerrrr","year":"2020"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3351736"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1109\/BigData59044.2023.10386471"},{"key":"ref109","volume-title":"How Smart Contract Versioning Work With Compiler","author":"Chadokar","year":"2018"},{"key":"ref110","volume-title":"American Fuzzy Lop (AFL)","year":"2021"},{"key":"ref111","volume-title":"An Introduction To LLVM Libfuzzer","author":"Frankowicz","year":"2020"},{"key":"ref112","volume-title":"LLVM","year":"2019"},{"key":"ref113","article-title":"An introduction to LLVMlibfuzzer","author":"Frankowicz","year":"2020"},{"key":"ref114","volume-title":"Who is Msg. Sender in a Nested Call Chain","author":"Paul Razvan Berg","year":"2019"},{"key":"ref115","volume-title":"Send Vs Call Differences and When to Use and When Not to Use","author":"Darby","year":"2018"},{"key":"ref116","volume-title":"Who is Msg. Sender in a Nested Call Chain","author":"Berg","year":"2020"},{"key":"ref117","volume-title":"Symbolic Execution"},{"key":"ref118","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510185"},{"key":"ref119","volume-title":"What is the Purpose of Iszero","year":"2023"},{"key":"ref120","volume-title":"Difference Between Timestamp and Block. timestamp","year":"2023"},{"key":"ref121","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC54236.2022.00197"},{"key":"ref122","volume-title":"Fixedpoints","year":"2023"},{"key":"ref123","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454055"},{"key":"ref124","volume-title":"Protect Your Solidity Smart Contracts From Reentrancy Attacks","author":"Shahda","year":"2019"},{"key":"ref125","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53357-4_6"},{"key":"ref126","volume-title":"Control Structures-Why is Switch and Goto Not in Solidity","author":"Quint","year":"2017"},{"key":"ref127","volume-title":"How Are Ethereum Bytecode Jumps and Jumpdests Resolved","author":"Rob","year":"2017"},{"key":"ref128","volume-title":"Formal Verification"},{"key":"ref129","volume-title":"Abstract Interpretation","author":"Rosendahl"},{"key":"ref130","volume-title":"Seahorn Founders","year":"2018"},{"key":"ref131","volume-title":"What is a Monad","year":"2015"},{"key":"ref132","volume-title":"What\u2019s a Monad","year":"2022"},{"key":"ref133","volume-title":"Insufficient Gas Griefing","author":"Kaden","year":"2023"},{"key":"ref134","volume-title":"Provable Fair Ransom","author":"Marx","year":"2019"},{"key":"ref135","doi-asserted-by":"publisher","DOI":"10.1109\/sp40000.2020.00066"},{"key":"ref136","volume-title":"Solidity Global Variables"},{"key":"ref137","volume-title":"Mythril Detection Capabilities","author":"Bernstein","year":"2018"},{"key":"ref138","volume-title":"Detection of Same Funtion Reentrancy Vulnerability","year":"2015"},{"key":"ref139","volume-title":"Forensics of Attacks and Exploits in Defi","author":"Hon","year":"2022"},{"key":"ref140","volume-title":"Dataflow Analysis, Iterative Data-flow Analysis and Static-Single-Assignment"},{"key":"ref141","volume-title":"Integer Overflow","year":"2023"},{"key":"ref142","first-page":"67","article-title":"Dynamic test generation to find integer bugs in x86 binary Linux programs","volume-title":"Proc. 18th Conf. USENIX Secur. Symp.","author":"Molnar"},{"key":"ref143","volume-title":"Smashing Ethereum Smart Contracts for Fun and Real Profit","author":"Mueller","year":"2018"},{"key":"ref144","volume-title":"Laser Ethereum","author":"Mueller","year":"2018"},{"key":"ref145","volume-title":"How to Find Vulnerability in Smart Contracts Unexpected Ether","author":"Chauhan","year":"2022"},{"key":"ref146","volume-title":"Runtime Verification","year":"2021"},{"key":"ref147","volume-title":"Reentrancy Attack, on a Smart Contract","author":"Wesley","year":"2017"},{"key":"ref148","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-24950-1_7"},{"key":"ref149","doi-asserted-by":"publisher","DOI":"10.14445\/22312803\/IJCTT-V61P119"},{"key":"ref150","volume-title":"What is Shadow Memory? Complete Guide"},{"key":"ref151","volume-title":"Hevm","year":"2020"},{"key":"ref152","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397385"},{"key":"ref153","volume-title":"Developing Contraol Flow Graph for Solidity Smart Contracts in C\/c++ Language","year":"2021"},{"key":"ref154","volume-title":"How to Create a Tool for Detecting Evm Vulnerabilities","year":"2021"},{"key":"ref155","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00182"},{"key":"ref156","article-title":"Empirical vulnerability analysis of automated smart contracts security testing on blockchains","author":"Parizi","year":"2018","journal-title":"arXiv:1809.02702"},{"key":"ref157","article-title":"Comparison of static analysis tooling for smart contracts on the EVM","volume-title":"Proc. 28th Twente Student Conf. (IT)","author":"Fontein"},{"key":"ref158","article-title":"Smart contract vulnerabilities: Does anyone care?","author":"P\u00e9rez","year":"2019","journal-title":"arXiv:1902.06710"},{"key":"ref159","doi-asserted-by":"publisher","DOI":"10.3390\/cryptography7010015"},{"key":"ref160","volume-title":"The Encyclopedia of Smart Contract Attacks and Vulnerabilities.","author":"Zipfel","year":"2019"},{"key":"ref161","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2940551"},{"key":"ref162","volume-title":"The First Self-mining Smart Contract","author":"Chain"},{"key":"ref163","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-50995-8_2"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/6287639\/10380310\/10530990-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/10380310\/10530990.pdf?arnumber=10530990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,24]],"date-time":"2024-05-24T17:27:15Z","timestamp":1716571635000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10530990\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":163,"URL":"https:\/\/doi.org\/10.1109\/access.2024.3401623","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]}}}