MUT-BC-SS-01

MUT-BC-SS-01: OpenSSL における X.509 BasicConstraints のミューテーションテスト 概要 このリポジトリは、OpenSSL の X.509 証明書検証動作を対象とした、仕様駆動型ミューテーションテスト実験を実装したものです。 この実験は、以下のミューテーション演算子に基づいています: MUT-BC-SS-01 これは BasicConstraints 拡張を変更します: root@kitploit: CA:TRUE → CA:FALSE 目的は、証明書検証が RFC 5280 の要件を正しく強制しているかを評価し、CVE-2021-3450...