Команды для терминала DSH
dsh plugin --profile web add github:sgzeng/pbfuzz#path:/packages/dsh-kanalyzerЗапустите команду в терминале, где работает DeepSeek Harness. Перезапуск применит плагин автоматически.
Плагин «pbfuzz#dsh-kanalyzer» для DeepSeek Harness: 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.
dsh plugin --profile web add github:sgzeng/pbfuzz#path:/packages/dsh-kanalyzerЗапустите команду в терминале, где работает DeepSeek Harness. Перезапуск применит плагин автоматически.
Плагин «pbfuzz#dsh-kanalyzer» для DeepSeek Harness: 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.
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.
dsh plugin --profile web remove pbfuzz#dsh-kanalyzerПлагины выполняются в окружении пользователя DSH. Рекомендуется проверять исходный код, зависимости и запрашиваемые разрешения в репозитории автора перед установкой.