封装 01
Starter
个人 projetes 每月 10,000 个积分（10,000 个文件 + 10 个实时站点）。
- 每月 10,000 个积分
- 10,000 个文件 + 10 个实时站点/月
- 单次扫描最多 5,000 个文件
- 1用户·Web+MCP公池
VulKill /SaaS 计划
为安全腾出空间。
计划它以适合您。
来自 VulKill 服务器的授权安全扫描。
选择适合您需求的套餐。
每月付款。对于企业，每个套餐为5人；总金额取决于您选择的数量。
封装 02
Pro
Pro 每月 30,000 个积分用于专业工作（30,000 个文件 + 25 个实时站点）。
- 每月 30,000 个积分
- 30,000 个文件 + 25 个实时站点/月
- 5,000 个文件/容器并行扫描
- 1用户·Web+MCP公池
封装 03
Max
高级 projetes 每月 100,000 个积分（100,000 个文件 + 60 个实时站点）。
- 每月 100,000 个积分
- 100,000 个文件 + 60 个实时站点/月
- 自动并行粉碎（Auto-Shard）
- 1 用户 Web + MCP + 桌面
团队包
企业版
每包5人，企业团队每月35万积分（35万文件+200个直播站点）。
- 每月 350,000 积分/套餐
- 350,000 个文件 + 200 个实时站点/月
- 5 每个捆绑包的并发用户数
- 随着数量的增加，人员和信用也会成倍增加。
01 / 接近
了解一个系统。
仔细观察每一层。
VulKill 将安全审查转移到应用程序的不同层。审查范围、调查结果和技术证据将一起评估。
探索全面覆盖 ↓
01
网络和应用程序接口
身份验证、访问控制、输入安全以及应用程序与外部世界的连接。
02
移动应用程序
特定于移动平台的应用程序行为、数据存储、网络和安全限制。
03
代码和基础设施
源代码、依赖项、配置以及应用程序运行的系统。
VulKill / 特别版
范围广泛。
深入审查。
VulKill特殊版；它将 Web、API、移动应用程序、源代码和基础设施审查结合到一个通用的安全流程中。提供 v1.1 的完整审查范围，并具有高级分析、验证和证据管理功能。
它将从源代码到运行时证据、从发现到修复后检查的每个步骤关联起来。收集常见根本原因下的分析结果；它一起跟踪调查范围、证据水平和业务状况。
19评论类别
161控制头
24工具及检查方法
基本范围包括158控制，并确认3控制验证。以下特别版功能在此基础上构建。
分析
超越代码的链接。
跨语言桥梁、信任边界、依赖项可访问性和类似的代码路径在一次审查中进行评估。
确认
从索赔到可追溯的证据。
源、运行时和已发布的包相互关联。校正前后的结果用单独的证据记录。
管理
每个作业的状态都是可见的。
持久的工作队列、范围分类账以及机构访问和保留控制支持审核的操作完整性。
特别版的能力
分析、协调和验证能力补充了现有的审查范围。
01高级分析和跨语言桥梁一起检查不同语言的根本原因、信任绑定和链接代码。
- 语义根本原因分组：将发现结果与结构特征（例如源、敏感处理点、信任边界和数据移动方式）相关联。
- 多语言和本机超链接分析：检查从 Python 和 JavaScript/TypeScript 输入扩展到 Rust 和 C/C++ 前沿的关系。评估 PyO3、N-API、JNI、Cython 和 C ABI 迁移中的数据宽度、空值、所有权、生存时间和恐慌/异常合约。
- 多层请求差异分析：显示代理/边缘、中间件、缓存密钥和应用程序如何解释同一请求之间的静态契约差异。
- 同级补丁变体调查：收集安全修复可能未完全应用于相似边缘或代码路径的位置，作为同一根本原因下的调查候选。
- 交易表示——签名一致性：向用户显示的交易摘要将实体和实体值与实际签名的内容进行比较。
- 秘密和密钥对分析：通过解析默认密钥库和密钥对模式减少不必要的警报。
02数据流、可访问性和证据水平使研究结果在什么条件下有效以及在何种程度上得到证实。
- 类型化攻击链：将身份、租户、状态、传输、时间和证据摘要条件作为单独的链接进行跟踪；它并不仅根据相似的词语建立关系。
- 协议和运行时钩子可访问性：通过项目中相关代码路径是否可访问来丰富依赖项警告。
- 证据级别：静态候选者将运行时验证和产品级重新测试分开；将升级与可验证证据的记录联系起来。
- 引擎和文件覆盖可见性：记录分析错误、缺失覆盖和跳过的操作；它不会将不完整的审查作为干净的结果。
03范围分类账和本地动态验证跟踪每个扫描的文件，安排丢失的作业，并收集受控的运行时证据。
- 机器可验证的范围分类账：记录发现、爬行、跳过、超时和失败的文件以及引擎版本和规则套件摘要。
- 丢失恢复计划：通过分隔已完成的文件，为丢失、失败或超时的目标生成可重复的恢复计划。
- 本地 ASan 验证：经人工批准，在允许的根、文件大小、持续时间和内存限制内动态检查所选 C 资源；如果所需的电机或绝缘尚未准备好，则不认为验证已完成。
- 状态协议协议：两个对等方的行为验证定义的本地测试边界内的重新启动和状态摘要。
- C/C++ 扫描完整性：将源和引擎摘要以及每个文件扫描、跳过或失败的结果合并到聚合验证记录中。
04持久的作业队列和操作可见性协调多个运行器的作业并在重启后维护作业状态。
- 持久作业队列：使用 SQLite WAL 或可选的 PostgreSQL 控制重复事务、有限重试、重启后恢复和持久结果读取。
- 作业所有权和时间更新：运行者使用时间所有权密钥和生成编号来防止同一作业完成两次；它可以防止工作被接管的旧执行者写入结果。
- 分析-运行器集成：将服务器和作业队列连接到同一产品流；它使用具有显式选择和安全配置的 PostgreSQL 后端。
- 操作视图：将范围、证据、工作队列、保留和报告准备状态合并到一个通用摘要中，不会泄露敏感路径和身份。
05前后修复验证和数据包绑定将发现结果与源代码、运行时和已发布的软件包相关联。
- 负控制、红色和绿色分离：为控制条件、易受攻击的行为和纠正的行为的输出维护单独的摘要。
- 源-运行时-包链接：将证据记录链接到源树、提交、执行的命令、运行时和输出摘要。
- 已发布的包验证：将 ZIP、JAR、Wheel、npm 和 TAR 包与源清单进行比较，而不将其提取到文件系统；检查路径遍历、符号链接、特殊文件类型、重复或未声明的成员、大小和完整性的摘要。
- 更改后重新测试：使用范围分类账和证据记录跟踪新结果属于同一系列的发现和包。
06证据管理、人工智能分类和报告准备使调查结果的完整性、披露准备和保留决策可审计。
- 哈希链证明账本：以完整性的有序链维护记录；根据需要使用本地信任根或外部签名边界进行身份验证。
- 证据感知人工智能分类：评估本地模型或外部代理的建议以及密码证据验证；人工智能推荐本身并不能产生确认的发现状态。
- 发布准备控制：监控严重性评估、纠正证明、产品级重新测试和包装装订等条件；在缺失的情况下，它不会显示已准备好提交的结果。
- 标准披露包：为已完成验证条件的调查结果准备机器可读记录和人工审核的披露补充。
- 保留和合法保留：根据保留计划保护选定的审计、作业、通知和备份记录；如果保护记录不可信，则会停止删除过程。
07企业身份，双重审批签字对用户、角色、项目和高影响力流程的访问受控。
- 离线 OIDC 验证：通过固定摘要的本地 JWKS 实施签名、发行者、受众、时间、随机数和主题检查。
- 浏览器 OIDC 流程：定时和一次性状态/随机数、PKCE-S256 和安全会话绑定控制。
- 企业用户生命周期：类似于 SCIM 的管理流程，结合了租户/项目成员资格、角色映射、迭代事务控制和停用；存储承载值的哈希值而不是其本身。
- 两个管理员批准：在高影响力的身份和存储事务中，来自活动管理员（而不是创建请求的管理员）的定时且与事务上下文相关的批准。
- 安全配置文件：仅由所有者访问的普通文件、符号链接拒绝、非链接跟踪读取以及可执行文件的完整性摘要检查。
- 外部签名者限制：在独立于提供商的 KMS/HSM 式签名流程中验证私钥，而不将其导入 VulKill 流程。
08部署、安装和更新完整性检查软件从构建输出到安装文件的完整性。
- 受保护的部署配置文件：保护运行时、静态资产和文档，同时将开发和测试证据与部署包分开。
- 签名包生命周期：连接包清单、安装和使用授权、更新、回滚、备份和安装文件完整性；它拒绝在丢失或修改的安装座上安装和启动。
- 可重复的 Linux ARM64 本机编译：编译管道，将两个独立的输出与摘要工具链进行离线比较，并检查其自身的完整性。
- 平台验证流程：通过操作系统的验证工具和完整包摘要检查 macOS 代码签名和 Apple 公证验证以及 Windows Authenticode 结果。
评论的所有标题打开类别并检查控件标题。有针对性的测试是在商定的范围和范围内进行的。
01数据收集范围内的资产、入口点、应用程序流程和无意暴露的技术信息。8控制
- 外部信息泄露
- 服务器指纹
- 网络图元文件
- 应用程序和子域清单
- 页面内容泄露
- 入口点
- 应用程序执行路径
- 建筑测绘
02配置与部署部署设置、管理界面、HTTP 方法、安全标头和环境分离。9控制
- 基础设施配置
- 平台配置
- 敏感文件扩展名
- 旧的和未引用的文件
- 管理界面
- HTTP 方法
- 安全标头
- 子域名接管风险
- 云存储可见性
03身份管理管理注册、邀请、帐户生命周期和用户身份。5控制
- 角色描述
- 注册流程
- 账户生命周期
- 帐号编号
- 可预测的身份
04验证登录、密码策略、多步骤验证和帐户恢复流程。13控制
- 移动加密凭证
- 默认凭据
- 暴力保护
- 身份验证绕过
- 记住我功能
- 浏览器缓存
- 密码政策
- 密码重置
- 多重身份验证
- 替代渠道
- OAuth 和 OpenID 连接
- 无密码登录和魔术连接
- MFA 疲劳和恢复
06会话管理Cookie、会话持续时间、注销、令牌更新和会话完整性。8控制
- 会话令牌方案
- Cookie 属性
- 会话固定
- 客户端会话泄漏
- 跨站请求伪造保护
- 退出和取消
- 会话超时
- 并发会话
07输入验证表单、API、查询、文件、URL 和输出处理限制。15控制
- 镜像脚本注入
- 持久脚本注入
- HTTP 方法更改
- 参数污染
- 数据库注入
- XML 和 XPath 处理
- 服务器端代码/命令处理
- 服务器端请求
- 主持人称号
- 文件上传
- 批量字段分配
- 安全转发
- 标头和日志注入
- NoSQL 和搜索查询注入
- LDAP 和表达式语言注入
08服务器端交互服务器的请求、文件、模板、命令、XML 和缓存处理限制。10控制
- 服务器端请求伪造
- 本地和远程文件包含
- 目录迁移
- 服务器端模板注入
- 操作系统命令注入
- 不安全的对象序列化
- XML外部实体处理
- HTTP 请求走私
- 网络缓存中毒
- 文件处理线
09错误处理错误消息不泄露信息，安全的错误行为和可追溯性。3控制
- 错误信息
- 错误行为
- 记录和报警
10弱密码学TLS、敏感数据传输、密码存储、签名、密钥和秘密生命周期。7控制
- TLS配置
- 敏感数据迁移
- 应用密码学
- 秘密管理
- 密码存储
- 令牌和签名验证
- 密钥生命周期
11数据保护和隐私数据最小化、访问、导出、备份、保留和删除流程。9控制
- 数据分类
- 数据最小化
- 响应数据过多
- 出口安全
- 备份和快照保护
- 搜索和缓存泄漏
- 存储和删除
- 数据传输给第三方
- 客户端包秘密
12业务逻辑交易顺序、重复、价格和数量完整性、并发性和滥用限制。8控制
- 商业规则诚信
- 请求重复限制
- 工作流程跳过
- 价格和数量完整性
- 比赛条件
- 文件和资源限制
- 功能滥用
- 事务回滚
13客户端浏览器、客户端存储、脚本、重定向和 UI 安全。9控制
- 基于 DOM 的脚本注入
- JavaScript 执行面
- HTML注入
- 客户端重定向
- CSS 和资源加载
- 浏览器存储
- 网络消息传递
- 点击规避
- 第三方依赖项
14API安全性REST、GraphQL、WebSocket 和 webhook 流；架构、身份和数据访问限制。13控制
- API清单和版本
- API认证
- API对象授权
- API 模式验证
- API资源限制
- GraphQL 安全性
- WebSocket 安全
- Webhook 安全性
- 数据和特征过度曝光
- API库存管理
- 信任第三方 API 响应
- JWT 和访问令牌
- API 错误和分页行为
15基础设施和域名配置 DNS 和域名、服务清单、云和基础设施访问。9控制
- DNS 记录完整性
- 子域名接管
- 源服务器隐藏
- 管理和诊断界面
- 云存储权限
- 云元数据访问
- 电子邮件域名保护
- 证书和域生命周期
- 网络和服务暴露
16供应链依赖关系、锁定文件、SBOM、构建、部署和供应链控制。8控制
- 成瘾清单
- 已知漏洞和使用分析
- 包装完整性
- 第三方脚本完整性
- 编译和发布管道
- SBOM 和原产地证明
- 第三方服务风险
- 来源和神器秘密
17资源和耐用性受控测试环境中的资源配额、超时、排队和耐久性评估。8控制
- 费率和配额限制
- 请求大小和时间限制
- 压缩和存档炸弹
- 昂贵的查询和过滤器
- 尾压和背压
- 缓存崩溃
- 依赖中断
- 容量和恢复
18登记和事件响应安全事件的记录、屏蔽、完整性、报警和响应过程。8控制
- 安全事件报道
- 敏感数据屏蔽
- 记录完整性
- 相关性和时间
- 报警质量
- 存储和访问
- 事件响应准备
- 检测验证
19定制批准的验证三个额外的标头需要单独的书面同意、合成帐户或非生产环境以及掩盖的证据。3 检查特殊批准
- 受控账户锁定验证
- 分期能力测试观察
- 隐藏的数据泄露证据
从代码到云，专业领域我们将应用程序的源代码、配置和技术证明一起考虑。
01源代码和数据流
- 我们检查敏感处理点的输入，例如 SQL、命令、模板、HTML、文件路径、路由、SSRF 和序列化。
02秘密和身份信息安全
- 我们以屏蔽形式评估代码、配置和许可的 Git 历史记录中的密钥、密码和令牌信号。
03隐私和数据流
- 我们检查日志、遥测、第三方服务和人工智能连接中个人数据的处理限制。
04身份协议
- 我们在代码/配置级别评估 JWT、OAuth 和类似身份流的签名、持续时间、路由和信任限制。
05数据库和访问规则
- 模式、查询、RLS 和权限设置；我们从数据访问和安全迁移方面对其进行研究。
06业务逻辑和交易完整性
- 我们考虑业务规则，例如状态转换、价格和数量、经常性交易、库存和余额。
07服务器和主机加固
- 我们检查提供的访问、SSH、网络、服务、日志和基本安全策略的系统设置。
08零信任与服务沟通
- 我们评估 mTLS、服务网格、网络策略和服务间授权配置。
09云 IAM 和 Kubernetes
- 我们审查角色和策略权限、存储访问、加密、安全组和 Kubernetes RBAC 设置。
10协议安全
- 我们使用相关检查配置文件评估应用程序协议和连接配置中的信任范围。
11密码学库存
- 算法、密钥和加密组件的使用；我们检查 CBOM 和后量子跃迁以及配置信号。
12浏览器插件和 PWA
- 我们评估清单、权限、内容策略、消息传递、服务工作人员和客户端存储配置。
13桌面应用程序安全
- 我们检查桌面应用程序中的协议、进程间通信和信任边界配置。
14iOS 和 Android 安全
- 我们涵盖清单、数据包、权限、数据存储、网络、嵌入式秘密和广播配置以及移动代码审查。
15AI、代理和 RAG 安全
- 我们在代码和架构级别评估提示注入、输出处理、工具授权、人工批准、访问过滤器和消耗限制。
16供应链和 CI/CD
- 我们检查依赖关系、锁定文件、SBOM、容器/IaC、构建和部署完整性信号。
17Web3、物联网和固件
- 我们使用相关的安全配置文件评估此类项目中提供的资源和配置输入。
18DNS 和电子邮件安全
- 我们检查域和电子邮件配置的安全日志以及提供的技术证据。
19资源消耗和ReDoS
- 检查代码中的资源限制、正则表达式、超时和无限事务信号；我们在测试环境范围内评估容量报告。
20审核日志和事件可见性
- 我们评估安全事件、屏蔽、日志完整性和警报证据的可追溯性。
移动应用程序的每一层使用源代码、包、配置和运行时证据审查 Android、iOS、Flutter 和 React Native 项目。
01数据保留和隐私
- 对设备存储、备份、日志、剪贴板和屏幕截图进行细粒度的数据限制。
02密码学和秘密
- 嵌入式密钥、随机性、加密的使用以及秘密的管理。
03身份与授权
- 用于会话、生物识别、OAuth 和关键事务的服务器端身份验证。
04网络和 TLS
- HTTP/TLS、ATS、网络安全配置、证书验证和相关固定配置。
05平台集成
- 深层链接、WebView、暴露组件、IPC 和通知安全。
06代码、权限和 SDK
- 应用程序权限、第三方 SDK、依赖项和安全发布设置。
07应用程序完整性
- 调试和签名配置；有关设备和应用程序完整性的保护信号。
08隐私声明
- 隐私清单、跟踪限制和相关移动数据/设备通信配置。
正确的问题，正确的方法本地分析、经过验证的筛选资料、外部工具报告和专家评审汇集在同一个评估中。下面介绍每种方法的用法。
01VulKill 基本扫描检验方法及使用范围
- 我们以影响较小的方式检查响应中的 HTTPS/TLS、安全标头、cookie、CORS/CSP 和安全信号。
02VulKill代码及数据流分析检验方法及使用范围
- 在 Python 和 JavaScript/TypeScript 代码中，我们跨函数和文件跟踪外部输入如何到达精确的处理点。
03VulKill内置控制器检验方法及使用范围
- 我们评估身份、数据、云、移动、密码学和其他专业主题下的代码和配置。
04OWASP ZAP检验方法及使用范围
- 我们对授权目标进行范围内的 Web/API 审查并记录报告评估。
05Burp Suite 报告检验方法及使用范围
- 我们检查记录的站点地图和 HTTP 事务证据，并将其与专家的调查结果相关联。
06Semgrep / Opengrep检验方法及使用范围
- 我们从安全规则和数据流方面检查本地源代码，并评估记录的分析报告。
07约恩检验方法及使用范围
- 我们使用 C/C++、Java/Kotlin、PHP、Go、Ruby 和 C# 项目中支持的配置文件执行深度代码和数据流分析。
08GitHub CodeQL 报告检验方法及使用范围
- 我们评估来自外部 CodeQL 分析的 SARIF 结果，并将其映射到相关的审计标题。
09琐事检验方法及使用范围
- 我们检查支持的依赖项、容器映像和 IaC 文件是否存在漏洞、机密和错误配置。
10OSV-扫描仪检验方法及使用范围
- 我们将支持的本地锁定文件与开放数据库进行比较，并评估记录的依赖性报告。
11图式检验方法及使用范围
- 我们评估已批准的本机 API 和架构配置文件以及有限的 API 控制以及记录的测试报告。
12testsl.sh / SSLyze 报告检验方法及使用范围
- 我们评估了 VulKill 的本机 TLS 配置文件并记录了详细的 TLS 报告。
13地图检验方法及使用范围
- 我们审核授权范围内的 TCP 服务清单和有限服务/发布信息。
14细胞核检验方法及使用范围
- 我们使用选定的模板范围评估授权的 HTTP 目标，并对结果进行独立验证。
15吉特泄漏检验方法及使用范围
- 我们使用屏蔽结果评估允许的本地项目文件和 Git 历史记录中的秘密信号。
16松露猪检验方法及使用范围
- 我们检查来自本地文件和 Git 历史配置文件的凭证信号，但不泄露值。
17新项目管理审计检验方法及使用范围
- 我们考虑使用本地锁定文件来单独批准项目输入和 npm 咨询服务访问。
18Dependabot 报告检验方法及使用范围
- 我们审查记录的依赖性警报、受影响的组件和修复优先级。
19SSL 实验室报告检验方法及使用范围
- 我们评估记录的 TLS 和证书报告，并将结果纳入安全审查中。
20开放式SSL检验方法及使用范围
- 我们评估使用本机 TLS 证书验证记录的 X.509 报告。
21剧作家/浏览器测试报告检验方法及使用范围
- 我们考虑外部浏览器测试的记录结果以及角色、会话和用户流分析。
22Grafana k6 报告检验方法及使用范围
- 在从批准的测试环境收到的容量报告中，我们评估报告中的请求数量、延迟和阈值结果。
23SIEM 和日志审查检验方法及使用范围
- 我们评估记录的安全事件证据以及日志和警报流程的专家审查。
24专家人工审核检验方法及使用范围
- 我们通过专家评估来验证业务规则、访问限制以及调查结果的实际影响。
使用和报告选项命令行、本机 Web 界面、MCP、可选的 AI 分类和开发团队友好的输出。
01CLI、本机 Web 界面和 MCPv1.1 tabanından gelen kullanım yolları.
- 通过命令行、本地 Web 界面和本地 stdio MCP 进行安全检查。
- 将 SAST、SCA、SBOM、VEX、IaC 和注册车辆报告合并到通用评估流程中。
- 人工批准的行动计划、项目范围、质量检查和审计跟踪。
02可选本地模型和外部AI代理人工智能驱动的评估，包括建议、同意和证据限制。
- 外部 AI 代理的基于项目的权限和符合架构的推荐流程。
- 通过可选的、兼容 OpenAI 的本机模型连接进行分类；本地模型的建议与人类判断和审计跟踪一起进行评估。
- 将建议的证据级别与自定义版本中的可验证日志和完整性检查联系起来。
03报告和开发工作流程输出为技术团队和决策者提供不同的输出格式。
- JSON、HTML、SARIF、GitLab 和 PDF 报告选项。
- 技术报告、执行摘要、优先修复计划和重新测试状态记录。
- 将记录的外部分析结果与评论标题和技术证据联系起来。
发现、解决和重新验证。
我们将审查的输出转化为开发团队可以实施的具体修复计划。
已证实的发现
有关受影响实体的 CWE/CVSS 信息、隐藏的技术证据、验证状态、业务影响和适当的调查结果。
优先解决方案
由于相同根本原因而导致的调查结果的相关性、误报评估、技术报告和执行摘要。
修正后检查
重新测试已批准的修复、比较以前和当前的结果、记录关闭状态。
检查仅在授权范围内进行。主动验证和能力测试的环境、限制和批准在研究之前确定。
我们来谈谈项目的范围 ↗
VulKill / 研究档案开源。可追溯的工作。
03 / 我们一起来看看
下一步是
仔细看看。
VulKill
安全研究、应用审查
和开源开发。