共 12 条
[1]
Alt L., 2018, SMT BASED VERIFICATI, P376
[2]
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
[4]
Making Smart Contracts Smarter
[J].
CCS'16: PROCEEDINGS OF THE 2016 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY,
2016,
:254-269
[5]
Mueller B., 2018, HITB SECCONF AMSTERD, V9, P54
[7]
Tann A, 2018, arXiv preprint arXiv:1811.06632, P1371
[8]
SmartCheck: Static Analysis of Ethereum Smart Contracts
[J].
2018 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB),
2018,
:9-16
[9]
SECURIFY: Practical Security Analysis of Smart Contracts
[J].
PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18),
2018,
:67-82
[10]
Peculiar: Smart Contract Vulnerability Detection Based on Crucial Data Flow Graph and Pre-training Techniques
[J].
2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021),
2021,
:378-389