{
 "finding_id": "DF-4466",
 "verdict": "reproduced",
 "impact": "panic",
 "reproduce": {
  "build": "sh build.sh",
  "run": "sh run.sh",
  "expected": "Fatal trap 12 page fault, supervisor write to 0x0, Stopped at mpipe_alloc_callback+0x1a2 (deterministic, 3/3)"
 },
 "kernel_refs": [
  "sys/dev/disk/dm/crypt/dm_target_crypt.c:693",
  "sys/dev/disk/dm/crypt/dm_target_crypt.c:750",
  "sys/dev/disk/dm/crypt/dm_target_crypt.c:607",
  "sys/dev/disk/dm/device-mapper.c:408",
  "sys/dev/disk/dm/dm_ioctl.c:440",
  "sys/dev/disk/dm/dm_ioctl.c:508",
  "sys/dev/disk/dm/dm_table.c:129"
 ],
 "artifacts": [
  "dmrace.c",
  "build.sh",
  "run.sh",
  "run.log",
  "fix_run.log",
  "fix_build.log",
  "fix.diff",
  "panic.txt",
  "ps_hang_variantD.txt",
  "dmesg_variantD.txt",
  "env.txt",
  "manifest.json",
  "verdict.json"
 ],
 "code_hash": "5ac343aac65dccb8bfa98ca7760b4fb69471b278c00fa01f2fe0cfbebfde1858"
}