Smart Contract Vulnerability Detection on B (test)
81.03Hit ScoreContractShield
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| ContractShield2026.04 | 81.03 | 83.47 | 84.09 | 82.87 | |
| Deng et al.2026.04 | 75.27 | 77.3 | 78.05 | 76.58 | |
| Qian et al.2026.04 | 70.42 | 74.67 | 78.96 | 70.82 | |
| Cheong et al.2026.04 | 64.05 | 67.87 | 71.63 | 64.41 |