MUT-BC-SS-01

MUT-BC-SS-01：针对 OpenSSL 中 X.509 BasicConstraints 的变异测试 概述 本仓库实现了一个针对 OpenSSL 中 X.509 证书验证行为的规范驱动型变异测试实验。 该实验基于以下变异算子： MUT-BC-SS-01 该算子修改 BasicConstraints 扩展： CA:TRUE → CA:FALSE 目标是评估证书验证是否正确地强制执行 RFC 5280 要求，并研究与 CVE-2021-3450 所代表的漏洞类别相关的行为。 仓库结构 MUT-BC-SS-01/ │ │ ├── configs/ │ ├── ca.cnf │ └──...