带有标签“静态分析”的 Skills

software-engineering-research - 软件工程研究指南
软件工程研究方法静态分析代码指标
★ 17 · 更新于 2026-09-09
提供软件工程研究主题与方法的指南。
⚙ 导航软件工程研究子领域 ⚙ 说明软件工程研究方法 ⚙ 列出数据集与基准
ndepend - NDepend .NET 程序集静态分析工具
静态分析 .NET 代码指标技术债务
★ 602 · 更新于 2026-06-30
用于 .NET 程序集的静态分析工具，通过 CQLinq 查询计算代码指标、验证架构规则并跟踪技术债务。
⚙ 分析 .NET 编译程序集 ⚙ 计算代码指标 ⚙ 可视化依赖关系图
semgrep - Semgrep 静态安全扫描器
静态分析安全扫描漏洞检测代码审计
★ 12 · 更新于 2026-06-30
通过并行 Semgrep 静态分析扫描检测代码库中的安全漏洞和缺陷
⚙ 检测编程语言 ⚙ 检查 Pro 可用性 ⚙ 解析输出目录
semgrep - Semgrep 安全扫描
静态分析安全审计漏洞扫描代码审查
★ 0 · 更新于 2026-06-30
使用并行代理运行 Semgrep 静态分析扫描
⚙ 检测语言 ⚙ 检查 Pro 可用性 ⚙ 选择扫描模式
semgrep - Semgrep 静态代码分析扫描器
安全静态分析代码扫描漏洞检测
★ 0 · 更新于 2026-06-30
对代码库运行并行 Semgrep 静态分析以检测安全漏洞
⚙ 运行 Semgrep 扫描 ⚙ 检测编程语言 ⚙ 检查 Pro 状态
semgrep - 对代码库运行 Semgrep 安全扫描
静态分析安全扫描漏洞检测代码审计
★ 0 · 更新于 2026-06-30
使用并行子代理对代码库运行 Semgrep 静态分析扫描
⚙ 检测编程语言 ⚙ 创建输出目录 ⚙ 运行安全扫描
semgrep - 运行 Semgrep 静态分析扫描
静态分析安全审计代码扫描漏洞检测
★ 0 · 更新于 2026-06-30
使用并行子代理对代码库运行 Semgrep 静态分析扫描。
⚙ 检测编程语言 ⚙ 检查 Pro 可用性 ⚙ 选择扫描模式
shellcheck-cicd-2025 - ShellCheck CI/CD 集成 2025
ShellCheck CI/CD bash 静态分析
★ 38 · 更新于 2026-06-30
对 bash 脚本运行 ShellCheck 验证并集成到 CI/CD 工作流
⚙ 运行 shellcheck ⚙ 验证 bash 脚本 ⚙ 解释警告
semgrep - Semgrep 静态分析安全扫描
静态分析安全审计代码扫描漏洞检测
★ 0 · 更新于 2026-06-30
使用并行执行对代码库运行 Semgrep 静态分析
⚙ 检测编程语言 ⚙ 检查 Semgrep Pro 可用性 ⚙ 选择扫描模式
code-review - 全面的 Lean 代码审查
代码审查 Lean 代码质量形式化验证
★ 31 · 更新于 2026-06-30
对单个 human-eval 问题进行全面代码审查
⚙ 读取文件 ⚙ 检查文件结构 ⚙ 检查章节
audit-prep-assistant - 代码库安全审查准备工具
安全审计代码审查静态分析文档
★ 16 · 更新于 2026-06-15
使用 Trail of Bits 检查清单为代码库准备安全审查
⚙ 设置审查目标 ⚙ 运行静态分析 ⚙ 修复代码问题
security-suite - 二进制与代码安全分析套件
安全分析二进制安全代码安全漏洞扫描
★ 18 · 更新于 2026-06-15
对二进制文件和代码运行可组合的安全分析
⚙ 收集静态元数据 ⚙ 收集执行追踪 ⚙ 收集行为契约
spectra-audit - 代码变更安全审计
安全审计代码审查静态分析
★ 0 · 更新于 2026-06-15
审计代码变更中的安全问题，包括危险默认值和类型混淆
⚙ 运行 git diff ⚙ 启动并行代理 ⚙ 搜索安全问题
audit-prep-assistant - 为安全审计准备代码库
安全审计代码审查静态分析
★ 18 · 更新于 2026-06-15
使用审计检查清单为安全审查准备代码库
⚙ 设定审查目标 ⚙ 运行静态分析 ⚙ 修复问题
create-psalm-config - Psalm 配置生成器
php 静态分析代码质量安全
★ 98 · 更新于 2026-06-15
为 PHP 项目生成 Psalm 配置文件
⚙ 生成配置 ⚙ 创建 psalm.xml ⚙ 配置错误级别
review - Pull Request代码审查
代码审查 Pull Request 静态分析 GitHub
★ 12,463 · 更新于 2026-06-15
审查Pull Request的bug、回归和规范违规，返回结构化的行锚定发现
⚙ 读取PR文件 ⚙ 检查代码变更 ⚙ 分析代码差异
review-code - 多智能体代码审查
代码审查质量保证静态分析多智能体
★ 8 · 更新于 2026-06-15
全面的多智能体代码审查，涵盖正确性、性能、代码风格、测试覆盖率和错误处理，不修改代码。
⚙ 读取代码文件 ⚙ 搜索模式 ⚙ 分析代码逻辑
code-reviewer - AI驱动的代码审查专家
代码审查安全静态分析性能
★ 57 · 更新于 2026-05-28
使用AI和静态分析工具进行代码分析，审查安全、性能和代码质量
⚙ 分析代码 ⚙ 检测漏洞 ⚙ 扫描代码
code-reviewer - AI驱动的代码审查专家
代码审查安全性性能静态分析
★ 6 · 更新于 2026-05-28
AI驱动的代码分析，涵盖安全、性能和生产可靠性审查
⚙ 分析代码 ⚙ 审查代码 ⚙ 检测漏洞
dotnet-csharp-nullable-reference-types - C# 可空引用类型启用指南
C#可空引用类型 .NET 代码迁移
★ 0 · 更新于 2026-05-28
启用可空引用类型，包含标注策略和迁移指导
⚙ 启用可空引用类型 ⚙ 配置项目属性 ⚙ 标注可空参数

Scroll to load more