共 17 条
- [1] Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities [J]. PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 454 - 469
- [2] di Angelo Monika, 2023, Empirical Software Engineering
- [3] Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts [J]. 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), 2020, : 530 - 541
- [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] A Preliminary Analysis of Software Metrics in Decentralised Applications [J]. PROCEEDINGS OF THE FIFTH ACM INTERNATIONAL WORKSHOP ON BLOCKCHAIN-ENABLED NETWORKED SENSOR SYSTEMS, BLOCKSYS 2023, 2023, : 27 - 33
- [6] Ibba G., 2024, IEEE Access
- [7] Ibba Giacomo, 2024, 2024 IEEE INT C SOFT
- [8] Making Smart Contracts Smarter [J]. CCS'16: PROCEEDINGS OF THE 2016 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2016, : 254 - 269
- [9] Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts [J]. 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019), 2019, : 1186 - 1189
- [10] sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts [J]. 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), 2020, : 778 - 788