{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:38:33Z","timestamp":1770291513085,"version":"3.49.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T00:00:00Z","timestamp":1710288000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T00:00:00Z","timestamp":1710288000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100007129","name":"Natural Science Foundation of Shandong Province","doi-asserted-by":"publisher","award":["ZR2019MF034"],"award-info":[{"award-number":["ZR2019MF034"]}],"id":[{"id":"10.13039\/501100007129","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007129","name":"Natural Science Foundation of Shandong Province","doi-asserted-by":"publisher","award":["ZR2019MF034"],"award-info":[{"award-number":["ZR2019MF034"]}],"id":[{"id":"10.13039\/501100007129","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007129","name":"Natural Science Foundation of Shandong Province","doi-asserted-by":"publisher","award":["ZR2019MF034"],"award-info":[{"award-number":["ZR2019MF034"]}],"id":[{"id":"10.13039\/501100007129","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007129","name":"Natural Science Foundation of Shandong Province","doi-asserted-by":"publisher","award":["ZR2019MF034"],"award-info":[{"award-number":["ZR2019MF034"]}],"id":[{"id":"10.13039\/501100007129","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62111530052"],"award-info":[{"award-number":["62111530052"]}],"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":["62111530052"],"award-info":[{"award-number":["62111530052"]}],"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":["62111530052"],"award-info":[{"award-number":["62111530052"]}],"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":["62111530052"],"award-info":[{"award-number":["62111530052"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2024,7]]},"DOI":"10.1007\/s11227-024-05954-9","type":"journal-article","created":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T08:32:07Z","timestamp":1710318727000},"page":"13949-13975","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Ethchecker: a context-guided fuzzing for smart contracts"],"prefix":"10.1007","volume":"80","author":[{"given":"Qiang","family":"Han","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haoyu","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leyi","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danxin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,13]]},"reference":[{"key":"5954_CR1","unstructured":"Szabo N.: Smart Contracts. Accessed on 23 Jan 2024. Available from: https:\/\/www.fon.hum.uva.nl\/rob\/Courses\/InformationInSpeech\/CDROM\/Literature\/LOTwinterschool2006\/szabo.best.vwh.net\/smart.contracts.html"},{"key":"5954_CR2","unstructured":"Buterin V et\u00a0al (2014) A next-generation smart contract and decentralized application platform. white paper. 3(37):2\u20131"},{"key":"5954_CR3","doi-asserted-by":"crossref","unstructured":"Liu C, Liu H, Cao Z, Chen Z, Chen B, Roscoe B (2018) Reguard: finding reentrancy bugs in smart contracts. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, pp 65\u201368","DOI":"10.1145\/3183440.3183495"},{"key":"5954_CR4","unstructured":"Krupp J, Rossow C (2018) Teether: gnawing at ethereum to automatically exploit smart contracts. In: Proceedings of the 27th USENIX Conference on Security Symposium, pp 1317\u20131333"},{"key":"5954_CR5","doi-asserted-by":"crossref","unstructured":"Jiang B, Liu Y, Chan WK (2018) Contractfuzzer: Fuzzing smart contracts for vulnerability detection. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, pp 259\u2013269","DOI":"10.1145\/3238147.3238177"},{"key":"5954_CR6","doi-asserted-by":"crossref","unstructured":"Zheng P, Zheng Z, Luo X (2022) Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution. In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, pp 740\u2013751","DOI":"10.1145\/3533767.3534395"},{"key":"5954_CR7","doi-asserted-by":"crossref","unstructured":"Bose P, Das D, Chen Y, Feng Y, Kruegel C, Vigna G (2022) Sailfish: vetting smart contract state-inconsistency bugs in seconds. In: IEEE Symposium on Security and Privacy (SP). IEEE 2022:161\u2013178","DOI":"10.1109\/SP46214.2022.9833721"},{"key":"5954_CR8","doi-asserted-by":"crossref","unstructured":"Miao S, Wang J, Zhang C, Lin Z, Gong J, Zhang X, et al (2022) Deep learning in fuzzing: a literature survey. In: 2022 IEEE 2nd International Conference on Electronic Technology, Communication and Information (ICETCI). IEEE. pp 220\u2013223","DOI":"10.1109\/ICETCI55101.2022.9832143"},{"key":"5954_CR9","unstructured":"Zhang C, Lin X, Li Y, Xue Y, Xie J, Chen H, et al (2021) APICraft: fuzz driver generation for closed-source SDK libraries. In: USENIX Security Symposium, pp 2811\u20132828"},{"key":"5954_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2022\/2031924","volume":"2022","author":"Z Liu","year":"2022","unstructured":"Liu Z, Fang Y, Huang C, Xu Y (2022) GAXSS: effective payload generation method to detect XSS vulnerabilities based on genetic algorithm. Secur Commun Netw 2022:1\u201315. https:\/\/doi.org\/10.1155\/2022\/2031924","journal-title":"Secur Commun Netw"},{"key":"5954_CR11","doi-asserted-by":"crossref","unstructured":"Olsthoorn M, Stallenberg D, Van\u00a0Deursen A, Panichella A (2022) SynTest-solidity: automated test case generation and fuzzing for smart contracts. In: Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceeding, pp 202\u2013206","DOI":"10.1145\/3510454.3516869"},{"issue":"4","key":"5954_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3532184","volume":"25","author":"W Blair","year":"2022","unstructured":"Blair W, Mambretti A, Arshad S, Weissbacher M, Robertson W, Kirda E et al (2022) HotFuzz: discovering temporal and spatial denial-of-service vulnerabilities through guided micro-fuzzing. ACM Trans Privacy Secur 25(4):1\u201335. https:\/\/doi.org\/10.1145\/3532184","journal-title":"ACM Trans Privacy Secur"},{"key":"5954_CR13","unstructured":"Chen H, Guo S, Xue Y, Sui Y, Zhang C, Li Y, et al (2020) MUZZ: thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs. In: 29th USENIX Security Symposium (USENIX Security 20), pp 2325\u20132342"},{"key":"5954_CR14","unstructured":"Li W, Ruan J, Yi G, Cheng L, Luo X, Cai H (2023) PolyFuzz: holistic greybox fuzzing of multi-language systems. In: 32nd USENIX Security Symposium (USENIX Security 23), pp 1379\u20131396"},{"key":"5954_CR15","unstructured":"Kim TE, Choi J, Heo K, Cha SK (2023) DAFL: directed grey-box fuzzing guided by data dependency. In: 32nd USENIX Security Symposium (USENIX Security 23), pp 4931\u20134948"},{"key":"5954_CR16","doi-asserted-by":"crossref","unstructured":"Vikram V, Laybourn I, Li A, Nair N, OBrien K, Sanna R, et\u00a0al (2023) Guiding greybox fuzzing with mutation testing. In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 929\u2013941","DOI":"10.1145\/3597926.3598107"},{"key":"5954_CR17","doi-asserted-by":"crossref","unstructured":"Nguyen TD, Pham LH, Sun J, Lin Y, Minh QT (2020) sfuzz: an efficient adaptive fuzzer for solidity smart contracts. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, pp 778\u2013788","DOI":"10.1145\/3377811.3380334"},{"key":"5954_CR18","doi-asserted-by":"crossref","unstructured":"W\u00fcstholz V, Christakis M. Harvey (2020) A greybox fuzzer for smart contracts. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp 1398\u20131409","DOI":"10.1145\/3368089.3417064"},{"key":"5954_CR19","doi-asserted-by":"publisher","unstructured":"Zhang J, Zhang C, Xuan J, Xiong Y, Wang Q, Liang B, et\u00a0al (2019) Recent progress in program analysis. J Softw 30(1):80\u2013109. https:\/\/doi.org\/10.13328\/j.cnki.jos.005651","DOI":"10.13328\/j.cnki.jos.005651"},{"issue":"3","key":"5954_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3182657","volume":"51","author":"R Baldoni","year":"2018","unstructured":"Baldoni R, Coppa E, D\u2019elia DC, Demetrescu C, Finocchi I (2018) A survey of symbolic execution techniques. ACM Comput Surv 51(3):1\u201339. https:\/\/doi.org\/10.1145\/3182657","journal-title":"ACM Comput Surv"},{"key":"5954_CR21","doi-asserted-by":"crossref","unstructured":"Luu L, Chu DH, Olickel H, Saxena P, Hobor A (2016) Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp 254\u2013269","DOI":"10.1145\/2976749.2978309"},{"key":"5954_CR22","unstructured":"Mueller B (2018) Smashing ethereum smart contracts for fun and real profit. HITB SECCONF Amsterdam. 9:54"},{"key":"5954_CR23","doi-asserted-by":"crossref","unstructured":"Mossberg M, Manzano F, Hennenfent E, Groce A, Grieco G, Feist J, et\u00a0al. (2019)Manticore: a user-friendly symbolic execution framework for binaries and smart contracts. In: 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, pp 1186\u20131189","DOI":"10.1109\/ASE.2019.00133"},{"key":"5954_CR24","unstructured":"Bonnet F (2024) MoxyOneCrowdsale. Accessed on 23 Jan 2024. Available from: https:\/\/etherscan.io\/address\/0x6b609d9095d069c805650234ab67595b3a6ab934#code"},{"key":"5954_CR25","doi-asserted-by":"crossref","unstructured":"Torres CF, Iannillo AK, Gervais A, State R (2021) Confuzzius: a data dependency-aware hybrid fuzzer for smart contracts. In: IEEE European Symposium on Security and Privacy (EuroS &P). IEEE 2021, pp 103\u2013119","DOI":"10.1109\/EuroSP51992.2021.00018"},{"key":"5954_CR26","doi-asserted-by":"crossref","unstructured":"Stephens N, Grosen J, Salls C, Dutcher A, Wang R, Corbetta J, et\u00a0al (2016) Driller: augmenting fuzzing through selective symbolic execution. In: NDSS. 16, 1\u201316","DOI":"10.14722\/ndss.2016.23368"},{"key":"5954_CR27","doi-asserted-by":"crossref","unstructured":"Li Y, Xue Y, Chen H, Wu X, Zhang C, Xie X, et\u00a0al (2019) Cerebro: context-aware adaptive fuzzing for effective vulnerability detection. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp 533\u2013544","DOI":"10.1145\/3338906.3338975"},{"issue":"6","key":"5954_CR28","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/MS.2016.147","volume":"33","author":"C Ebert","year":"2016","unstructured":"Ebert C, Cain J, Antoniol G, Counsell S, Laplante P (2016) Cyclomatic complexity. IEEE Softw 33(6):27\u201329. https:\/\/doi.org\/10.1109\/MS.2016.147","journal-title":"IEEE Softw"},{"key":"5954_CR29","doi-asserted-by":"crossref","unstructured":"Heged\u0171s P ( 2018) Towards analyzing the complexity landscape of solidity based ethereum smart contracts. In: Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain, pp 35\u201339","DOI":"10.1145\/3194113.3194119"},{"key":"5954_CR30","doi-asserted-by":"crossref","unstructured":"Yu S, Zhou SA (2010) Survey on metric of software complexity. In: 2nd IEEE International Conference on Information Management and Engineering. IEEE 2010, pp 352\u2013356","DOI":"10.1109\/ICIME.2010.5477581"},{"key":"5954_CR31","doi-asserted-by":"crossref","unstructured":"Ren M, Yin Z, Ma F, Xu Z, Jiang Y, Sun C, et\u00a0al (2021) Empirical evaluation of smart contract testing: What is the best choice? In: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp 566\u2013579","DOI":"10.1145\/3460319.3464837"},{"key":"5954_CR32","unstructured":"Labs S (2014) Awesome-buggy-erc20-tokens. Accessed on 23 Jan 2024. Available from: https:\/\/github.com\/sec-bit\/awesome-buggy-erc20-tokens\/tree\/master"},{"key":"5954_CR33","unstructured":"Etherscan.: Etherscan. Accessed on 23 Dec 2022. Available from: https:\/\/etherscan.io\/contractsVerified"},{"key":"5954_CR34","unstructured":"Research M (2024) Z3 Theorem Prover. Accessed on 23 Jan 2024. Available from: https:\/\/github.com\/Z3Prover\/z3"},{"key":"5954_CR35","doi-asserted-by":"crossref","unstructured":"Torres CF, Sch\u00fctte J, State R (2018) Osiris: hunting for integer bugs in ethereum smart contracts. In: Proceedings of the 34th Annual Computer Security Applications Conference, pp 664\u2013676","DOI":"10.1145\/3274694.3274737"},{"key":"5954_CR36","unstructured":"So S, Hong S, Oh H (2021) SmarTest: effectively hunting vulnerable transaction sequences in smart contracts through language model-guided symbolic execution. In: USENIX Security Symposium, pp 1361\u20131378"},{"issue":"1","key":"5954_CR37","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1109\/TDSC.2022.3141396","volume":"20","author":"L Jin","year":"2022","unstructured":"Jin L, Cao Y, Chen Y, Zhang D, Campanoni S (2022) Exgen: cross-platform, automated exploit generation for smart contract vulnerabilities. IEEE Trans Dependable Secure Comput 20(1):650\u2013664. https:\/\/doi.org\/10.1109\/TDSC.2022.3141396","journal-title":"IEEE Trans Dependable Secure Comput"},{"key":"5954_CR38","doi-asserted-by":"crossref","unstructured":"Zhou T, Liu K, Li L, Liu Z, Klein J, Bissyand\u00e9 TF (2021) SmartGift: learning to generate practical inputs for testing smart contracts. In: 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, pp 23\u201334","DOI":"10.1109\/ICSME52107.2021.00009"},{"key":"5954_CR39","doi-asserted-by":"crossref","unstructured":"Shou C, Tan S, Sen K (2023) Ityfuzz: snapshot-based fuzzer for smart contract. In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, pp 322\u2013333","DOI":"10.1145\/3597926.3598059"},{"key":"5954_CR40","doi-asserted-by":"crossref","unstructured":"Rodler M, PaaSSen D, Li W, Bernhard L, Holz T, Karame G, et\u00a0al (2023) EF\/CF: high performance smart contract fuzzing for exploit generation. In: IEEE European Symposium on Security and Privacy (EuroS &P), pp 449\u2013471","DOI":"10.1109\/EuroSP57164.2023.00034"},{"key":"5954_CR41","doi-asserted-by":"crossref","unstructured":"Zhang M, Zhang P, Luo X, Xiao F (2020) Source code obfuscation for smart contracts. In: 2020 27th Asia-Pacific Software Engineering Conference (APSEC), pp 513\u2013514","DOI":"10.1109\/APSEC51365.2020.00069"},{"key":"5954_CR42","doi-asserted-by":"crossref","unstructured":"Yu Q, Zhang P, Dong H, Xiao Y, Ji S (2022) Bytecode obfuscation for smart contracts. In: 2022 29th Asia-Pacific Software Engineering Conference (APSEC), pp 566\u2013567","DOI":"10.1109\/APSEC57359.2022.00083"},{"issue":"9","key":"5954_CR43","doi-asserted-by":"publisher","first-page":"4456","DOI":"10.1109\/TSE.2023.3298609","volume":"49","author":"P Zhang","year":"2023","unstructured":"Zhang P, Yu Q, Xiao Y, Dong H, Luo X, Wang X et al (2023) BiAn: smart contract source code obfuscation. IEEE Trans Softw Eng 49(9):4456\u20134476. https:\/\/doi.org\/10.1109\/TSE.2023.3298609","journal-title":"IEEE Trans Softw Eng"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-024-05954-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-024-05954-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-024-05954-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T11:15:54Z","timestamp":1718018154000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-024-05954-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,13]]},"references-count":43,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2024,7]]}},"alternative-id":["5954"],"URL":"https:\/\/doi.org\/10.1007\/s11227-024-05954-9","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3,13]]},"assertion":[{"value":"3 February 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 March 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval"}}]}}