Showing the last saved plugin snapshot.
← Leaderboard / Developer Tooling / Plugin
sgzeng/pbfuzz#dsh-kanalyzer
“LLVM static-analysis plugin that builds whole-program bitcode for C/C++ projects and runs kernel-analyzer (KAMain)…”
Star rank
Pendingplugin verification
In Developer Tooling
Pendingplugin verification
Stars
19GitHub repository
Forks
3GitHub repository
Watchers
0GitHub subscribers
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
