{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T15:28:43Z","timestamp":1781018923333,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T00:00:00Z","timestamp":1774224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,23]]},"DOI":"10.1145\/3748522.3779818","type":"proceedings-article","created":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:17:49Z","timestamp":1781014669000},"page":"455-464","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Evaluation of Smart Contract Tools for Comprehensive Vulnerability Detection and Optimal Integration"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-9405-9102","authenticated-orcid":false,"given":"Kentaro","family":"Sako","sequence":"first","affiliation":[{"name":"Deloitte Tohmatsu Cyber LLC, Waseda University, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4196-879X","authenticated-orcid":false,"given":"Daiki","family":"Ito","sequence":"additional","affiliation":[{"name":"Deloitte Tohmatsu Cyber LLC, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7205-5367","authenticated-orcid":false,"given":"Takuya","family":"Watanabe","sequence":"additional","affiliation":[{"name":"Deloitte Tohmatsu Cyber LLC, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2773-0659","authenticated-orcid":false,"given":"Yuta","family":"Takata","sequence":"additional","affiliation":[{"name":"R&D, Deloitte Tohmatsu Cyber LLC, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-1346-343X","authenticated-orcid":false,"given":"Hiroshi","family":"Kumagai","sequence":"additional","affiliation":[{"name":"Deloitte Tohmatsu Cyber LLC, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-9467-2412","authenticated-orcid":false,"given":"Masaki","family":"Kamizono","sequence":"additional","affiliation":[{"name":"Deloitte Tohmatsu Cyber LLC, Tokyo, Japan"},{"name":"Deloitte Tohmatsu Strategy Institute, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1583-4174","authenticated-orcid":false,"given":"Tatsuya","family":"Mori","sequence":"additional","affiliation":[{"name":"Waseda University, Tokyo, Japan"},{"name":"NICT, Tokyo, Japan"},{"name":"RIKEN AIP, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2025. SCT-benchmark. https:\/\/github.com\/DeloitteCyberSecurityLab\/SCT-benchmark."},{"key":"e_1_3_2_1_2_1","unstructured":"bit-smartcontract analysis. 2022. smartcontract-benchmark. https:\/\/github.com\/bit-smartcontract-analysis\/smartcontract-benchmark."},{"key":"e_1_3_2_1_3_1","volume-title":"Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?. In IEEE\/ACM ICSE.","author":"Stefanos","unstructured":"Stefanos Chaliasos et al. 2024. Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?. In IEEE\/ACM ICSE."},{"key":"e_1_3_2_1_4_1","unstructured":"ConsenSysDiligence. 2017. ConFuzzius Dataset. https:\/\/github.com\/christoftorres\/ConFuzzius\/tree\/master\/dataset\/curated."},{"key":"e_1_3_2_1_5_1","unstructured":"ConsenSysDiligence. 2017. Mythril. https:\/\/github.com\/ConsenSysDiligence\/mythril."},{"key":"e_1_3_2_1_6_1","unstructured":"ConsenSysDiligence. 2017. Mythril Dataset. https:\/\/github.com\/ConsenSysDiligence\/mythril\/tree\/develop\/tests\/testdata\/input_contracts."},{"key":"e_1_3_2_1_7_1","unstructured":"Crytic. 2017. Not so Smart Contracts. https:\/\/github.com\/crytic\/not-so-smart-contracts."},{"key":"e_1_3_2_1_8_1","unstructured":"Crytic. 2019. Slither Dataset. https:\/\/github.com\/crytic\/slither\/tree\/master\/tests\/e2e\/detectors\/test_data."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Josselin Feist et al. 2019. Slither: a static analysis framework for smart contracts. In IEEE\/ACM WETSEB.","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_2_1_10_1","unstructured":"Ncc Group. 2018. Decentralized Application Security Project Top 10. https:\/\/dasp.co\/."},{"key":"e_1_3_2_1_11_1","first-page":"3","article-title":"A Survey of Ethereum Smart Contract Security","volume":"3","author":"Tengyun Jiao","year":"2024","unstructured":"Tengyun Jiao et al. 2024. A Survey of Ethereum Smart Contract Security: Attacks and Detection. Distrib. Ledger Technol. 3, 3 (Sept. 2024).","journal-title":"Attacks and Detection. Distrib. Ledger Technol."},{"key":"e_1_3_2_1_12_1","unstructured":"Kaixuan Li et al. 2023. Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java. In ESEC\/FSE."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3660772"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Stephan Lipp et al. 2022. An empirical study on the effectiveness of static C code analyzers for vulnerability detection. In ACM ISSTA.","DOI":"10.1145\/3533767.3534380"},{"key":"e_1_3_2_1_15_1","volume-title":"Blockchain: Research and Applications","author":"Lodovica Marchesi","year":"2025","unstructured":"Lodovica Marchesi et al. 2025. Security checklists for Ethereum smart contract development: patterns and best practices. Blockchain: Research and Applications (2025)."},{"key":"e_1_3_2_1_16_1","unstructured":"MITRE. 2008. CWE. https:\/\/cwe.mitre.org\/."},{"key":"e_1_3_2_1_17_1","unstructured":"OpenZeppelin. 2017. The Parity Wallet Hack Explained. https:\/\/blog.openzeppelin.com\/on-the-parity-wallet-multisig-hack-405a8c12e8f7."},{"key":"e_1_3_2_1_18_1","unstructured":"Protofire. 2017. Solhint. https:\/\/medium.com\/protofire-blog\/solhint-an-advanced-linter-for-ethereums-solidity-c6b155aced7b."},{"key":"e_1_3_2_1_19_1","unstructured":"SWC Registry. 2018. SWC Registry. https:\/\/swcregistry.io\/."},{"key":"e_1_3_2_1_20_1","unstructured":"smartdec. 2018. Smartcheck Dataset. https:\/\/github.com\/smartdec\/smartcheck\/tree\/master\/src\/test\/resources\/rules."},{"key":"e_1_3_2_1_21_1","volume-title":"VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts","author":"Sunbeom So","year":"2020","unstructured":"Sunbeom So et al. 2020. VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. In IEEE SP."},{"key":"e_1_3_2_1_22_1","unstructured":"SolidityScan. 2024. Ronin Bridge Hack Analysis. https:\/\/blog.solidityscan.com\/ronin-bridge-hack-analysis-d8f64b8fe683."},{"key":"e_1_3_2_1_23_1","unstructured":"Nick Szabo. 1996. Smart Contracts. http:\/\/www.fon.hum.uva.nl\/rob\/Courses\/InformationInSpeech\/CDROM\/Literature\/LOTwinterschool2006\/szabo.best.vwh.net\/smart_contracts_2.html."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Sergei Tikhomirov et al. 2018. SmartCheck: Static Analysis of Ethereum Smart Contracts. In IEEE\/ACM WETSEB.","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Christof Ferreira Torres et al. 2021. ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts. In IEEE EuroSP.","DOI":"10.36227\/techrxiv.14192459"},{"key":"e_1_3_2_1_26_1","volume-title":"Securify: Practical Security Analysis of Smart Contracts. In ACM CCS.","author":"Petar Tsankov","year":"2018","unstructured":"Petar Tsankov et al. 2018. Securify: Practical Security Analysis of Smart Contracts. In ACM CCS."},{"key":"e_1_3_2_1_27_1","volume-title":"Conkas: A Modular and Static Analysis Tool for Ethereum Bytecode. https:\/\/api.semanticscholar.org\/CorpusID:246942056","author":"Veloso Nuno","year":"2021","unstructured":"Nuno Veloso. 2021. Conkas: A Modular and Static Analysis Tool for Ethereum Bytecode. https:\/\/api.semanticscholar.org\/CorpusID:246942056"},{"key":"e_1_3_2_1_28_1","unstructured":"Fernando Richter Vidal et al. 2023. OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities. abs\/2303.14523 (2023). arXiv:2303.14523"},{"key":"e_1_3_2_1_29_1","unstructured":"Zhiyuan Wei et al. 2023. A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts. abs\/2310.20212 (2023). arXiv:2310.20212"},{"key":"e_1_3_2_1_30_1","unstructured":"xf97. 2020. JiuZhou Dataset. https:\/\/github.com\/xf97\/JiuZhou."},{"key":"e_1_3_2_1_31_1","unstructured":"xf97. 2021. HuangGai Dataset. https:\/\/github.com\/xf97\/HuangGai."}],"event":{"name":"SAC '26: 41st ACM\/SIGAPP Symposium on Applied Computing","location":"Grand Hotel Palace Thessaloniki Greece","acronym":"SAC '26","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 41st ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3748522.3779818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:49:17Z","timestamp":1781016557000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3748522.3779818"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,23]]},"references-count":31,"alternative-id":["10.1145\/3748522.3779818","10.1145\/3748522"],"URL":"https:\/\/doi.org\/10.1145\/3748522.3779818","relation":{},"subject":[],"published":{"date-parts":[[2026,3,23]]},"assertion":[{"value":"2026-06-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}