Showing the last saved plugin snapshot.

← Leaderboard / Developer Tooling / Plugin
Last repository activity November 11, 2026 · Created October 15, 2026

sgzeng/pbfuzz#dsh-kanalyzer

“LLVM static-analysis plugin that builds whole-program bitcode for C/C++ projects and runs kernel-analyzer (KAMain)…”

Star rank
Pending
plugin verification
In Developer Tooling
Pending
plugin verification
Stars
19
GitHub repository
Forks
3
GitHub repository
Watchers
0
GitHub subscribers
Open on GitHub ↗
TL;DR

LLVM static-analysis plugin that builds whole-program bitcode for C/C++ projects and runs kernel-analyzer (KAMain) reachability analysis on it, providing kanalyzer_* tools to the agent and a ctx.kanalyzer service to other plugins.

30 days of GitHub stars
+4 stars
+26.7% observed change
Oct 12Oct 26Nov 10