非影资讯
P非影 English
面向安全从业者的中英双语安全研究与漏洞情报精选。

使用 Slither-MCP 提升你的 Solidity LLM 工具链

blog.trailofbits.com | 博客 | #ai-security | #mcp | #smart-contract | #llm | #static-analysis | #tool-release | #solidity | #slither

摘要

Trail of Bits 发布 Slither-MCP：一个 MCP 服务器，将 Slither 静态分析能力接入 LLM，帮助模型精确定位 Solidity 合约函数与继承关系，减少审计中的错误与 token 消耗。
发布时间
收录时间

原文 ↗

相关内容

  1. 如何使用 Slither 审计智能合约 (hackenproof.com)
  2. 借助机器学习和 Slither-simil 实现高效审计 (blog.trailofbits.com)
  3. Slither——Solidity 静态分析框架 (blog.trailofbits.com)
  4. Echidna：面向以太坊的智能模糊测试器 (blog.trailofbits.com)
  5. 何时用 SAST，何时用 LLM 安全扫描器 (about.gitlab.com)
  6. 通过 Microsoft Foundry 为 GitLab Duo Self-Hosted 自带模型 (about.gitlab.com)

返回