共 16 条
[1]
Allamanis M., 2018, INT C LEARN REPR
[2]
Amani S, 2018, PROCEEDINGS OF THE 7TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2018, P66, DOI 10.1145/3167084
[3]
Cheng Heng-Tze, 2016, DLRS 2016: Workshop on Deep Learning for Recommender Systems, P7
[4]
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
[5]
Feng Zhangyin, 2020, CodeBERT: A Pre-Trained Model for Programming and Natural Languages, P1536
[6]
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
[J].
PRINCIPLES OF SECURITY AND TRUST, POST 2018,
2018, 10804
:243-269
[7]
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
[J].
IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018),
2018,
:204-217
[8]
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection
[J].
PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18),
2018,
:259-269
[9]
Tann WJW, 2019, Arxiv, DOI arXiv:1811.06632