菜单
使用 Slither 和 Mythril 对 Solidity 智能合约进行静态分析和符号执行，在部署到以太坊主网之前检测重入攻击、整数溢出、访问控制缺陷和其他漏洞类型。
默认使用会先检查来源的 Prompt；你也可以切换为直接命令，或下载本地副本。
决定是否安装前，请先阅读 SKILL.md，以及 SkillsMP 当前展示的配套文件。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt；运行前请先检查来源。
npx skills add https://github.com/killvxk/cybersecurity-skills-zh --skill analyzing-ethereum-smart-contract-vulnerabilities命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地？可下载 SkillsMP 当前能够提供的文件。
通过分析 Zeek dns.log 中的高熵子域名查询、超量查询量、超长查询长度以及异常 DNS 记录类型，检测 DNS 隧道和数据外泄中的隐蔽通道通信。适用于：当需要狩猎基于 DNS 的 C2 或数据外泄通道、调查异常 DNS 查询模式、或响应涉及 DNS 隧道工具（iodine、dnscat2、DNSExfiltrator）的威胁情报时使用。
实施 Google 的 BeyondCorp 零信任访问模型，通过 IAP、Access Context Manager 和 Chrome Enterprise Premium，消除网络边界的隐式信任，强制执行基于身份的访问控制，实现无 VPN 的安全应用访问。适用于将传统 VPN 替换为零信任架构、部署 Identity-Aware Proxy、配置设备信任策略、或为远程办公实施上下文感知访问控制时使用。
在授权的安全评估过程中，使用 Burp Suite 的扫描器、Intruder 和 Repeater 工具识别和验证跨站脚本（XSS）漏洞。适用于 Web 应用渗透测试中检测反射型、存储型和 DOM 型 XSS，验证自动化扫描器报告的 XSS 发现，以及评估 CSP 和 XSS 过滤器的有效性时使用。
基于 SOC 职业分类
正在显示 SKILL.md
| name | analyzing-ethereum-smart-contract-vulnerabilities |
| description | 使用 Slither 和 Mythril 对 Solidity 智能合约进行静态分析和符号执行，在部署到以太坊主网之前检测重入攻击、整数溢出、访问控制缺陷和其他漏洞类型。 |
| domain | cybersecurity |
| subdomain | blockchain-security |
| tags | ["ethereum","solidity","smart-contract","slither","mythril","blockchain","defi","audit"] |
| version | 1.0 |
| author | mahipal |
| license | Apache-2.0 |
智能合约漏洞已在各 DeFi 协议中造成数十亿美元的损失。与传统软件不同，已部署的智能合约是不可变的，且直接处理真实金融资产，这使得部署前的安全分析至关重要。Slither 使用中间表示进行快速静态分析，能在几秒内检测 90 多种漏洞模式；而 Mythril 则使用符号执行和 SMT 求解来发现复杂执行路径漏洞，如重入攻击（Reentrancy）和整数溢出。本技能涵盖对 Solidity 合约运行两款工具、解读分析结果、按严重程度分类发现项，以及生成审计报告。
pip install slither-analyzer）和 solc 编译器pip install mythril）与 solc-select（用于管理编译器版本）对合约代码库执行 Slither，使用其 90+ 内置检测器识别漏洞模式、优化机会和代码质量问题。
运行 Mythril 深度分析，探索执行路径，发现需要路径敏感分析的重入攻击、未检查的外部调用和算术漏洞。
合并两款工具的结果，去重发现项，根据可利用性和财务影响评估严重程度，并过滤误报。
生成包含漏洞描述、受影响代码位置、利用场景和修复建议的结构化审计报告。
JSON 报告，列出漏洞及其 SWC（智能合约弱点分类）标识符、严重程度评级、受影响函数和建议修复方案。