⬢ DragonFlyBSD Kernel Audit
DF-5596 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-5596",
  "verdict": "reproduced",
  "impact": "none",
  "reproduce": {
    "build": "sh build.sh  (guest, root; exact kern.post.mk genassym/assym/ASM_CFLAGS rules)",
    "run": "sh run.sh",
    "expected": "nm_probe_unpatched.txt shows 'U GD_CURRENTLDT' and NO gd_currentldt_probe symbol (build still exits 0); with the one-line fix, nm_probe_fixed.txt shows '00000000000042d4 A gd_currentldt_probe'"
  },
  "kernel_refs": [
    "sys/platform/pc64/x86_64/genassym.c:230-239",
    "sys/platform/pc64/x86_64/global.s:66-67",
    "sys/platform/pc64/include/globaldata.h:78",
    "sys/platform/pc64/conf/files:129",
    "sys/conf/kern.post.mk:73-79",
    "sys/sys/assym.h:45-50",
    "sys/kern/genassym.sh:10-44",
    "sys/platform/pc64/x86_64/locore.s:39-47"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "probe_gdcl.s", "genassym_fixed.c", "offset_check.c",
    "build.sh", "run.sh",
    "build_genassym_unpatched.log", "build_probe_unpatched.log", "nm_probe_unpatched.txt",
    "build_genassym_fixed.log", "build_probe_fixed.log", "nm_probe_fixed.txt",
    "diff.fix_delta.txt", "fix_gdcl_value.txt", "assym_unpatched.s",
    "diff.buildtree_vs_regen.txt", "diff.assym_vs_checker.txt", "out.kernelview.raw.txt",
    "shipped_kernel_evidence.txt", "runner2_master.log", "asmflags.txt", "env.txt",
    "fix.diff", "manifest.json", "verdict.json"
  ]
}