Refcount bug detection on x86-64 Linux platform drivers v6.6
3,387Total Drivers AnalyzedDRVHORN
Evaluation Results
| Method | Links | |||||||
|---|---|---|---|---|---|---|---|---|
| DRVHORNTimeout=300s, Compilation Config=allyesconfig, Architecture=x86-642026.05 | 3,387 | 777 | 545 | 232 | 424 | 45 | 807 |
Loading the SOTA2 catalog…