SQLite
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Vulnerability Discovery | SQLite | Confirmed Vulnerabilities1 | 7 | |
| Bug Detection | sqlite3 | Number of Harnesses9 | 4 | |
| Code Coverage Analysis | sqlite3 | Covered Branches28,063 | 4 | |
| Symbolic Execution | sqlite | Peak Memory (MB)768 | 2 |
Showing 4 of 4 rows