共 40 条
[1]
ETHIR: A Framework for High-Level Analysis of Ethereum Bytecode
[J].
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2018),
2018, 11138
:513-520
[2]
[Anonymous], 2017, Santiago Palladino2017
[3]
Brent L, 2018, Arxiv, DOI arXiv:1809.03981
[4]
Buterin V., 2014, Ethereum white paper, V3, P2
[5]
Dey R, 2017, MIDWEST SYMP CIRCUIT, P1597, DOI 10.1109/MWSCAS.2017.8053243
[6]
A Survey of Tools for Analyzing Ethereum Smart Contracts
[J].
2019 IEEE INTERNATIONAL CONFERENCE ON DECENTRALIZED APPLICATIONS AND INFRASTRUCTURES (DAPPCON),
2019,
:69-78
[7]
Slither: A Static Analysis Framework For Smart Contracts
[J].
2019 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB 2019),
2019,
:8-15
[9]
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
[J].
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL,
2018, 2 (OOPSLA)