{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:03:37Z","timestamp":1776305017457,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T00:00:00Z","timestamp":1726790400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"University of Parma","award":["D91B21005370003"],"award-info":[{"award-number":["D91B21005370003"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,20]]},"DOI":"10.1145\/3678721.3686227","type":"proceedings-article","created":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:02:52Z","timestamp":1726210972000},"page":"11-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards a Sound Construction of EVM Bytecode Control-Flow Graphs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5150-0393","authenticated-orcid":false,"given":"Vincenzo","family":"Arceri","sequence":"first","affiliation":[{"name":"University of Parma, Parma, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4137-9852","authenticated-orcid":false,"given":"Saverio Mattia","family":"Merenda","sequence":"additional","affiliation":[{"name":"University of Parma, Parma, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2983-9251","authenticated-orcid":false,"given":"Greta","family":"Dolcetti","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice, Venice, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9930-8854","authenticated-orcid":false,"given":"Luca","family":"Negrini","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice, Venice, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8074-8980","authenticated-orcid":false,"given":"Luca","family":"Olivieri","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice, Venice, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6388-2053","authenticated-orcid":false,"given":"Enea","family":"Zaffanella","sequence":"additional","affiliation":[{"name":"University of Parma, Parma, Italy"}]}],"member":"320","published-online":{"date-parts":[[2024,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_30"},{"key":"e_1_3_2_1_2_1","volume-title":"Mastering Ethereum: Building Smart Contracts and DApps. O\u2019Reilly. isbn:9781491971949 lccn:2018277266 https:\/\/books.google.it\/books?id=SedSMQAACAAJ","author":"Antonopoulos A.M.","year":"2018","unstructured":"A.M. Antonopoulos and G. Wood. 2018. Mastering Ethereum: Building Smart Contracts and DApps. O\u2019Reilly. isbn:9781491971949 lccn:2018277266 https:\/\/books.google.it\/books?id=SedSMQAACAAJ"},{"key":"e_1_3_2_1_3_1","unstructured":"Consensys. [n. d.]. Mythril. \"https:\/\/github.com\/ConsenSys\/mythril\" Accessed: 08-02-2023"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_5_1","unstructured":"Calcolo Scientifico dell\u2019Universit\u00e0 di Parma in collaboration with INFN. 2017. High Performance Computing. https:\/\/www.hpc.unipr.it\/ Accessed: 15-06-2024"},{"key":"e_1_3_2_1_6_1","unstructured":"Ethereum. [n. d.]. Solidity documentation. https:\/\/docs.soliditylang.org\/en\/v0.8.24\/ Accessed: 12-02-2024"},{"key":"e_1_3_2_1_7_1","unstructured":"Etherscan. 2024. Data Export - Open Source Contract Codes. https:\/\/etherscan.io\/exportData?type=open-source-contract-codes Accessed: Accessed 10-06-2024"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460946.3464316"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3169902"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377644.3377650"},{"key":"e_1_3_2_1_11_1","volume-title":"On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis","author":"Logozzo Francesco","unstructured":"Francesco Logozzo and Manuel F\u00e4hndrich. 2008. On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. In Compiler Construction, Laurie Hendren (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg. 197\u2013212. isbn:978-3-540-78791-4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-19-9601-6_2"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.JSS.2023.111653"},{"key":"e_1_3_2_1_15_1","volume-title":"Alalfi","author":"Samreen Noama Fatima","year":"2021","unstructured":"Noama Fatima Samreen and Manar H. Alalfi. 2021. Reentrancy Vulnerability Identification in Ethereum Smart Contracts. CoRR, abs\/2105.02881 (2021), arXiv:2105.02881. arxiv:2105.02881"},{"key":"e_1_3_2_1_16_1","unstructured":"Vyper. [n. d.]. Vyper documentation. https:\/\/docs.vyperlang.org\/en\/stable\/toctree.html Accessed: 12-02-2024"},{"key":"e_1_3_2_1_17_1","volume-title":"Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper, 151","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood. 2014. Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper, 151, 2014 (2014), 1\u201332. https:\/\/cryptodeep.ru\/doc\/paper.pdf Accessed: 12-02-2024"}],"event":{"name":"FTfJP '24: 26th ACM International Workshop on Formal Techniques for Java-like Programs","location":"Vienna Austria","acronym":"FTfJP '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678721.3686227","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:56Z","timestamp":1750295396000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678721.3686227"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,20]]},"references-count":17,"alternative-id":["10.1145\/3678721.3686227","10.1145\/3678721"],"URL":"https:\/\/doi.org\/10.1145\/3678721.3686227","relation":{},"subject":[],"published":{"date-parts":[[2024,9,20]]},"assertion":[{"value":"2024-09-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}