An Efficient Smart Contracts Event Ordering Vulnerability Detection System Based on Symbolic Execution and Fuzz Testing
摘要
Event Ordering Vulnerability, which may lead to fund losses or system paralysis, can be detected using tools based on symbolic execution and fuzz testing techniques. However, the path explosion problem is unavoidable for these tools. Thus, in this paper, we first introduce advanced path pruning techniques and then adopts optimized parallel algorithms to enhance analysis efficiency. Finally, the experimental evaluation verifies the efficiency and effectiveness of the proposed scheme.