1 paper
Longfei Chen, Ruibin Yan, Taiyu Wong +3
Smart contracts are commonly audited through static analysis to explore vulnerabilities. However, static approaches typically produce heterogeneous findings rather than reproducibl…