sgzeng/pbfuzz

dsh-kanalyzer

LLVM 静态分析插件,可为 C/C++ 项目构建整程序 LLVM bitcode,并在其上运行 kernel-analyzer(KAMain)可达性分析,向智能体提供 kanalyzer_* 工具,并向其他插件提供 ctx.kanalyzer 服务。

‍ 开发与运行时
仓库暂未提供 README,或本轮同步未能读取。