⬢ DragonFlyBSD Kernel Audit
DF-4467 / manifest.json
← back to finding ↓ download raw
{
 "finding_id": "DF-4467",
 "verdict": "reproduced",
 "impact": "dos",
 "reproduce": {
  "build": "sh build.sh",
  "run": "sh run.sh",
  "expected": "race: corrupted blocks: 1413/512 (reproduced); control: 0/512"
 },
 "kernel_refs": [
  "sys/crypto/cryptoapi/cryptoapi.c:370",
  "sys/crypto/cryptoapi/cryptoapi.c:412",
  "sys/crypto/cryptoapi/cryptoapi.c:439",
  "sys/crypto/cryptoapi/cryptoapi.c:731",
  "sys/crypto/cryptoapi/cryptoapi.c:894",
  "sys/dev/disk/dm/crypt/dm_target_crypt.c:958"
 ],
 "artifacts": [
  "xtsrace.c",
  "build.sh",
  "run.sh",
  "run.log",
  "fix.diff",
  "env.txt",
  "README.md",
  "VERDICT.md",
  "manifest.json",
  "verdict.json"
 ],
 "code_hash": "9d78e46c4b92a258b93a7cd6749a9c1fbc4c8694ece5270495fdc751bef0e981"
}