expat
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Bug Detection | expat | Number of Harnesses8 | 4 | |
| Code Coverage Analysis | expat | Covered Branches4,246 | 4 | |
| Symbolic Execution | expat | Peak Memory (MB)305 | 2 |
Showing 3 of 3 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Bug Detection | expat | Number of Harnesses8 | 4 | |
| Code Coverage Analysis | expat | Covered Branches4,246 | 4 | |
| Symbolic Execution | expat | Peak Memory (MB)305 | 2 |