@quantakrypto/core 0.4.3 → 0.4.4

package/src/detectors/c.ts

@@ -1,7 +1,9 @@
 /**
  * Source-code detector for classical asymmetric cryptography in C / C++ using
- * OpenSSL (the dominant crypto library for the ecosystem). Lexical, same
- * strategy as the other packs; the OpenSSL function names are distinctive.
+ * OpenSSL (the dominant crypto library for the ecosystem), libsodium, and — for
+ * the embedded / firmware / IoT niche — Mbed TLS (`mbedtls_*`) and wolfSSL /
+ * wolfCrypt (`wc_*`). Lexical, same strategy as the other packs; every library's
+ * function names are distinctive enough to keep the false-positive risk low.
  *
  * NOTE: scanning OpenSSL's OWN source/headers will naturally light up (the
  * library declares these symbols) — that is inherent to lexical scanning of a
@@ -48,6 +50,24 @@ const RE_C_RSA_CRYPT = /\bRSA_public_encrypt\s*\(|\bRSA_private_decrypt\s*\(/g;
 // deprecated protocol version or disabling certificate verification.
 const RE_C_TLS_VERSION = /\bTLSv1_method\b|\bSSLv3_method\b/g;
 const RE_C_TLS_VERIFY_NONE = /\bSSL_VERIFY_NONE\b/g;
+// Embedded C crypto libraries (the "embedded" niche): Mbed TLS and wolfSSL /
+// wolfCrypt. Both use highly-distinctive `mbedtls_*` / `wc_*` prefixes, so the
+// false-positive risk is low. These dominate firmware / IoT / RTOS builds where
+// OpenSSL is too heavy — a codebase surface qScan previously missed entirely.
+const RE_C_MBEDTLS_RSA = /\bmbedtls_rsa_gen_key\s*\(/g;
+const RE_C_MBEDTLS_EC = /\bmbedtls_ecp_gen_key(?:pair)?\s*\(/g;
+const RE_C_MBEDTLS_ECDSA =
+  /\bmbedtls_ecdsa_(?:sign|write_signature|read_signature|verify)\w*\s*\(/g;
+const RE_C_MBEDTLS_ECDH = /\bmbedtls_ecdh_(?:compute_shared|calc_secret)\s*\(/g;
+const RE_C_MBEDTLS_DH = /\bmbedtls_dhm_(?:make_public|make_params|calc_secret)\s*\(/g;
+const RE_C_WOLF_RSA =
+  /\bwc_MakeRsaKey\s*\(|\bwc_RsaPublicEncrypt\s*\(|\bwc_RsaPrivateDecrypt\s*\(/g;
+const RE_C_WOLF_ECC = /\bwc_ecc_make_key(?:_ex)?\s*\(/g;
+const RE_C_WOLF_ECDSA = /\bwc_ecc_sign_hash\s*\(|\bwc_ecc_verify_hash\s*\(/g;
+const RE_C_WOLF_ECDH = /\bwc_ecc_shared_secret\s*\(/g;
+const RE_C_WOLF_DH = /\bwc_DhGenerateKeyPair\s*\(|\bwc_DhAgree\s*\(/g;
+const RE_C_WOLF_CURVE25519 = /\bwc_curve25519_(?:make_key|shared_secret)\s*\(/g;
+const RE_C_WOLF_ED25519 = /\bwc_ed25519_(?:make_key|sign_msg|verify_msg)\s*\(/g;
 
 const RULE_C_RSA: RuleMeta = {
   id: "c-rsa-keygen",
@@ -275,11 +295,173 @@ const RULE_C_TLS_VERIFY_NONE: RuleMeta = {
   message: "SSL_VERIFY_NONE disables TLS certificate verification (MITM risk).",
   remediation: "Use SSL_VERIFY_PEER and verify certificates properly.",
 };
+// --- Mbed TLS (embedded) ---
+const RULE_C_MBEDTLS_RSA: RuleMeta = {
+  id: "c-mbedtls-rsa-keygen",
+  title: "Mbed TLS RSA key generation",
+  description: "Mbed TLS mbedtls_rsa_gen_key",
+  category: "kem",
+  severity: "high",
+  confidence: "high",
+  algorithm: "RSA",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message: "Generates a classical RSA key pair (Mbed TLS, embedded), which is not quantum-safe.",
+};
+const RULE_C_MBEDTLS_EC: RuleMeta = {
+  id: "c-mbedtls-ec-keygen",
+  title: "Mbed TLS EC key generation",
+  description: "Mbed TLS mbedtls_ecp_gen_key / mbedtls_ecp_gen_keypair",
+  category: "key-exchange",
+  severity: "high",
+  confidence: "high",
+  algorithm: "ECDH",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Generates a classical EC key pair (Mbed TLS, embedded). EC keys feed BOTH ECDSA signatures and ECDH key agreement; the ECDH path is harvest-now-decrypt-later exposed.",
+  remediation:
+    "For key agreement: hybrid X25519MLKEM768 (ML-KEM-768). For signatures: ML-DSA-65 (FIPS 204).",
+};
+const RULE_C_MBEDTLS_ECDSA: RuleMeta = {
+  id: "c-mbedtls-ecdsa",
+  title: "Mbed TLS ECDSA signature",
+  description: "Mbed TLS mbedtls_ecdsa_sign / write_signature / read_signature / verify",
+  category: "signature",
+  severity: "high",
+  confidence: "high",
+  algorithm: "ECDSA",
+  hndl: false,
+  cwe: CWE_BROKEN_CRYPTO,
+  message: "Classical ECDSA (Mbed TLS, embedded) is forgeable by a quantum attacker.",
+  remediation: "ML-DSA-65 (FIPS 204) or SLH-DSA (FIPS 205)",
+};
+const RULE_C_MBEDTLS_ECDH: RuleMeta = {
+  id: "c-mbedtls-ecdh",
+  title: "Mbed TLS ECDH key agreement",
+  description: "Mbed TLS mbedtls_ecdh_compute_shared / mbedtls_ecdh_calc_secret",
+  category: "key-exchange",
+  severity: "high",
+  confidence: "high",
+  algorithm: "ECDH",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Elliptic-curve Diffie-Hellman (Mbed TLS, embedded) is broken by Shor's algorithm (harvest-now-decrypt-later).",
+};
+const RULE_C_MBEDTLS_DH: RuleMeta = {
+  id: "c-mbedtls-dh",
+  title: "Mbed TLS Diffie-Hellman key exchange",
+  description: "Mbed TLS mbedtls_dhm_make_public / make_params / calc_secret",
+  category: "key-exchange",
+  severity: "high",
+  confidence: "high",
+  algorithm: "DH",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Finite-field Diffie-Hellman (Mbed TLS, embedded) is broken by Shor's algorithm (harvest-now-decrypt-later).",
+};
+// --- wolfSSL / wolfCrypt (embedded) ---
+const RULE_C_WOLF_RSA: RuleMeta = {
+  id: "c-wolfssl-rsa",
+  title: "wolfSSL RSA key/usage",
+  description: "wolfCrypt wc_MakeRsaKey / wc_RsaPublicEncrypt / wc_RsaPrivateDecrypt",
+  category: "kem",
+  severity: "high",
+  confidence: "high",
+  algorithm: "RSA",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Classical RSA key generation / encryption (wolfSSL, embedded) is harvest-now-decrypt-later exposed.",
+};
+const RULE_C_WOLF_ECC: RuleMeta = {
+  id: "c-wolfssl-ecc-keygen",
+  title: "wolfSSL EC key generation",
+  description: "wolfCrypt wc_ecc_make_key / wc_ecc_make_key_ex",
+  category: "key-exchange",
+  severity: "high",
+  confidence: "high",
+  algorithm: "ECDH",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Generates a classical EC key pair (wolfSSL, embedded). EC keys feed BOTH ECDSA signatures and ECDH key agreement; the ECDH path is harvest-now-decrypt-later exposed.",
+  remediation:
+    "For key agreement: hybrid X25519MLKEM768 (ML-KEM-768). For signatures: ML-DSA-65 (FIPS 204).",
+};
+const RULE_C_WOLF_ECDSA: RuleMeta = {
+  id: "c-wolfssl-ecdsa",
+  title: "wolfSSL ECDSA signature",
+  description: "wolfCrypt wc_ecc_sign_hash / wc_ecc_verify_hash",
+  category: "signature",
+  severity: "high",
+  confidence: "high",
+  algorithm: "ECDSA",
+  hndl: false,
+  cwe: CWE_BROKEN_CRYPTO,
+  message: "Classical ECDSA (wolfSSL, embedded) is forgeable by a quantum attacker.",
+  remediation: "ML-DSA-65 (FIPS 204) or SLH-DSA (FIPS 205)",
+};
+const RULE_C_WOLF_ECDH: RuleMeta = {
+  id: "c-wolfssl-ecdh",
+  title: "wolfSSL ECDH key agreement",
+  description: "wolfCrypt wc_ecc_shared_secret",
+  category: "key-exchange",
+  severity: "high",
+  confidence: "high",
+  algorithm: "ECDH",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Elliptic-curve Diffie-Hellman (wolfSSL, embedded) is broken by Shor's algorithm (harvest-now-decrypt-later).",
+};
+const RULE_C_WOLF_DH: RuleMeta = {
+  id: "c-wolfssl-dh",
+  title: "wolfSSL Diffie-Hellman key exchange",
+  description: "wolfCrypt wc_DhGenerateKeyPair / wc_DhAgree",
+  category: "key-exchange",
+  severity: "high",
+  confidence: "high",
+  algorithm: "DH",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Finite-field Diffie-Hellman (wolfSSL, embedded) is broken by Shor's algorithm (harvest-now-decrypt-later).",
+};
+const RULE_C_WOLF_CURVE25519: RuleMeta = {
+  id: "c-wolfssl-curve25519",
+  title: "wolfSSL X25519 key agreement",
+  description: "wolfCrypt wc_curve25519_make_key / wc_curve25519_shared_secret",
+  category: "key-exchange",
+  severity: "medium",
+  confidence: "high",
+  algorithm: "X25519",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "X25519 key agreement (wolfSSL, embedded) is modern but classical, and harvest-now-decrypt-later exposed.",
+};
+const RULE_C_WOLF_ED25519: RuleMeta = {
+  id: "c-wolfssl-ed25519",
+  title: "wolfSSL Ed25519 signature",
+  description: "wolfCrypt wc_ed25519_make_key / wc_ed25519_sign_msg / wc_ed25519_verify_msg",
+  category: "signature",
+  severity: "low",
+  confidence: "high",
+  algorithm: "EdDSA",
+  hndl: false,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Ed25519 signatures (wolfSSL, embedded) are classical and forgeable by a quantum attacker.",
+  remediation: "ML-DSA-65 (FIPS 204) or SLH-DSA (FIPS 205)",
+};
 
 /** Detects classical asymmetric crypto in C/C++ (OpenSSL). */
 export const cDetector: Detector = {
   id: "c-crypto",
-  description: "Classical asymmetric crypto in C/C++ (OpenSSL)",
+  description: "Classical asymmetric crypto in C/C++ (OpenSSL, libsodium, Mbed TLS, wolfSSL)",
   scope: "source",
   language: "c",
   rules: [
@@ -300,6 +482,18 @@ export const cDetector: Detector = {
     RULE_C_RSA_CRYPT,
     RULE_C_TLS_VERSION,
     RULE_C_TLS_VERIFY_NONE,
+    RULE_C_MBEDTLS_RSA,
+    RULE_C_MBEDTLS_EC,
+    RULE_C_MBEDTLS_ECDSA,
+    RULE_C_MBEDTLS_ECDH,
+    RULE_C_MBEDTLS_DH,
+    RULE_C_WOLF_RSA,
+    RULE_C_WOLF_ECC,
+    RULE_C_WOLF_ECDSA,
+    RULE_C_WOLF_ECDH,
+    RULE_C_WOLF_DH,
+    RULE_C_WOLF_CURVE25519,
+    RULE_C_WOLF_ED25519,
   ],
   appliesTo: (f) => hasExtension(f, C_EXTENSIONS),
   detect({ file, content }): Finding[] {
@@ -327,6 +521,18 @@ export const cDetector: Detector = {
     add(RE_C_RSA_CRYPT, RULE_C_RSA_CRYPT);
     add(RE_C_TLS_VERSION, RULE_C_TLS_VERSION);
     add(RE_C_TLS_VERIFY_NONE, RULE_C_TLS_VERIFY_NONE);
+    add(RE_C_MBEDTLS_RSA, RULE_C_MBEDTLS_RSA);
+    add(RE_C_MBEDTLS_EC, RULE_C_MBEDTLS_EC);
+    add(RE_C_MBEDTLS_ECDSA, RULE_C_MBEDTLS_ECDSA);
+    add(RE_C_MBEDTLS_ECDH, RULE_C_MBEDTLS_ECDH);
+    add(RE_C_MBEDTLS_DH, RULE_C_MBEDTLS_DH);
+    add(RE_C_WOLF_RSA, RULE_C_WOLF_RSA);
+    add(RE_C_WOLF_ECC, RULE_C_WOLF_ECC);
+    add(RE_C_WOLF_ECDSA, RULE_C_WOLF_ECDSA);
+    add(RE_C_WOLF_ECDH, RULE_C_WOLF_ECDH);
+    add(RE_C_WOLF_DH, RULE_C_WOLF_DH);
+    add(RE_C_WOLF_CURVE25519, RULE_C_WOLF_CURVE25519);
+    add(RE_C_WOLF_ED25519, RULE_C_WOLF_ED25519);
     return findings;
   },
 };

package/src/detectors/cicd.ts

@@ -0,0 +1,158 @@
+/**
+ * Config detector: classical signing of build artifacts and code in CI/CD
+ * pipelines (GitHub Actions, GitLab CI, Jenkins, Azure Pipelines, CircleCI).
+ *
+ * Artifact and code signatures are the signature-side analogue of "harvest now,
+ * decrypt later": a release signed today with a classical key is *forgeable* once
+ * a CRQC exists, and long-lived artifacts (container images, released binaries,
+ * SBOM attestations) keep verifying against that classical public key for years.
+ * So these are flagged `hndl:false` (a signature is not confidentiality — nothing
+ * to harvest) but remain real quantum-migration debt.
+ *
+ * Covered command invocations (distinctive enough inside a CI file that the
+ * false-positive risk is low):
+ *  - `cosign sign|attest|generate-key-pair`  → sigstore/cosign uses ECDSA P-256
+ *    (both key-based and keyless/Fulcio).
+ *  - `gpg --detach-sign|--clearsign|--sign`   → GnuPG, classically RSA.
+ *  - `jarsigner`                              → Java JAR signing (RSA/DSA/EC).
+ *  - `codesign --sign|-s`                     → Apple code signing (RSA).
+ *  - `minisign`                               → Ed25519 signatures.
+ *
+ * Gated to CI/CD pipeline files so `gpg`/`cosign` mentioned in a shell script or
+ * doc does not fire; the surface here is specifically the release pipeline.
+ */
+import type { Detector, Finding, RuleMeta } from "../types.js";
+import { eachMatch, findingFromRule } from "../detect-utils.js";
+import { CWE_BROKEN_CRYPTO } from "../cwe.js";
+
+/** True for the CI/CD pipeline definition files this detector inspects. */
+function isCiPipelineFile(filePath: string): boolean {
+  const lower = filePath.toLowerCase();
+  const base = lower.split("/").pop() ?? lower;
+  return (
+    (lower.includes(".github/workflows/") && (lower.endsWith(".yml") || lower.endsWith(".yaml"))) ||
+    base === ".gitlab-ci.yml" ||
+    lower.endsWith(".gitlab-ci.yml") ||
+    base === "jenkinsfile" ||
+    lower.endsWith(".jenkinsfile") ||
+    base === "azure-pipelines.yml" ||
+    base === "azure-pipelines.yaml" ||
+    (lower.includes(".circleci/") && (lower.endsWith(".yml") || lower.endsWith(".yaml")))
+  );
+}
+
+interface CiRule {
+  re: RegExp;
+  meta: RuleMeta;
+}
+
+const CI_RULES: CiRule[] = [
+  {
+    re: /\bcosign\s+(?:sign|attest|sign-blob|generate-key-pair)\b/g,
+    meta: {
+      id: "ci-cosign-ecdsa",
+      title: "cosign artifact signing (ECDSA)",
+      description: "sigstore/cosign signing in a CI pipeline",
+      category: "signature",
+      severity: "medium",
+      confidence: "high",
+      algorithm: "ECDSA",
+      hndl: false,
+      cwe: CWE_BROKEN_CRYPTO,
+      message:
+        "CI pipeline signs artifacts with cosign (ECDSA P-256, key-based or keyless/Fulcio); classical signatures are forgeable once a CRQC exists.",
+      remediation:
+        "Track sigstore's post-quantum signing roadmap (ML-DSA); plan hybrid signing for long-lived release artifacts.",
+    },
+  },
+  {
+    re: /\bgpg\b[^\n]*?\s--(?:detach-sign|clearsign|sign)\b/g,
+    meta: {
+      id: "ci-gpg-sign",
+      title: "GPG signing (RSA)",
+      description: "GnuPG detached/clear signing in a CI pipeline",
+      category: "signature",
+      severity: "medium",
+      confidence: "high",
+      algorithm: "RSA",
+      hndl: false,
+      cwe: CWE_BROKEN_CRYPTO,
+      message:
+        "CI pipeline signs with GPG, classically an RSA signing key; forgeable once a CRQC exists.",
+      remediation: "Plan migration to ML-DSA-65 (FIPS 204) or SLH-DSA (FIPS 205) signatures.",
+    },
+  },
+  {
+    re: /\bjarsigner\b/g,
+    meta: {
+      id: "ci-jarsigner",
+      title: "Java jarsigner (classical)",
+      description: "JDK jarsigner code signing in a CI pipeline",
+      category: "signature",
+      severity: "medium",
+      confidence: "high",
+      algorithm: "RSA",
+      hndl: false,
+      cwe: CWE_BROKEN_CRYPTO,
+      message:
+        "CI pipeline signs JARs with jarsigner (classical RSA/DSA/EC signing key); forgeable once a CRQC exists.",
+      remediation:
+        "Plan migration to a PQC signature scheme (ML-DSA-65 / SLH-DSA) as the JDK adds support.",
+    },
+  },
+  {
+    re: /\bcodesign\s+(?:-s\b|--sign\b)/g,
+    meta: {
+      id: "ci-codesign",
+      title: "Apple codesign (RSA)",
+      description: "Apple codesign in a CI pipeline",
+      category: "signature",
+      severity: "medium",
+      confidence: "high",
+      algorithm: "RSA",
+      hndl: false,
+      cwe: CWE_BROKEN_CRYPTO,
+      message:
+        "CI pipeline signs with Apple codesign (classical RSA signing identity); forgeable once a CRQC exists.",
+      remediation: "Classical only today; track Apple's PQC signing support and plan migration.",
+    },
+  },
+  {
+    re: /\bminisign\b/g,
+    meta: {
+      id: "ci-minisign",
+      title: "minisign (Ed25519)",
+      description: "minisign signing in a CI pipeline",
+      category: "signature",
+      severity: "low",
+      confidence: "high",
+      algorithm: "EdDSA",
+      hndl: false,
+      cwe: CWE_BROKEN_CRYPTO,
+      message:
+        "CI pipeline signs with minisign (Ed25519); modern but classical and forgeable once a CRQC exists.",
+      remediation: "Plan migration to ML-DSA-65 (FIPS 204) or SLH-DSA (FIPS 205).",
+    },
+  },
+];
+
+/** Detects classical artifact / code signing in CI/CD pipeline definitions. */
+export const cicdDetector: Detector = {
+  id: "cicd-signing",
+  description: "Classical artifact / code signing in CI/CD pipelines",
+  scope: "config",
+  language: "any",
+  rules: CI_RULES.map((r) => r.meta),
+  appliesTo: isCiPipelineFile,
+  detect({ file, content }): Finding[] {
+    const findings: Finding[] = [];
+    for (const rule of CI_RULES) {
+      eachMatch(rule.re, content, (m) => {
+        findings.push(
+          findingFromRule(rule.meta, { file, content, index: m.index, matchLength: m[0].length }),
+        );
+      });
+    }
+    return findings;
+  },
+};

package/src/detectors/cloud-kms.ts

@@ -0,0 +1,87 @@
+/**
+ * Cloud-KMS SDK detector: classical asymmetric keys minted at RUNTIME through a
+ * cloud KMS SDK call — the application-code counterpart to the Terraform detector
+ * (which covers the infrastructure-as-code path). AWS KMS `CreateKey` /
+ * `GenerateDataKeyPair` select the key type with a `KeySpec` / `KeyPairSpec`
+ * (legacy `CustomerMasterKeySpec`) field whose value is `RSA_*` or `ECC_*`.
+ *
+ * These PascalCase field names + `RSA_2048` / `ECC_NIST_P256` values are specific
+ * to the AWS KMS API across every SDK language (JS/TS, Python/boto3, Java, Go,
+ * the CLI, JSON policies), so a single lexical rule catches them all with a very
+ * low false-positive rate. Terraform uses the snake_case `customer_master_key_spec`
+ * instead, so this never double-counts with the IaC detector.
+ *
+ * HNDL: an RSA KMS key (encryption/KEM) and an EC KMS key (which AWS KMS can use
+ * for ECDH key agreement as well as ECDSA signing) are both harvest-now-decrypt-
+ * later exposed → hndl:true.
+ */
+import type { Detector, Finding, RuleMeta } from "../types.js";
+import { eachMatch, findingFromRule } from "../detect-utils.js";
+import { CWE_BROKEN_CRYPTO } from "../cwe.js";
+
+// The AWS KMS key-spec fields (CreateKey / GenerateDataKeyPair / legacy CMK). The
+// optional `"?` after the field name accepts both the JS/HCL form (`KeySpec:`) and
+// the JSON form where the key is quoted (`"KeySpec":`).
+const SPEC_KEYS = "KeySpec|KeyPairSpec|CustomerMasterKeySpec";
+const RE_KMS_RSA = new RegExp(`\\b(?:${SPEC_KEYS})"?\\s*[:=]\\s*['"]RSA_\\d+['"]`, "g");
+const RE_KMS_EC = new RegExp(`\\b(?:${SPEC_KEYS})"?\\s*[:=]\\s*['"]ECC_[A-Z0-9_]+['"]`, "g");
+
+const RULE_KMS_RSA: RuleMeta = {
+  id: "cloud-kms-rsa",
+  title: "AWS KMS RSA key",
+  description: "AWS KMS CreateKey / GenerateDataKeyPair with an RSA_* key spec",
+  category: "kem",
+  severity: "high",
+  confidence: "high",
+  algorithm: "RSA",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Mints a classical RSA key via the AWS KMS SDK (harvest-now-decrypt-later exposed for encryption).",
+  remediation: "Plan migration to PQC as cloud KMS adds ML-KEM / ML-DSA key specs.",
+};
+const RULE_KMS_EC: RuleMeta = {
+  id: "cloud-kms-ec",
+  title: "AWS KMS EC key",
+  description: "AWS KMS CreateKey / GenerateDataKeyPair with an ECC_* key spec",
+  category: "key-exchange",
+  severity: "high",
+  confidence: "high",
+  algorithm: "ECDH",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Mints a classical EC key via the AWS KMS SDK; EC keys feed ECDSA signatures and ECDH key agreement (the ECDH path is harvest-now-decrypt-later exposed).",
+  remediation:
+    "For key agreement: hybrid X25519MLKEM768 (ML-KEM-768). For signatures: ML-DSA-65 (FIPS 204).",
+};
+
+/** Detects classical asymmetric keys provisioned via a cloud KMS SDK call. */
+export const cloudKmsDetector: Detector = {
+  id: "cloud-kms",
+  description: "Classical asymmetric keys minted via a cloud KMS SDK (AWS KMS)",
+  scope: "config",
+  language: "any",
+  rules: [RULE_KMS_RSA, RULE_KMS_EC],
+  appliesTo: () => true,
+  detect({ file, content }): Finding[] {
+    // Fast reject: only proceed if a KMS key-spec field name is present.
+    if (
+      !content.includes("KeySpec") &&
+      !content.includes("KeyPairSpec") &&
+      !content.includes("CustomerMasterKeySpec")
+    ) {
+      return [];
+    }
+    const findings: Finding[] = [];
+    const add = (re: RegExp, rule: RuleMeta): void =>
+      eachMatch(re, content, (m) =>
+        findings.push(
+          findingFromRule(rule, { file, content, index: m.index, matchLength: m[0].length }),
+        ),
+      );
+    add(RE_KMS_RSA, RULE_KMS_RSA);
+    add(RE_KMS_EC, RULE_KMS_EC);
+    return findings;
+  },
+};