Cairo Vulnerability Scanner

trailofbits/skills/plugins/building-secure-contracts/skills/cairo-vulnerability-scanner

作者 trailofbits82fe82262526无许可证7.4K 个星标收录于 2026年10月8日更新于 2026年10月8日仓库昨天更新

Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet projects.

仅含说明Security

仅公开文件列表。将技能安装到工作区后即可查看文件内容。

路径大小类型
agents/openai.yaml259 Bapplication/yaml
assets/trail-of-bits-mark.svg3 KBtext/plain
resources/VULNERABILITY_PATTERNS.md20.8 KBtext/markdown
SKILL.md12.8 KBtext/markdown

来源与署名

来源：trailofbits/skills位于plugins/building-secure-contracts/skills/cairo-vulnerability-scanner提交82fe822

许可证： 无许可证

内容归原作者所有。SourceWeft 从公开仓库中收录这些内容。

举报或申请下架

更多来自 trailofbits/skills 的技能

Vector Forge

trailofbits

通过变异测试实现来发现未覆盖代码路径，从而生成密码学测试向量。

Software Development7.4K昨天更新

Wycheproof

trailofbits

指导使用 Project Wycheproof 测试向量验证密码学实现，覆盖已知攻击与边界情况。

Security7.4K昨天更新

Ruzzy

trailofbits

指导安装和使用 Ruzzy——Trail of Bits 面向 Ruby 代码与 C 扩展的覆盖率引导模糊测试器。

Security7.4K昨天更新

Ossfuzz

trailofbits

指导将开源项目接入 OSS-Fuzz，并通过 helper.py 在本地运行模糊测试 harness。

Security7.4K昨天更新

Libfuzzer

trailofbits

指导在 C/C++ 代码上搭建并运行 libFuzzer，涵盖测试框架、构建、语料库、sanitizer 与问题分类。

Software Development7.4K昨天更新

Trailmark

trailofbits

构建并查询多语言源码与二进制代码图，用于安全分析和审计优先级排序。

Security7.4K昨天更新

更多Security技能

Kyc Rules

anthropics

精选

将公司的 KYC/AML 规则表应用于已解析的开户记录，评定风险并给出处理路由。

Security39K2周前更新

Compliance Tracking

anthropics

精选

跟踪合规要求、审计准备情况以及 SOC 2、ISO 27001、GDPR、HIPAA 和 PCI DSS 等框架的证据。

Security27K今天更新

Dpop Adoption

google

精选

指导为 Google OAuth 平台实现 OAuth 2.0 DPoP（RFC 9449）发送方约束刷新令牌。

Security21K今天更新

Secops Triage

google

精选

指导 SOC 分析师对 Google SecOps 安全告警进行分诊，从调查到关闭或升级。

Security21K今天更新

Secops Investigate

google

精选

指导 SOC 分析师在 Google SecOps 中使用 UDM 查询和时间线进行深入的安全事件与实体调查。

Security21K今天更新

Secops Hunt

google

精选

指导在 Google SecOps 中使用 UDM 查询、IoC 回溯、普遍性与异常分析进行主动威胁狩猎。

Security21K今天更新