{
  "finding_id": "DF-5691",
  "file": "sys/libprop/prop_dictionary_util.c",
  "verdict": "reproduced",
  "impact": "none",
  "severity": "Low",
  "confidence": "certain",
  "reproduce": {
    "build": "sh /tmp/df5691/build.sh",
    "run": "sh /tmp/df5691/run.sh",
    "expected": "MATRIX: 2517 checks, 0 failures; baseline T1/T1b/T2/T2b/T3 TRAP(SIGSEGV), T2c leaks PWNED-BY-BUFFER-REUSE, T4/DML/NCD exit=0; fixed: T2b/T2c/T3 clean, T1/T1b/T2 trap (documented contract); NOLIFE(base) and NOLIFE(fixed): all expectations met"
  },
  "kernel_refs": [
    "sys/libprop/prop_dictionary_util.c:183-218",
    "sys/libprop/prop_dictionary_util.c:167",
    "sys/libprop/prop_dictionary.c:988-993",
    "sys/libprop/prop_string.c:85-87",
    "sys/libprop/prop_string.c:188-200",
    "sys/libprop/prop_string.c:101-105",
    "sys/libprop/prop_string.c:302-304",
    "sys/dev/disk/dm/dm_ioctl.c:396-409",
    "sys/dev/disk/dm/dm_ioctl.c:596-620",
    "sys/dev/misc/tbridge/tbridge.c:125"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "df5691.c", "guardalloc.h", "build.sh",
    "run.sh", "build.log", "run.log", "run2.log", "run3.log", "env.txt",
    "fix.diff", "manifest.json", "verdict.json"
  ]
}