List your company

ResearchFormerly WizWand

SQLite

Benchmarks

TaskDatasetSOTA resultTrendResults

Vulnerability Discovery

SQLite

1Confirmed Vulnerabilities

7

sqlite3

9Number of Harnesses

4

Code Coverage Analysis

sqlite3

28,063Covered Branches

4

Symbolic Execution

sqlite

768Peak Memory (MB)

2