{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T05:12:30Z","timestamp":1784351550493,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T00:00:00Z","timestamp":1726272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62077003"],"award-info":[{"award-number":["62077003"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"the major project of teaching and research in Beijing University of Chemical Technology","award":["2021BHDJGYB18"],"award-info":[{"award-number":["2021BHDJGYB18"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,14]]},"DOI":"10.1145\/3697355.3697396","type":"proceedings-article","created":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T04:52:23Z","timestamp":1734065543000},"page":"247-251","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["An Empirical Study of Integer Overflow Detection and False Positive Analysis in Smart Contracts"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6102-7539","authenticated-orcid":false,"given":"QingYuan","family":"Huang","sequence":"first","affiliation":[{"name":"Beijing University of Chemical Technology, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-7583-3583","authenticated-orcid":false,"given":"ZiXun","family":"Zeng","sequence":"additional","affiliation":[{"name":"Beijing University of Chemical Technology, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4575-0801","authenticated-orcid":false,"given":"Ying","family":"Shang","sequence":"additional","affiliation":[{"name":"Beijing University of Chemical Technology, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,12,12]]},"reference":[{"key":"e_1_3_3_1_1_2","first-page":"54","article-title":"Smashing ethereum smart contracts for fun and real profit[J]","volume":"9","author":"Mueller B","year":"2018","unstructured":"Mueller B. Smashing ethereum smart contracts for fun and real profit[J]. HITB SECCONF Amsterdam, 2018, 9: 54.","journal-title":"HITB SECCONF Amsterdam"},{"key":"e_1_3_3_1_2_2","volume-title":"State R. Osiris: Hunting for integer bugs in ethereum smart contracts[C]\/\/Proceedings of the 34th annual computer security applications conference. 2018: 664-676","author":"Torres C F","unstructured":"Torres C F, Sch\u00fctte J, State R. Osiris: Hunting for integer bugs in ethereum smart contracts[C]\/\/Proceedings of the 34th annual computer security applications conference. 2018: 664-676."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"Luu L Chu D H Olickel H et al. Making smart contracts smarter[C]\/\/Proceedings of the 2016 ACM SIGSAC conference on computer and communications security. 2016: 254-269.","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_3_1_4_2","volume-title":"Empirical review of automated analysis tools on 47,587 ethereum smart contracts[C]\/\/Proceedings of the ACM\/IEEE 42nd International conference on software engineering. 2020: 530-541","author":"Durieux T","unstructured":"Durieux T, Ferreira J F, Abreu R, et al. Empirical review of automated analysis tools on 47,587 ethereum smart contracts[C]\/\/Proceedings of the ACM\/IEEE 42nd International conference on software engineering. 2020: 530-541."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3549542"},{"key":"e_1_3_3_1_6_2","volume-title":"Turn the rudder: A beacon of reentrancy detection for smart contracts on ethereum[C]\/\/2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE)","author":"Zheng Z","year":"2023","unstructured":"Zheng Z, Zhang N, Su J, et al. Turn the rudder: A beacon of reentrancy detection for smart contracts on ethereum[C]\/\/2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). IEEE, 2023: 295-306."},{"key":"e_1_3_3_1_7_2","volume-title":"Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts[C]\/\/Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering. 2024: 1-12","author":"Huang M","unstructured":"Huang M, Chen J, Jiang Z, et al. Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts[C]\/\/Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering. 2024: 1-12."},{"key":"e_1_3_3_1_8_2","volume-title":"32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. 2023:  1157-1168","author":"Fang Y","unstructured":"Fang Y, Wu D, Yi X, et al. Beyond \u201cProtected\u201d and \u201cPrivate\u201d: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts[C]\/\/Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. 2023: 1157-1168."},{"key":"e_1_3_3_1_9_2","volume-title":"Our experimental data","year":"2024","unstructured":"\u201cOur experimental data\u201d, 2024. [Online]. Available: https:\/\/anonymous.4open.science\/r\/DataAndTools-B5CE"},{"key":"e_1_3_3_1_10_2","volume-title":"Slither: a static analysis framework for smart contracts[C]\/\/2019 IEEE\/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB)","author":"Feist J","year":"2019","unstructured":"Feist J, Grieco G, Groce A. Slither: a static analysis framework for smart contracts[C]\/\/2019 IEEE\/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB). IEEE, 2019: 8-15."}],"event":{"name":"BDIOT 2024: 2024 8th International Conference on Big Data and Internet of Things","location":"Macau China","acronym":"BDIOT 2024"},"container-title":["Proceedings of the 2024 8th International Conference on Big Data and Internet of Things"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3697355.3697396","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3697355.3697396","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:34Z","timestamp":1750295854000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3697355.3697396"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,14]]},"references-count":10,"alternative-id":["10.1145\/3697355.3697396","10.1145\/3697355"],"URL":"https:\/\/doi.org\/10.1145\/3697355.3697396","relation":{},"subject":[],"published":{"date-parts":[[2024,9,14]]},"assertion":[{"value":"2024-12-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}