{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T17:40:37Z","timestamp":1770918037205,"version":"3.50.1"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U1836209"],"award-info":[{"award-number":["U1836209"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61802413"],"award-info":[{"award-number":["61802413"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100014417","name":"Fundamental Research Fund of Shandong University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100014417","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Research Funds of Renmin University of China","award":["19XNLG02"],"award-info":[{"award-number":["19XNLG02"]}]},{"name":"Research Funds of Renmin University of China","award":["20XNLG03"],"award-info":[{"award-number":["20XNLG03"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2022,7,1]]},"DOI":"10.1109\/tc.2021.3092639","type":"journal-article","created":{"date-parts":[[2021,6,28]],"date-time":"2021-06-28T21:30:35Z","timestamp":1624915835000},"page":"1551-1563","source":"Crossref","is-referenced-by-count":12,"title":["Precise Dynamic Symbolic Execution for Nonuniform Data Access in Smart Contracts"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4403-0060","authenticated-orcid":false,"given":"Jianjun","family":"Huang","sequence":"first","affiliation":[{"name":"School of Information, Renmin University of China, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0875-5793","authenticated-orcid":false,"given":"Jiasheng","family":"Jiang","sequence":"additional","affiliation":[{"name":"School of Information, Renmin University of China, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1009-6627","authenticated-orcid":false,"given":"Wei","family":"You","sequence":"additional","affiliation":[{"name":"School of Information, Renmin University of China, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4818-7164","authenticated-orcid":false,"given":"Bin","family":"Liang","sequence":"additional","affiliation":[{"name":"School of Information, Renmin University of China, Beijing, China"}]}],"member":"263","reference":[{"key":"ref1","article-title":"A ${\\$}$$50 million hack just showed that the dao was all too human","author":"Finley","year":"2020"},{"key":"ref2","article-title":"Exploding rockets & millions of free tokens? lets take a good look at integer overflows","author":"McCallum","year":"2019"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884843"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314645"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.295"},{"key":"ref7","article-title":"Understanding ethereum smart contract storage","author":"Marx","year":"2020"},{"key":"ref8","article-title":"Remix - ethereum IDE.","year":"2020"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00032"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref14","first-page":"2757","article-title":"ETHBMC: A bounded model checker for smart contracts","volume-title":"Proc. 29th USENIX Secur. Symp.","author":"Frank"},{"key":"ref16","article-title":"Ethereum smart contract vulnerabilities can lead to millions in losses.","author":"Meyer","year":"2020"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397385"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"ref23","article-title":"Ethereum (ETH) blockchain explorer","year":"2020"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"ref31","first-page":"1317","article-title":"TEETHER: Gnawing at ethereum to automatically exploit smart contracts","volume-title":"Proc. 27th USENIX Secur. Symp.","author":"Krupp"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32409-4_18"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref34","article-title":"Vandal: A scalable security analysis framework for smart contracts","author":"Brent","year":"2018"},{"key":"ref35","first-page":"9","article-title":"Smartcheck: Static analysis of ethereum smart contracts","volume-title":"Proc. 1st Int. Workshop Emerg. Trends Softw. Eng. Blockchain","author":"Tikhomirov"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00022"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00066"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67816-0_20"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29959-0_36"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23413"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3158136"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330560"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3345664"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/9790737\/09465642.pdf?arnumber=9465642","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T22:36:14Z","timestamp":1705012574000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9465642\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,1]]},"references-count":37,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tc.2021.3092639","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"value":"0018-9340","type":"print"},{"value":"1557-9956","type":"electronic"},{"value":"2326-3814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7,1]]}}}