How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection-Reference-Cited by-同舟云学术

How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection

Published:2020-07-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Ghaleb Asem¹,Pattabiraman Karthik¹

Affiliation:

1. University of British Columbia, Canada

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3395363.3397385

Reference45 articles.

1. 2016. Analysis of the DAO exploit. https://hackingdistributed.com/ 2016 /06/18/ analysis-of-the-dao-exploit 2016. Analysis of the DAO exploit. https://hackingdistributed.com/ 2016 /06/18/ analysis-of-the-dao-exploit

2. 2017. History of Ethereum Security Vulnerabilities Hacks and Their Fixes. https://applicature.com/blog/blockchain-technology/ history-ofethereum-security-vulnerabilities-hacks-and-their-fixes 2017. History of Ethereum Security Vulnerabilities Hacks and Their Fixes. https://applicature.com/blog/blockchain-technology/ history-ofethereum-security-vulnerabilities-hacks-and-their-fixes

3. 2017. The parity wallet breach. https://bitcoinexchangeguide.com/parity-walletbreach 2017. The parity wallet breach. https://bitcoinexchangeguide.com/parity-walletbreach

4. 2017. Remix-Solidity IDE. http://remix.ethereum.org 2017. Remix-Solidity IDE. http://remix.ethereum.org

5. 2018. eth-mutants. https://github.com/federicobond/eth-mutants 2018. eth-mutants. https://github.com/federicobond/eth-mutants

Cited by 104 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Vulnerability detection techniques for smart contracts: A systematic literature review;Journal of Systems and Software;2024-11

2. ReenRepair: Automatic and semantic equivalent repair of reentrancy in smart contracts;Journal of Systems and Software;2024-10

3. Survey on Quality Assurance of Smart Contracts;ACM Computing Surveys;2024-09-14

4. LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

5. Towards Trusted Smart Contracts: A Comprehensive Test Suite For Vulnerability Detection;Empirical Software Engineering;2024-07-25