Atomicity Violation Detection on Reentrancy
84.35PrecisionPSR²
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| PSR²analysis_type=semantic reasoning2026.04 | 84.35 | 98.04 | 91.95 | |
| PSR²analysis_type=semantic reasoning2026.04 | 78.13 | 98.04 | 87.72 | |
| Slitheranalysis_type=static analysis2026.04 | 74.12 | 71.93 | 73.54 | |
| Semgrepanalysis_type=pattern matching2026.04 | 71.32 | 95.1 | 81.51 | |
| Semgrepanalysis_type=pattern matching2026.04 | 55 | 9.65 | 16.42 | |
| Slitheranalysis_type=static analysis2026.04 | 12.5 | 2.94 | 4.76 |