mudras / google / syzkaller

google/syzkaller

6131 stars · 2 scans · Last scanned 2026-04-18 02:05:54

8.82Crossing #
7.17Unknotting
359Findings
0%Merge Rate

Knot Census

High Unknot 67 Dead Code 51 Trefoils 25 No Default 5 Hopf Links 1 Broken Mirror 1

Severity

359 findings
Errors: 5Warnings: 94Hints: 51

Accuracy

85% confidence
0 TP · 0 FP
File-level complexity, hotspot map, and coupling graph available with Pro ($199/mo) or a repo report ($49). Backed by 6,544 mechanized Lean 4 theorems.