القائمة
使用 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（智能合约弱点分类）标识符、严重程度评级、受影响函数和建议修复方案。