{
  "finding_id": "DF-3568",
  "verdict": "reproduced",
  "impact": "none",
  "reproduce": {
    "build": "in-guest: sh build.sh (-DNDEBUG = non-INVARIANTS production semantics)",
    "run": "sh run.sh",
    "expected": "baseline: guard FAULT-CONFIRMED si_addr==key+8 exit 42; safe segv exit 139; fixed: both exit 0; rijkat FIPS-197 all PASS"
  },
  "kernel_refs": [
    "sys/crypto/rijndael/rijndael-api.c:38",
    "sys/crypto/rijndael/rijndael-alg-fst.c:738",
    "sys/crypto/rijndael/rijndael-alg-fst.c:740",
    "sys/crypto/rijndael/rijndael-alg-fst.c:951",
    "sys/crypto/rijndael/rijndael-alg-fst.c:979",
    "sys/netproto/802_11/wlan_ccmp/ieee80211_crypto_ccmp.c:134",
    "sys/crypto/cryptoapi/cryptoapi.c:308"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "verdict.json", "manifest.json",
    "guard_rij_badbits.c", "rijkat.c", "rijndael-api_fixed.c",
    "build.sh", "run.sh",
    "build.log", "run.log", "guard.log", "fixval.log", "env.txt",
    "fix.diff"
  ]
}