⬢ DragonFlyBSD Kernel Audit
DF-5578 / run.log
← back to finding ↓ download raw 
UFM5578: pat=0x00 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x00 rep=2 mode=short-ok   : PROD ret=0x00 MATCH
UFM5578: pat=0x00 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=0 mode=short-ok   : PROD ret=0xff MATCH
UFM5578: pat=0xff rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=1 mode=short-ok   : PROD ret=0xff MATCH
UFM5578: pat=0xff rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=2 mode=short-ok   : PROD ret=0xff MATCH
UFM5578: pat=0xff rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=0 mode=short-ok   : PROD ret=0xa5 MATCH
UFM5578: pat=0xa5 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=1 mode=short-ok   : PROD ret=0xa5 MATCH
UFM5578: pat=0xa5 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=2 mode=short-ok   : PROD ret=0xa5 MATCH
UFM5578: pat=0xa5 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=0 mode=short-ok   : PROD ret=0x5a MATCH
UFM5578: pat=0x5a rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=1 mode=short-ok   : PROD ret=0x5a MATCH
UFM5578: pat=0x5a rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=2 mode=short-ok   : PROD ret=0x5a MATCH
UFM5578: pat=0x5a rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=0 mode=short-ok   : PROD ret=0x0f MATCH
UFM5578: pat=0x0f rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=1 mode=short-ok   : PROD ret=0x0f MATCH
UFM5578: pat=0x0f rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=2 mode=short-ok   : PROD ret=0x0f MATCH
UFM5578: pat=0x0f rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=0 mode=short-ok   : PROD ret=0xf0 MATCH
UFM5578: pat=0xf0 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=1 mode=short-ok   : PROD ret=0xf0 MATCH
UFM5578: pat=0xf0 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=2 mode=short-ok   : PROD ret=0xf0 MATCH
UFM5578: pat=0xf0 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: RESULT: counterfactual short-ok: 18/18 pattern-match; fixed twin clean 18/18
UFM5578: total shim requests: 57
UFM5578: done
UFM5578: DF-5578 ufm uninit-read harness: production ufm.c compiled in (guarded copy, 1 hunk, see prod_guard.diff; sha256 845738f2...)
UFM5578: requests seen by shim so far: 0
UFM5578: SET_FREQ 100700000 Hz -> rc=0, 2 reqs: SET_FREQ bReq=1 wVal=0x0022 wIdx=0x22d0 ; CMD0 bReq=0 wVal=0x0096 wIdx=0x00b7 (all bm=0xc0 wLen=1)
UFM5578:   GET_FREQ -> rc=0 val=100700000 (sc_freq==100700000 OK)
UFM5578: SET_FREQ 87500000 Hz -> rc=0, 2 reqs: SET_FREQ bReq=1 wVal=0x001e wIdx=0x1eb0 ; CMD0 bReq=0 wVal=0x0096 wIdx=0x00b7 (all bm=0xc0 wLen=1)
UFM5578:   GET_FREQ -> rc=0 val=87500000 (sc_freq==87500000 OK)
UFM5578: SET_FREQ 108000000 Hz -> rc=0, 2 reqs: SET_FREQ bReq=1 wVal=0x0025 wIdx=0x2518 ; CMD0 bReq=0 wVal=0x0096 wIdx=0x00b7 (all bm=0xc0 wLen=1)
UFM5578:   GET_FREQ -> rc=0 val=108000000 (sc_freq==108000000 OK)
UFM5578: SET_FREQ 0 Hz -> rc=0, 2 reqs: SET_FREQ bReq=1 wVal=0x0003 wIdx=0x0358 ; CMD0 bReq=0 wVal=0x0096 wIdx=0x00b7 (all bm=0xc0 wLen=1)
UFM5578:   GET_FREQ -> rc=0 val=0 (sc_freq==0 OK)
UFM5578: SET_FREQ 2147483647 Hz -> rc=0, 2 reqs: SET_FREQ bReq=1 wVal=0xfd64 wIdx=0x6442 ; CMD0 bReq=0 wVal=0x0096 wIdx=0x00b7 (all bm=0xc0 wLen=1)
UFM5578:   GET_FREQ -> rc=0 val=2147483647 (sc_freq==2147483647 OK)
UFM5578: SET_FREQ -2147483648 Hz -> rc=0, 2 reqs: SET_FREQ bReq=1 wVal=0xfd64 wIdx=0x6442 ; CMD0 bReq=0 wVal=0x0096 wIdx=0x00b7 (all bm=0xc0 wLen=1)
UFM5578:   GET_FREQ -> rc=0 val=-2147483648 (sc_freq==-2147483648 OK)
UFM5578: FM_START rc=0: [0] bReq=0 0x0000/0x00c7  [1] bReq=2 0x0001/0x0000
UFM5578: FM_STOP  rc=0: [0] bReq=0 0x0016/0x001c  [1] bReq=2 0x0000/0x0000
UFM5578: (expected per ufm.c: START=CMD0 0x00/0xc7 then CMD2 0x01/0x00; STOP=CMD0 0x16/0x1c then CMD2 0x00/0x00; SET_FREQ then CMD0 0x96/0xb7)
UFM5578: gate fflags=FREAD        : rc=13 (EACCES) out=0x12345678
UFM5578: FULL FM_GET_STAT short  : rc=5 (EIO) out=0x000000cc -- LEAK BLOCKED (discarded)
UFM5578: FULL FM_GET_STAT silent : rc=5 (EIO) out=0x000000cc -- LEAK BLOCKED (discarded)
UFM5578: FULL FM_GET_STAT full   : rc=0 out=0x0000005c -- device byte delivered
UFM5578: FULL FM_GET_STAT shortok: rc=0 out=0x00000000 -- STALE STACK BYTE REACHES IOCTL CALLER
UFM5578: calibrate: poison depth 1 MATCHES buf[0] slot
UFM5578: pat=0x00 rep=0 mode=short-ok   : PROD ret=0x00 MATCH
UFM5578: pat=0x00 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x00 rep=1 mode=short-ok   : PROD ret=0x00 MATCH
UFM5578: pat=0x00 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x00 rep=2 mode=short-ok   : PROD ret=0x00 MATCH
UFM5578: pat=0x00 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=0 mode=short-ok   : PROD ret=0xff MATCH
UFM5578: pat=0xff rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=1 mode=short-ok   : PROD ret=0xff MATCH
UFM5578: pat=0xff rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=2 mode=short-ok   : PROD ret=0xff MATCH
UFM5578: pat=0xff rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=0 mode=short-ok   : PROD ret=0xa5 MATCH
UFM5578: pat=0xa5 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=1 mode=short-ok   : PROD ret=0xa5 MATCH
UFM5578: pat=0xa5 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=2 mode=short-ok   : PROD ret=0xa5 MATCH
UFM5578: pat=0xa5 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=0 mode=short-ok   : PROD ret=0x5a MATCH
UFM5578: pat=0x5a rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=1 mode=short-ok   : PROD ret=0x5a MATCH
UFM5578: pat=0x5a rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=2 mode=short-ok   : PROD ret=0x5a MATCH
UFM5578: pat=0x5a rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=0 mode=short-ok   : PROD ret=0x0f MATCH
UFM5578: pat=0x0f rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=1 mode=short-ok   : PROD ret=0x0f MATCH
UFM5578: pat=0x0f rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=2 mode=short-ok   : PROD ret=0x0f MATCH
UFM5578: pat=0x0f rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=0 mode=short-ok   : PROD ret=0xf0 MATCH
UFM5578: pat=0xf0 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=1 mode=short-ok   : PROD ret=0xf0 MATCH
UFM5578: pat=0xf0 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=2 mode=short-ok   : PROD ret=0xf0 MATCH
UFM5578: pat=0xf0 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: RESULT: counterfactual short-ok: 18/18 pattern-match; fixed twin clean 18/18
UFM5578: total shim requests: 57
UFM5578: done
UFM5578: DF-5578 ufm uninit-read harness: production ufm.c compiled in (guarded copy, 1 hunk, see prod_guard.diff; sha256 845738f2...)
UFM5578: requests seen by shim so far: 0
UFM5578: SET_FREQ 100700000 Hz -> rc=0, 2 reqs: SET_FREQ bReq=1 wVal=0x0022 wIdx=0x22d0 ; CMD0 bReq=0 wVal=0x0096 wIdx=0x00b7 (all bm=0xc0 wLen=1)
UFM5578:   GET_FREQ -> rc=0 val=100700000 (sc_freq==100700000 OK)
UFM5578: SET_FREQ 87500000 Hz -> rc=0, 2 reqs: SET_FREQ bReq=1 wVal=0x001e wIdx=0x1eb0 ; CMD0 bReq=0 wVal=0x0096 wIdx=0x00b7 (all bm=0xc0 wLen=1)
UFM5578:   GET_FREQ -> rc=0 val=87500000 (sc_freq==87500000 OK)
UFM5578: SET_FREQ 108000000 Hz -> rc=0, 2 reqs: SET_FREQ bReq=1 wVal=0x0025 wIdx=0x2518 ; CMD0 bReq=0 wVal=0x0096 wIdx=0x00b7 (all bm=0xc0 wLen=1)
UFM5578:   GET_FREQ -> rc=0 val=108000000 (sc_freq==108000000 OK)
UFM5578: SET_FREQ 0 Hz -> rc=0, 2 reqs: SET_FREQ bReq=1 wVal=0x0003 wIdx=0x0358 ; CMD0 bReq=0 wVal=0x0096 wIdx=0x00b7 (all bm=0xc0 wLen=1)
UFM5578:   GET_FREQ -> rc=0 val=0 (sc_freq==0 OK)
UFM5578: SET_FREQ 2147483647 Hz -> rc=0, 2 reqs: SET_FREQ bReq=1 wVal=0xfd64 wIdx=0x6442 ; CMD0 bReq=0 wVal=0x0096 wIdx=0x00b7 (all bm=0xc0 wLen=1)
UFM5578:   GET_FREQ -> rc=0 val=2147483647 (sc_freq==2147483647 OK)
UFM5578: SET_FREQ -2147483648 Hz -> rc=0, 2 reqs: SET_FREQ bReq=1 wVal=0xfd64 wIdx=0x6442 ; CMD0 bReq=0 wVal=0x0096 wIdx=0x00b7 (all bm=0xc0 wLen=1)
UFM5578:   GET_FREQ -> rc=0 val=-2147483648 (sc_freq==-2147483648 OK)
UFM5578: FM_START rc=0: [0] bReq=0 0x0000/0x00c7  [1] bReq=2 0x0001/0x0000
UFM5578: FM_STOP  rc=0: [0] bReq=0 0x0016/0x001c  [1] bReq=2 0x0000/0x0000
UFM5578: (expected per ufm.c: START=CMD0 0x00/0xc7 then CMD2 0x01/0x00; STOP=CMD0 0x16/0x1c then CMD2 0x00/0x00; SET_FREQ then CMD0 0x96/0xb7)
UFM5578: gate fflags=FREAD        : rc=13 (EACCES) out=0x12345678
UFM5578: FULL FM_GET_STAT short  : rc=5 (EIO) out=0x000000cc -- LEAK BLOCKED (discarded)
UFM5578: FULL FM_GET_STAT silent : rc=5 (EIO) out=0x000000cc -- LEAK BLOCKED (discarded)
UFM5578: FULL FM_GET_STAT full   : rc=0 out=0x0000005c -- device byte delivered
UFM5578: FULL FM_GET_STAT shortok: rc=0 out=0x00000000 -- STALE STACK BYTE REACHES IOCTL CALLER
UFM5578: calibrate: poison depth 1 MATCHES buf[0] slot
UFM5578: pat=0x00 rep=0 mode=short-ok   : PROD ret=0x00 MATCH
UFM5578: pat=0x00 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x00 rep=1 mode=short-ok   : PROD ret=0x00 MATCH
UFM5578: pat=0x00 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x00 rep=2 mode=short-ok   : PROD ret=0x00 MATCH
UFM5578: pat=0x00 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=0 mode=short-ok   : PROD ret=0xff MATCH
UFM5578: pat=0xff rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=1 mode=short-ok   : PROD ret=0xff MATCH
UFM5578: pat=0xff rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=2 mode=short-ok   : PROD ret=0xff MATCH
UFM5578: pat=0xff rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=0 mode=short-ok   : PROD ret=0xa5 MATCH
UFM5578: pat=0xa5 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=1 mode=short-ok   : PROD ret=0xa5 MATCH
UFM5578: pat=0xa5 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=2 mode=short-ok   : PROD ret=0xa5 MATCH
UFM5578: pat=0xa5 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=0 mode=short-ok   : PROD ret=0x5a MATCH
UFM5578: pat=0x5a rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=1 mode=short-ok   : PROD ret=0x5a MATCH
UFM5578: pat=0x5a rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=2 mode=short-ok   : PROD ret=0x5a MATCH
UFM5578: pat=0x5a rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=0 mode=short-ok   : PROD ret=0x0f MATCH
UFM5578: pat=0x0f rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=1 mode=short-ok   : PROD ret=0x0f MATCH
UFM5578: pat=0x0f rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=2 mode=short-ok   : PROD ret=0x0f MATCH
UFM5578: pat=0x0f rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=0 mode=short-ok   : PROD ret=0xf0 MATCH
UFM5578: pat=0xf0 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=1 mode=short-ok   : PROD ret=0xf0 MATCH
UFM5578: pat=0xf0 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=2 mode=short-ok   : PROD ret=0xf0 MATCH
UFM5578: pat=0xf0 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: RESULT: counterfactual short-ok: 18/18 pattern-match; fixed twin clean 18/18
UFM5578: total shim requests: 57
UFM5578: done