软件下载帮助文档新闻资讯

Skill UI

浏览并发现 15857+ 精选技能

全部编程开发人工智能设计创意产品商业数据科学市场营销职场通用效率工具硬件工程语言学习

搜索 Slither ，共找到 3 条记录

默认排序最新上传最多下载

安全开发流程指南

secure-workflow-guide

trailofbits/skills

遵循Trail of Bits五步安全流程，为智能合约运行Slither与特性检测、生成安全图表、记录属性并梳理人工复核区域，生成可执行的安全报告与行动计划。

智能合约漏洞分析工具包

analyzing-ethereum-smart-contract-vulnerabilities

mukul975/Anthropic-Cybersecurity-Skills

本技能用于执行深度的以太坊智能合约安全审计。它结合静态分析（Slither）和符号执行（Mythril）两种方法，旨在检测重入攻击、整数溢出、访问控制等关键漏洞。该过程对于确保智能合约在部署到主网前具备高度安全性和不可篡改性至关重要。

Foundry智能合约安全审计

auditing-foundry-smart-contract-security

mukul975/Anthropic-Cybersecurity-Skills

这是一个针对使用Foundry构建的Solidity智能合约的深度安全审计工具。它通过结合静态分析（Slither, Aderyn）、符号执行（Mythril）、属性测试（模糊测试）和密钥卫生检查，在合约部署到任何EVM链之前，主动检测重入、访问控制缺陷和算术错误等关键漏洞，确保合约的安全性。

1

语言