{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T10:41:02Z","timestamp":1779360062121,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3691620.3695361","type":"proceedings-article","created":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T15:39:19Z","timestamp":1729265959000},"page":"2399-2402","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2315-397X","authenticated-orcid":false,"given":"Zhiyang","family":"Chen","sequence":"first","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6709-3721","authenticated-orcid":false,"given":"Ye","family":"Liu","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6526-9295","authenticated-orcid":false,"given":"Sidi Mohamed","family":"Beillahi","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4562-8208","authenticated-orcid":false,"given":"Yi","family":"Li","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7973-1188","authenticated-orcid":false,"given":"Fan","family":"Long","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2018. Solidity. https:\/\/solidity.readthedocs.io\/en\/v0.5.1\/."},{"key":"e_1_3_2_1_2_1","unstructured":"2018. Vyper. https:\/\/docs.vyperlang.org\/en\/stable\/."},{"key":"e_1_3_2_1_3_1","unstructured":"2020. Etherscan. https:\/\/etherscan.io."},{"key":"e_1_3_2_1_4_1","unstructured":"alchemy. 2024. alchemy. https:\/\/www.alchemy.com\/."},{"key":"e_1_3_2_1_5_1","unstructured":"BlockSec. 2024. Phalcon. https:\/\/app.blocksec.com\/explorer\/."},{"key":"e_1_3_2_1_6_1","volume-title":"SODA: A Generic Online Detection Framework for Smart Contracts.. In NDSS.","author":"Chen Ting","year":"2020","unstructured":"Ting Chen, Rong Cao, Ting Li, Xiapu Luo, Guofei Gu, Yufei Zhang, Zhou Liao, Hang Zhu, Gang Chen, Zheyuan He, et al. 2020. SODA: A Generic Online Detection Framework for Smart Contracts.. In NDSS."},{"key":"e_1_3_2_1_7_1","volume-title":"Yi Li, and Fan Long.","author":"Chen Zhiyang","year":"2024","unstructured":"Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, and Fan Long. 2024. Demystifying Invariant Effectiveness for Securing Smart Contracts. arXiv preprint arXiv:2404.14580 (2024)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3559539"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534372"},{"key":"e_1_3_2_1_10_1","unstructured":"Ye Liu Chengxuan Zhang et al. 2024. Automated Invariant Generation for Solidity Smart Contracts. arXiv preprint arXiv:2401.00650 (2024)."},{"key":"e_1_3_2_1_11_1","unstructured":"OpenChain. 2024. OpenChain. https:\/\/openchain.xyz\/trace."},{"key":"e_1_3_2_1_12_1","unstructured":"QuickNode. 2024. QuickNode. hhttps:\/\/www.quicknode.com\/."},{"key":"e_1_3_2_1_13_1","volume-title":"Sereum: Protecting existing smart contracts against re-entrancy attacks. arXiv preprint arXiv:1812.05934","author":"Rodler Michael","year":"2018","unstructured":"Michael Rodler, Wenting Li, Ghassan O Karame, and Lucas Davi. 2018. Sereum: Protecting existing smart contracts against re-entrancy attacks. arXiv preprint arXiv:1812.05934 (2018)."},{"key":"e_1_3_2_1_14_1","unstructured":"Tenderly. 2024. Tenderly. https:\/\/dashboard.tenderly.co\/explorer."},{"key":"e_1_3_2_1_15_1","unstructured":"TokenFlow. 2024. AnyTx. https:\/\/app.tokenflow.live\/anytx."},{"key":"e_1_3_2_1_16_1","unstructured":"TokenFlow. 2024. EthTx. https:\/\/ethtx.info\/."},{"key":"e_1_3_2_1_17_1","unstructured":"TokenFlow. 2024. EthTx Source. https:\/\/github.com\/EthTx\/ethtx\/tree\/master."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-64322-8_2"},{"key":"e_1_3_2_1_19_1","unstructured":"TrueBlocks Team. 2022. TrueBlocks: Lightweight indexing for any EVM-based blockchain. https:\/\/trueblocks.io\/"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3505263"},{"key":"e_1_3_2_1_21_1","volume-title":"29th USENIX Security Symposium, USENIX Security 2020","author":"Zhang Mengya","year":"2020","unstructured":"Mengya Zhang, Xiaokuan Zhang, Yinqian Zhang, and Zhiqiang Lin. 2020. TXSPECTOR: Uncovering Attacks in Ethereum from Transactions. In 29th USENIX Security Symposium, USENIX Security 2020, August 12--14, 2020, Srdjan Capkun and Franziska Roesner (Eds.). USENIX Association, 2775--2792. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/zhang-mengya"}],"event":{"name":"ASE '24: 39th IEEE\/ACM International Conference on Automated Software Engineering","location":"Sacramento CA USA","acronym":"ASE '24","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695361","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3691620.3695361","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:06:19Z","timestamp":1750291579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695361"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":21,"alternative-id":["10.1145\/3691620.3695361","10.1145\/3691620"],"URL":"https:\/\/doi.org\/10.1145\/3691620.3695361","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}