一款针对 Codex 的对抗性安全工程插件。
发现可达的攻击链，用证据加以证明，并修复共享的信任边界。
Русская версия ·
安装 ·
功能 ·
评估 ·
路线图 ·
安全策略
## 为什么选择 Secure Software
大多数安全审查仅停留在可疑语法、扫描器标签或通用检查清单上。Secure Software 围绕着一种更严格的证明模型而构建：
```
attacker entry -> controlled data or identity -> security control
-> bypass primitive -> privileged sink -> impact or persistence
```
在核心攻击链被证明可达，且有代码、配置、依赖或运行时证据支持之前，候选目标不会被提升为正式漏洞发现。反证和证明缺口将保持可见状态。
## 核心功能
| 功能 | 你将获得 |
| --- | --- |
| 威胁建模 | 资产、主体、信任边界、特权 sink 以及高影响的攻击假设。 |
| 仓库安全审计 | 安装后，通过 Codex Security executor 进行专注的、标准的或独立的多轮审查。 |
| 攻击路径验证 | Source 到 sink 的证明、同级绕过搜索、利用前提条件、影响范围以及校准后的置信度。 |
| 逆向工程 | 二进制、协议、IPC、更新链、本地信任边界以及漏洞利用原语分析。 |
| 平台覆盖范围 | Web/API、桌面/移动端、云/IAM、CI/CD、容器、Kubernetes、操作系统、数据库、游戏、固件、IoT 以及 OT/ICS。 |
| 实时情报 | MITRE ATT&CK Enterprise/Mobile/ICS 和 CISA KEV 快照，外加受限的供应商/CVE/OSV/EPSS/Snyk 数据补充。 |
| 根源修复 | 在共享执行边界处提供最小且完整的修复方案，并包含恶意和合法的回归测试。 |
该插件以能力优先为原则：支持深度的逆向分析、漏洞利用链分析、二进制分析、协议分析以及对抗性分析。实际的外部影响仍遵循已解析的目标与执行契约。
## 安装说明
### Codex 插件市场
```
codex plugin marketplace add GofMan5/secure-software
codex plugin add secure-software@secure-software
```
安装完成后，启动一个新的 Codex 会话，然后显式调用该技能：
```
$secure-software threat-model this repository and trace the highest-impact attack paths
```
### 直接技能安装
询问 Codex：
```
$skill-installer install https://github.com/GofMan5/secure-software/tree/main/plugins/secure-software/skills/secure-software
```
### 仓库级使用
将 `plugins/secure-software/skills/secure-software` 复制到：
```
/.agents/skills/secure-software
```
## 示例 Prompt
```
$secure-software run a deep repository-wide security audit; prove complete attack paths and rank only validated findings
```
```
$secure-software reverse this desktop application's IPC and updater trust boundaries, then identify realistic privilege chains
```
```
$secure-software correlate this SBOM and deployed configuration with vendor advisories, OSV, KEV, and EPSS; prove reachability before reporting
```
```
$secure-software fix the validated tenant-escape finding at the narrowest shared authorization boundary and add one regression check
```
## 证据契约
每个可报告的漏洞发现都包含：
- 严重程度和置信度作为独立的判断依据；
- 精确的证据以及从入口点到影响的完整链条；
- 攻击者的前提条件、受影响的资产、租户和影响范围；
- 反证、假设、环境依赖以及证明缺口；
- 根本原因、最小且完整的修复方案以及验证策略。
被证据所反驳的候选漏洞将被抑制。缺失的攻击边界会被推迟处理，而不是直接作为漏洞呈现。
## 威胁情报
内置的标准库获取器会为活跃的 MITRE ATT&CK 技术和完整的 CISA 已知被利用漏洞目录创建一份来源丰富的快照：
```
python plugins/secure-software/skills/secure-software/scripts/fetch_threat_intel.py \
--output threat-intel.json
```
它会校验 HTTPS 来源、重定向、目录版本、STIX 标识、ATT&CK 关系、KEV schema 及其时效性、资源限制以及原子输出行为。情报匹配结果仅作为线索，而非自动生成的漏洞发现。
## 包结构
```
.agents/plugins/marketplace.json
plugins/secure-software/
├── .codex-plugin/plugin.json
├── assets/
└── skills/secure-software/
├── SKILL.md
├── agents/openai.yaml
├── references/
└── scripts/fetch_threat_intel.py
```
## 验证
```
python scripts/validate_repo.py
python plugins/secure-software/skills/secure-software/scripts/fetch_threat_intel.py --self-test
python scripts/package_plugin.py
```
发布门禁会检查插件和市场清单、精确的技能树、Frontmatter、相对链接、双向 Unicode 控制字符、测试用例清单、离线威胁情报回归测试以及提交的 ZIP 包结构。
有关已验证的范围、盲测前向测试、残余限制以及设计质量与衡量结果之间的差异，请参阅[评估报告](docs/EVALUATION.md)。
最高杠杆的后续工作记录在 [ROADMAP.md](ROADMAP.md) 中：留出集 A/B 基准测试、规范化证据适配器、专用的逆向/二进制/协议运行手册、依赖项到部署的关联，以及机器可读的 runtime/IAM 账本。
## 许可证
您可以根据需要在以下许可之间进行选择：
- [Apache License 2.0](LICENSE-APACHE)，或
- [MIT License](LICENSE-MIT)。
除非您另有明确说明，否则贡献的许可条款与此相同。有关第三方名称、数据来源和归属说明，请参阅 [NOTICE](NOTICE)。
没有任何安全工作流能够证明任意的未来软件是不可破解的。Secure Software 旨在明确界定范围、证据质量、未经验证的攻击面以及残余风险。