{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T03:17:37Z","timestamp":1768879057228,"version":"3.49.0"},"reference-count":40,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1109\/esem.2019.8870156","type":"proceedings-article","created":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T23:16:25Z","timestamp":1571354185000},"page":"1-11","source":"Crossref","is-referenced-by-count":22,"title":["A Large-Scale Empirical Study on Control Flow Identification of Smart Contracts"],"prefix":"10.1109","author":[{"given":"Ting","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaosong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zihao","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yufei","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiapu","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ting","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teng","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiuzhuo","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","article-title":"kafl: Hardware-assisted feedback fuzzing for os kernels","author":"schumilo","year":"2017","journal-title":"Usenix Security"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966473"},{"key":"ref33","article-title":"Comparison of static analysis tooling for smart contracts on the evm","author":"fontein","year":"2018","journal-title":"TSConIT"},{"key":"ref32","year":"2018","journal-title":"Contract 0xda16251b2977f86cb8d4c3318e9c6f92d7 fc1a8f"},{"key":"ref31","year":"2017","journal-title":"Management apis"},{"key":"ref30","first-page":"385","volume":"19","author":"king","year":"1976","journal-title":"Symbolic execution and program testing"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213863"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321667"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227168"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_4"},{"key":"ref10","author":"suiche","year":"2017","journal-title":"Porosity A decompiler for blockchain-based smart contracts bytecode"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037716"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884650"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"ref13","author":"tsankov","year":"2018","journal-title":"Securify Practical security analysis of smart contracts"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref15","author":"chang","year":"2018","journal-title":"scompile Critical path identification and analysis for smart contracts"},{"key":"ref16","article-title":"teether: Gnawing at ethereum to automatically exploit smart contracts","author":"krupp","year":"2018","journal-title":"Usenix Security"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1145\/3274694.3274737","article-title":"Osiris: Hunting for integer bugs in ethereum smart contracts","author":"torres","year":"2018","journal-title":"ACSAC"},{"key":"ref19","article-title":"Static disassembly of obfuscated binaries","author":"kruegel","year":"2004","journal-title":"Usenix Security"},{"key":"ref28","author":"collard","year":"2007","journal-title":"Reasoning about program transformations Imperative programming and flow of data"},{"key":"ref4","author":"hertig","year":"2017","journal-title":"Ethereum client bug freezes user funds as fallout remains uncertain"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2018.8486401"},{"key":"ref3","author":"del castillo","year":"2016","journal-title":"The DAO Attacked Code Issue Leads to $60 Million Ether Theft"},{"key":"ref6","author":"mueller","year":"2018","journal-title":"Smashing ethereum smart contracts for fun and real profit"},{"key":"ref29","year":"2019","journal-title":"JavaScript API"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref8","year":"2018","journal-title":"evmdis an evm disassembler"},{"key":"ref7","author":"nikolic","year":"2018","journal-title":"Finding the greedy prodigal and suicidal contracts at scale"},{"key":"ref2","year":"2018","journal-title":"Solidity Documentation"},{"key":"ref9","author":"cayrou","year":"2018","journal-title":"Reverse engineering framework in python"},{"key":"ref1","author":"wood","year":"2018","journal-title":"Ethereum a secure decentralised generalised transaction ledger Byzantium version"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3139337.3139339"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23808-6_34"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"ref24","year":"2018","journal-title":"Ethereum Homestead Documentation"},{"key":"ref23","article-title":"An in-depth analysis of disassembly on full-scale x86\/x64 binaries","author":"andriesse","year":"2016","journal-title":"Usenix Security"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67816-0_20"},{"key":"ref25","year":"2018","journal-title":"Etherscan The Ethereum block explorer"}],"event":{"name":"2019 ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)","location":"Porto de Galinhas, Recife, Brazil","start":{"date-parts":[[2019,9,19]]},"end":{"date-parts":[[2019,9,20]]}},"container-title":["2019 ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8864031\/8870138\/08870156.pdf?arnumber=8870156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,17]],"date-time":"2022-07-17T21:54:48Z","timestamp":1658094888000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8870156\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/esem.2019.8870156","relation":{},"subject":[],"published":{"date-parts":[[2019,9]]}}}