⬢ DragonFlyBSD Kernel Audit
DF-5052 / fix-semantics-validation.log
← back to finding ↓ download raw
### DF-5052 fix-semantics validation
vector=fffff80116c07a80
before destruct:
c07ac01601f8ffff100000000000000004000000000000000000000000000000
destruct#1 rc=0 (chunk freed)
after destruct#1 (container still dangling in unfixed code):
c07ac01601f8ffff100000000000000000000000000000000000000000000000
>>> emulating the fix: kwrite NULL over vector->container:
kv: wrote 8 bytes at fffff80116c07a80
0000000000000000100000000000000000000000000000000000000000000000
destruct#2 rc=0 (kfree(NULL) no-op: NO PANIC)
realloc A=fffff80116c07b00 B=fffff80116c07b40
DISTINCT (no double-free aliasing: fix semantics hold)
### uptime:  3:23PM  up 21 secs, 0 users, load averages: 0.19, 0.05, 0.02
### DONE