2023年1月6日
Proj Unknown Paper Reading: SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
摘要： Abstract 本文： SAILFISH TASK: find state-inconsistency bugs in smart contracts Method: a hybrid approach, 1. a lightweight exploration phase 2. 一种新的valu 阅读全文
posted @ 2023-01-06 20:37 雪溯 阅读(83) 评论(0) 推荐(0) 编辑