DF-5702 / manifest.json
{ "finding_id": "DF-5702", "verdict": "reproduced", "impact": "none", "confidence": "certain", "reproduce": { "build": "scp pack to guest; cd /tmp/df5702 && ./build.sh (seds untouched /usr/src/sys/libkern/{strtoq,strtouq}.c into userland-compilable k_*.c + fix variants; cc -O2 -Wall -Wextra -o diffharness diffharness.c k_strtoq.c k_strtouq.c k_strtoq_fix.c k_strtouq_fix.c)", "run": "cd /tmp/df5702 && ./run.sh", "expected": "SUMMARY: VALUE divergences 0; ENDPTR divergences 28 (exactly the {\"0x\",\"0X\",\"0xg\",\"0XG\",\"0x 1\",\"0xz1\",\"0xz\"} x base{0,16} x {strtoq,strtouq} class: kernel off=0 vs libc off=1); invalid-base 258; ERANGE-only 79 (known DF-2230 class, not re-reported); patched residual ENDPTR 0; patched VALUE regressions 0; harness exit 0; identical md5 across 3 runs" }, "kernel_refs": [ "sys/libkern/strtoq.c:72-77", "sys/libkern/strtoq.c:103-121", "sys/libkern/strtoq.c:126-127", "sys/libkern/strtouq.c:70-75", "sys/libkern/strtouq.c:104-105", "lib/libc/stdlib/_strtol.h:83-91", "lib/libc/stdlib/_strtoul.h:86-94", "sys/netgraph/netgraph/ng_parse.c:620-628", "sys/netgraph7/netgraph/ng_parse.c:640-648", "sys/kern/kern_environment.c:432-470", "sys/kern/subr_scanf.c:186-234", "sys/libprop/prop_number.c:518-540" ], "artifacts": [ "README.md", "VERDICT.md", "diffharness.c", "kernel_strtoq_shim.h", "build.sh", "run.sh", "build_full.log", "run.log", "run.1.log", "run2.log", "k_strtoq.c", "k_strtouq.c", "k_strtoq_fix.c", "k_strtouq_fix.c", "fix.diff", "env.txt", "guest_status.txt", "manifest.json", "verdict.json" ], "fix_validated": true } |