⬢ DragonFlyBSD Kernel Audit
DF-5362 / matrix.log
← back to finding ↓ download raw
######## pccard verbatim-rig A/B matrix ########
date: Wed Oct 14 13:13:00 UTC 2026
uname: DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
VERBATIM_CHECK pccard_cis.c PRISTINE acdd2484925fd5f09ab7266fcbb575134ae73e72c20f3e844c236ef0c2c2304c
VERBATIM_CHECK pccardvar.h PRISTINE 3e73a8771c78e6aa9e52c764f1431571b835674ec87aecb4d32575c6dcdb4141
VERBATIM_CHECK pccard_cis.h PRISTINE 9ed5d42411f363810ead8c9a6fd7e67abda1700504342325bb03fc281c8e0959
VERBATIM_CHECK pccardreg.h PRISTINE 55e55e8a7be4784ed1400c9de2c7dd72455e08b053dda985cb43e2fe2eb80309
VERBATIM_CHECK queue.h PRISTINE 6072482fad8732b5ea0f315ed0fc0acd7abd02c3f8180c0733ea1b8c671d0745
VERBATIM_CHECK queue.h.usrinc PRISTINE 6072482fad8732b5ea0f315ed0fc0acd7abd02c3f8180c0733ea1b8c671d0745
SOURCE_STATE=PRISTINE
EXTRACT_OK state=PRISTINE
In file included from rig_main.c:33:
pccard_cis_core.inc: In function 'pccard_scan_cis':
pccard_cis_core.inc:93:6: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
      (unsigned int) tuple.memh, rman_get_start(res)));
      ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
pccard_cis_core.inc:342:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         (unsigned int) tuple.memh));
         ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
pccard_cis_core.inc:353:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         (unsigned int) tuple.memh));
         ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
rig_main.c: In function 'run_scenario':
rig_main.c:381:9: warning: unused variable 'e' [-Wunused-variable]
   char *e;
         ^
VARIANT baseline: build OK
VERBATIM_CHECK pccard_cis.c PRISTINE acdd2484925fd5f09ab7266fcbb575134ae73e72c20f3e844c236ef0c2c2304c
VERBATIM_CHECK pccardvar.h PRISTINE 3e73a8771c78e6aa9e52c764f1431571b835674ec87aecb4d32575c6dcdb4141
VERBATIM_CHECK pccard_cis.h PRISTINE 9ed5d42411f363810ead8c9a6fd7e67abda1700504342325bb03fc281c8e0959
VERBATIM_CHECK pccardreg.h PRISTINE 55e55e8a7be4784ed1400c9de2c7dd72455e08b053dda985cb43e2fe2eb80309
VERBATIM_CHECK queue.h PRISTINE 6072482fad8732b5ea0f315ed0fc0acd7abd02c3f8180c0733ea1b8c671d0745
VERBATIM_CHECK queue.h.usrinc PRISTINE 6072482fad8732b5ea0f315ed0fc0acd7abd02c3f8180c0733ea1b8c671d0745
SOURCE_STATE=PRISTINE
EXTRACT_OK state=PRISTINE
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|--- a/sys/bus/pccard/pccard_cis.c
|+++ b/sys/bus/pccard/pccard_cis.c
--------------------------
Patching file sys/bus/pccard/pccard_cis.c using Plan A...
Hunk #1 succeeded at 659 (offset -217 lines).
done
VARIANT f2319: fix applied (11 added lines)
In file included from rig_main.c:33:
pccard_cis_core.inc: In function 'pccard_scan_cis':
pccard_cis_core.inc:93:6: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
      (unsigned int) tuple.memh, rman_get_start(res)));
      ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
pccard_cis_core.inc:342:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         (unsigned int) tuple.memh));
         ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
pccard_cis_core.inc:353:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         (unsigned int) tuple.memh));
         ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
rig_main.c: In function 'run_scenario':
rig_main.c:381:9: warning: unused variable 'e' [-Wunused-variable]
   char *e;
         ^
VARIANT f2319: build OK
VERBATIM_CHECK pccard_cis.c PRISTINE acdd2484925fd5f09ab7266fcbb575134ae73e72c20f3e844c236ef0c2c2304c
VERBATIM_CHECK pccardvar.h PRISTINE 3e73a8771c78e6aa9e52c764f1431571b835674ec87aecb4d32575c6dcdb4141
VERBATIM_CHECK pccard_cis.h PRISTINE 9ed5d42411f363810ead8c9a6fd7e67abda1700504342325bb03fc281c8e0959
VERBATIM_CHECK pccardreg.h PRISTINE 55e55e8a7be4784ed1400c9de2c7dd72455e08b053dda985cb43e2fe2eb80309
VERBATIM_CHECK queue.h PRISTINE 6072482fad8732b5ea0f315ed0fc0acd7abd02c3f8180c0733ea1b8c671d0745
VERBATIM_CHECK queue.h.usrinc PRISTINE 6072482fad8732b5ea0f315ed0fc0acd7abd02c3f8180c0733ea1b8c671d0745
SOURCE_STATE=PRISTINE
EXTRACT_OK state=PRISTINE
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|--- a/sys/bus/pccard/pccard_cis.c
|+++ b/sys/bus/pccard/pccard_cis.c
--------------------------
Patching file sys/bus/pccard/pccard_cis.c using Plan A...
Hunk #1 succeeded at 359 (offset -50 lines).
done
VARIANT f2320: fix applied (14 added lines)
In file included from rig_main.c:33:
pccard_cis_core.inc: In function 'pccard_scan_cis':
pccard_cis_core.inc:93:6: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
      (unsigned int) tuple.memh, rman_get_start(res)));
      ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
pccard_cis_core.inc:342:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         (unsigned int) tuple.memh));
         ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
pccard_cis_core.inc:353:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         (unsigned int) tuple.memh));
         ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
rig_main.c: In function 'run_scenario':
rig_main.c:381:9: warning: unused variable 'e' [-Wunused-variable]
   char *e;
         ^
VARIANT f2320: build OK
VERBATIM_CHECK pccard_cis.c PRISTINE acdd2484925fd5f09ab7266fcbb575134ae73e72c20f3e844c236ef0c2c2304c
VERBATIM_CHECK pccardvar.h PRISTINE 3e73a8771c78e6aa9e52c764f1431571b835674ec87aecb4d32575c6dcdb4141
VERBATIM_CHECK pccard_cis.h PRISTINE 9ed5d42411f363810ead8c9a6fd7e67abda1700504342325bb03fc281c8e0959
VERBATIM_CHECK pccardreg.h PRISTINE 55e55e8a7be4784ed1400c9de2c7dd72455e08b053dda985cb43e2fe2eb80309
VERBATIM_CHECK queue.h PRISTINE 6072482fad8732b5ea0f315ed0fc0acd7abd02c3f8180c0733ea1b8c671d0745
VERBATIM_CHECK queue.h.usrinc PRISTINE 6072482fad8732b5ea0f315ed0fc0acd7abd02c3f8180c0733ea1b8c671d0745
SOURCE_STATE=PRISTINE
EXTRACT_OK state=PRISTINE
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|--- a/sys/bus/pccard/pccard_cis.c
|+++ b/sys/bus/pccard/pccard_cis.c
--------------------------
Patching file sys/bus/pccard/pccard_cis.c using Plan A...
Hunk #1 succeeded at 417 (offset -217 lines).
done
VARIANT f5361: fix applied (11 added lines)
In file included from rig_main.c:33:
pccard_cis_core.inc: In function 'pccard_scan_cis':
pccard_cis_core.inc:93:6: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
      (unsigned int) tuple.memh, rman_get_start(res)));
      ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
pccard_cis_core.inc:342:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         (unsigned int) tuple.memh));
         ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
pccard_cis_core.inc:353:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         (unsigned int) tuple.memh));
         ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
rig_main.c: In function 'run_scenario':
rig_main.c:381:9: warning: unused variable 'e' [-Wunused-variable]
   char *e;
         ^
VARIANT f5361: build OK
VERBATIM_CHECK pccard_cis.c PRISTINE acdd2484925fd5f09ab7266fcbb575134ae73e72c20f3e844c236ef0c2c2304c
VERBATIM_CHECK pccardvar.h PRISTINE 3e73a8771c78e6aa9e52c764f1431571b835674ec87aecb4d32575c6dcdb4141
VERBATIM_CHECK pccard_cis.h PRISTINE 9ed5d42411f363810ead8c9a6fd7e67abda1700504342325bb03fc281c8e0959
VERBATIM_CHECK pccardreg.h PRISTINE 55e55e8a7be4784ed1400c9de2c7dd72455e08b053dda985cb43e2fe2eb80309
VERBATIM_CHECK queue.h PRISTINE 6072482fad8732b5ea0f315ed0fc0acd7abd02c3f8180c0733ea1b8c671d0745
VERBATIM_CHECK queue.h.usrinc PRISTINE 6072482fad8732b5ea0f315ed0fc0acd7abd02c3f8180c0733ea1b8c671d0745
SOURCE_STATE=PRISTINE
EXTRACT_OK state=PRISTINE
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|--- a/sys/bus/pccard/pccard_cis.c
|+++ b/sys/bus/pccard/pccard_cis.c
--------------------------
Patching file sys/bus/pccard/pccard_cis.c using Plan A...
Hunk #1 succeeded at 54 (offset -50 lines).
Hunk #2 succeeded at 335 (offset -50 lines).
done
VARIANT f5362: fix applied (12 added lines)
In file included from rig_main.c:33:
pccard_cis_core.inc: In function 'pccard_scan_cis':
pccard_cis_core.inc:94:6: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
      (unsigned int) tuple.memh, rman_get_start(res)));
      ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
pccard_cis_core.inc:353:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         (unsigned int) tuple.memh));
         ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
pccard_cis_core.inc:364:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         (unsigned int) tuple.memh));
         ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
rig_main.c: In function 'run_scenario':
rig_main.c:381:9: warning: unused variable 'e' [-Wunused-variable]
   char *e;
         ^
VARIANT f5362: build OK
VERBATIM_CHECK pccard_cis.c PRISTINE acdd2484925fd5f09ab7266fcbb575134ae73e72c20f3e844c236ef0c2c2304c
VERBATIM_CHECK pccardvar.h PRISTINE 3e73a8771c78e6aa9e52c764f1431571b835674ec87aecb4d32575c6dcdb4141
VERBATIM_CHECK pccard_cis.h PRISTINE 9ed5d42411f363810ead8c9a6fd7e67abda1700504342325bb03fc281c8e0959
VERBATIM_CHECK pccardreg.h PRISTINE 55e55e8a7be4784ed1400c9de2c7dd72455e08b053dda985cb43e2fe2eb80309
VERBATIM_CHECK queue.h PRISTINE 6072482fad8732b5ea0f315ed0fc0acd7abd02c3f8180c0733ea1b8c671d0745
VERBATIM_CHECK queue.h.usrinc PRISTINE 6072482fad8732b5ea0f315ed0fc0acd7abd02c3f8180c0733ea1b8c671d0745
SOURCE_STATE=PRISTINE
EXTRACT_OK state=PRISTINE
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|--- a/sys/bus/pccard/pccard_cis.c
|+++ b/sys/bus/pccard/pccard_cis.c
--------------------------
Patching file sys/bus/pccard/pccard_cis.c using Plan A...
Hunk #1 succeeded at 194 (offset -50 lines).
done
VARIANT f5363: fix applied (5 added lines)
In file included from rig_main.c:33:
pccard_cis_core.inc: In function 'pccard_scan_cis':
pccard_cis_core.inc:93:6: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
      (unsigned int) tuple.memh, rman_get_start(res)));
      ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
pccard_cis_core.inc:345:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         (unsigned int) tuple.memh));
         ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
pccard_cis_core.inc:356:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
         (unsigned int) tuple.memh));
         ^
pccard_cis_core.inc:5:57: note: in definition of macro 'DPRINTF'
 #define DPRINTF(arg) do { if (pccard_cis_debug) kprintf arg; } while (0)
                                                         ^~~
rig_main.c: In function 'run_scenario':
rig_main.c:381:9: warning: unused variable 'e' [-Wunused-variable]
   char *e;
         ^
VARIANT f5363: build OK
===== variant=baseline scenario=nullderef_a =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: entering verbatim pccard_read_cis()
SCENARIO nullderef_a: SIGSEGV si_addr=0x0 faulting_rip=0x402027
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: child_exit=91
===== variant=baseline scenario=nullderef_b =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: entering verbatim pccard_read_cis()
SCENARIO nullderef_b: SIGSEGV si_addr=0x30 faulting_rip=0x4025e9
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: child_exit=91
===== variant=baseline scenario=wildlink_long =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_long: entering verbatim pccard_read_cis()
SCENARIO wildlink_long: returned normally. card->error=0 bus_reads=8 flag_switches=2
OOB: 1 out-of-mapping bus reads (mapping=4096 B): first=16777216 max=16777216 wild(>=65536)=1
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER wildlink_long: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO wildlink_long: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_long: child_exit=0
===== variant=baseline scenario=wildlink_mfc =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_mfc: entering verbatim pccard_read_cis()
SCENARIO wildlink_mfc: returned normally. card->error=0 bus_reads=18 flag_switches=3
OOB: 2 out-of-mapping bus reads (mapping=4096 B): first=4096 max=67108864 wild(>=65536)=1
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER wildlink_mfc: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO wildlink_mfc: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_mfc: child_exit=0
===== variant=baseline scenario=mfcleak =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO mfcleak: entering verbatim pccard_read_cis()
SCENARIO mfcleak: returned normally. card->error=0 bus_reads=31 flag_switches=2
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER mfcleak: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=2 pf=1 other=0 | kfree cfe=0 pf=1 other=0 | LIVE cfe=2 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO mfcleak: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO mfcleak: child_exit=0
===== variant=baseline scenario=livelock =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock: entering verbatim pccard_read_cis()
SCENARIO livelock: READ BUDGET EXHAUSTED (cap=200000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER livelock: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
RING: bus-read offset stream is PERIODIC, period=12 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO livelock: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock: child_exit=90
===== variant=baseline scenario=leakloop =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: entering verbatim pccard_read_cis()
SCENARIO leakloop: READ BUDGET EXHAUSTED (cap=200000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER leakloop: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=9090 pf=1 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=9090 pf=1 other=0
RING: bus-read offset stream is PERIODIC, period=22 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO leakloop: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: child_exit=90
===== variant=baseline scenario=checksum =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum: entering verbatim pccard_read_cis()
pccard0: CIS checksum failed
SCENARIO checksum: returned normally. card->error=0 bus_reads=4101 flag_switches=1
OOB: 2045 out-of-mapping bus reads (mapping=4096 B): first=4096 max=8184 wild(>=65536)=0
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER checksum: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO checksum: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum: child_exit=0
===== variant=baseline scenario=checksum_ok =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum_ok: entering verbatim pccard_read_cis()
pccard0: CIS checksum failed
SCENARIO checksum_ok: returned normally. card->error=0 bus_reads=110 flag_switches=1
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER checksum_ok: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO checksum_ok: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum_ok: child_exit=0
===== variant=baseline scenario=benign =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO benign: entering verbatim pccard_read_cis()
SCENARIO benign: returned normally. card->error=0 bus_reads=95 flag_switches=3
OOB: 0 out-of-mapping bus reads
CARD: functions=2 cis1_major=5 manufacturer=0x201 product=0x403
LEDGER benign: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=3 pf=3 other=0 | kfree cfe=0 pf=1 other=0 | LIVE cfe=3 pf=2 other=0
TEARDOWN: harness drained 2 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO benign: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO benign: child_exit=0
===== variant=baseline scenario=leakloop cap=100000 =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: entering verbatim pccard_read_cis()
SCENARIO leakloop: READ BUDGET EXHAUSTED (cap=100000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER leakloop: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=4545 pf=1 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=4545 pf=1 other=0
RING: bus-read offset stream is PERIODIC, period=22 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO leakloop: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: child_exit=90
===== variant=baseline scenario=livelock_alarm =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock_alarm: entering verbatim pccard_read_cis()
SCENARIO livelock_alarm: SIGALRM after wall-clock budget; bus_reads=630837765 (scan_cis still running)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock_alarm: child_exit=99
===== variant=f2319 scenario=nullderef_a =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: entering verbatim pccard_read_cis()
SCENARIO nullderef_a: returned normally. card->error=1 bus_reads=4 flag_switches=2
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER nullderef_a: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO nullderef_a: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: child_exit=0
===== variant=f2319 scenario=nullderef_b =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: entering verbatim pccard_read_cis()
SCENARIO nullderef_b: returned normally. card->error=1 bus_reads=29 flag_switches=2
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER nullderef_b: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=1 pf=1 other=0 | kfree cfe=0 pf=1 other=0 | LIVE cfe=1 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO nullderef_b: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: child_exit=0
===== variant=f2319 scenario=wildlink_long =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_long: entering verbatim pccard_read_cis()
SCENARIO wildlink_long: returned normally. card->error=0 bus_reads=8 flag_switches=2
OOB: 1 out-of-mapping bus reads (mapping=4096 B): first=16777216 max=16777216 wild(>=65536)=1
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER wildlink_long: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO wildlink_long: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_long: child_exit=0
===== variant=f2319 scenario=wildlink_mfc =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_mfc: entering verbatim pccard_read_cis()
SCENARIO wildlink_mfc: returned normally. card->error=0 bus_reads=18 flag_switches=3
OOB: 2 out-of-mapping bus reads (mapping=4096 B): first=4096 max=67108864 wild(>=65536)=1
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER wildlink_mfc: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO wildlink_mfc: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_mfc: child_exit=0
===== variant=f2319 scenario=mfcleak =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO mfcleak: entering verbatim pccard_read_cis()
SCENARIO mfcleak: returned normally. card->error=0 bus_reads=31 flag_switches=2
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER mfcleak: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=2 pf=1 other=0 | kfree cfe=0 pf=1 other=0 | LIVE cfe=2 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO mfcleak: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO mfcleak: child_exit=0
===== variant=f2319 scenario=livelock =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock: entering verbatim pccard_read_cis()
SCENARIO livelock: READ BUDGET EXHAUSTED (cap=200000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER livelock: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
RING: bus-read offset stream is PERIODIC, period=12 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO livelock: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock: child_exit=90
===== variant=f2319 scenario=leakloop =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: entering verbatim pccard_read_cis()
SCENARIO leakloop: READ BUDGET EXHAUSTED (cap=200000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER leakloop: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=9090 pf=1 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=9090 pf=1 other=0
RING: bus-read offset stream is PERIODIC, period=22 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO leakloop: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: child_exit=90
===== variant=f2319 scenario=checksum =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum: entering verbatim pccard_read_cis()
pccard0: CIS checksum failed
SCENARIO checksum: returned normally. card->error=0 bus_reads=4101 flag_switches=1
OOB: 2045 out-of-mapping bus reads (mapping=4096 B): first=4096 max=8184 wild(>=65536)=0
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER checksum: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO checksum: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum: child_exit=0
===== variant=f2319 scenario=checksum_ok =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum_ok: entering verbatim pccard_read_cis()
pccard0: CIS checksum failed
SCENARIO checksum_ok: returned normally. card->error=0 bus_reads=110 flag_switches=1
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER checksum_ok: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO checksum_ok: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum_ok: child_exit=0
===== variant=f2319 scenario=benign =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO benign: entering verbatim pccard_read_cis()
SCENARIO benign: returned normally. card->error=0 bus_reads=95 flag_switches=3
OOB: 0 out-of-mapping bus reads
CARD: functions=2 cis1_major=5 manufacturer=0x201 product=0x403
LEDGER benign: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=3 pf=3 other=0 | kfree cfe=0 pf=1 other=0 | LIVE cfe=3 pf=2 other=0
TEARDOWN: harness drained 2 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO benign: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO benign: child_exit=0
===== variant=f2319 scenario=leakloop cap=100000 =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: entering verbatim pccard_read_cis()
SCENARIO leakloop: READ BUDGET EXHAUSTED (cap=100000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER leakloop: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=4545 pf=1 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=4545 pf=1 other=0
RING: bus-read offset stream is PERIODIC, period=22 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO leakloop: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: child_exit=90
===== variant=f2319 scenario=livelock_alarm =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock_alarm: entering verbatim pccard_read_cis()
SCENARIO livelock_alarm: SIGALRM after wall-clock budget; bus_reads=636183105 (scan_cis still running)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock_alarm: child_exit=99
===== variant=f2320 scenario=nullderef_a =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: entering verbatim pccard_read_cis()
SCENARIO nullderef_a: SIGSEGV si_addr=0x0 faulting_rip=0x402027
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: child_exit=91
===== variant=f2320 scenario=nullderef_b =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: entering verbatim pccard_read_cis()
SCENARIO nullderef_b: SIGSEGV si_addr=0x30 faulting_rip=0x4025e9
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: child_exit=91
===== variant=f2320 scenario=wildlink_long =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_long: entering verbatim pccard_read_cis()
pccard0: CIS link target 0x800000 out of range -- skipping
SCENARIO wildlink_long: returned normally. card->error=0 bus_reads=7 flag_switches=2
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER wildlink_long: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO wildlink_long: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_long: child_exit=0
===== variant=f2320 scenario=wildlink_mfc =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_mfc: entering verbatim pccard_read_cis()
pccard0: CIS link target 0x800 out of range -- skipping
pccard0: CIS link target 0x4000000 out of range -- skipping
SCENARIO wildlink_mfc: returned normally. card->error=0 bus_reads=16 flag_switches=3
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER wildlink_mfc: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO wildlink_mfc: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_mfc: child_exit=0
===== variant=f2320 scenario=mfcleak =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO mfcleak: entering verbatim pccard_read_cis()
SCENARIO mfcleak: returned normally. card->error=0 bus_reads=31 flag_switches=2
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER mfcleak: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=2 pf=1 other=0 | kfree cfe=0 pf=1 other=0 | LIVE cfe=2 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO mfcleak: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO mfcleak: child_exit=0
===== variant=f2320 scenario=livelock =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock: entering verbatim pccard_read_cis()
SCENARIO livelock: READ BUDGET EXHAUSTED (cap=200000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER livelock: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
RING: bus-read offset stream is PERIODIC, period=12 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO livelock: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock: child_exit=90
===== variant=f2320 scenario=leakloop =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: entering verbatim pccard_read_cis()
SCENARIO leakloop: READ BUDGET EXHAUSTED (cap=200000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER leakloop: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=9090 pf=1 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=9090 pf=1 other=0
RING: bus-read offset stream is PERIODIC, period=22 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO leakloop: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: child_exit=90
===== variant=f2320 scenario=checksum =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum: entering verbatim pccard_read_cis()
pccard0: CIS checksum failed
SCENARIO checksum: returned normally. card->error=0 bus_reads=4101 flag_switches=1
OOB: 2045 out-of-mapping bus reads (mapping=4096 B): first=4096 max=8184 wild(>=65536)=0
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER checksum: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO checksum: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum: child_exit=0
===== variant=f2320 scenario=checksum_ok =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum_ok: entering verbatim pccard_read_cis()
pccard0: CIS checksum failed
SCENARIO checksum_ok: returned normally. card->error=0 bus_reads=110 flag_switches=1
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER checksum_ok: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO checksum_ok: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum_ok: child_exit=0
===== variant=f2320 scenario=benign =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO benign: entering verbatim pccard_read_cis()
SCENARIO benign: returned normally. card->error=0 bus_reads=95 flag_switches=3
OOB: 0 out-of-mapping bus reads
CARD: functions=2 cis1_major=5 manufacturer=0x201 product=0x403
LEDGER benign: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=3 pf=3 other=0 | kfree cfe=0 pf=1 other=0 | LIVE cfe=3 pf=2 other=0
TEARDOWN: harness drained 2 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO benign: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO benign: child_exit=0
===== variant=f2320 scenario=leakloop cap=100000 =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: entering verbatim pccard_read_cis()
SCENARIO leakloop: READ BUDGET EXHAUSTED (cap=100000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER leakloop: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=4545 pf=1 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=4545 pf=1 other=0
RING: bus-read offset stream is PERIODIC, period=22 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO leakloop: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: child_exit=90
===== variant=f2320 scenario=livelock_alarm =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock_alarm: entering verbatim pccard_read_cis()
SCENARIO livelock_alarm: SIGALRM after wall-clock budget; bus_reads=569211091 (scan_cis still running)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock_alarm: child_exit=99
===== variant=f5361 scenario=nullderef_a =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: entering verbatim pccard_read_cis()
SCENARIO nullderef_a: SIGSEGV si_addr=0x0 faulting_rip=0x402027
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: child_exit=91
===== variant=f5361 scenario=nullderef_b =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: entering verbatim pccard_read_cis()
SCENARIO nullderef_b: SIGSEGV si_addr=0x30 faulting_rip=0x4025e9
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: child_exit=91
===== variant=f5361 scenario=wildlink_long =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_long: entering verbatim pccard_read_cis()
SCENARIO wildlink_long: returned normally. card->error=0 bus_reads=8 flag_switches=2
OOB: 1 out-of-mapping bus reads (mapping=4096 B): first=16777216 max=16777216 wild(>=65536)=1
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER wildlink_long: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO wildlink_long: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_long: child_exit=0
===== variant=f5361 scenario=wildlink_mfc =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_mfc: entering verbatim pccard_read_cis()
SCENARIO wildlink_mfc: returned normally. card->error=0 bus_reads=18 flag_switches=3
OOB: 2 out-of-mapping bus reads (mapping=4096 B): first=4096 max=67108864 wild(>=65536)=1
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER wildlink_mfc: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO wildlink_mfc: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_mfc: child_exit=0
===== variant=f5361 scenario=mfcleak =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO mfcleak: entering verbatim pccard_read_cis()
SCENARIO mfcleak: returned normally. card->error=0 bus_reads=31 flag_switches=2
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER mfcleak: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=2 pf=1 other=0 | kfree cfe=2 pf=1 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO mfcleak: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO mfcleak: child_exit=0
===== variant=f5361 scenario=livelock =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock: entering verbatim pccard_read_cis()
SCENARIO livelock: READ BUDGET EXHAUSTED (cap=200000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER livelock: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
RING: bus-read offset stream is PERIODIC, period=12 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO livelock: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock: child_exit=90
===== variant=f5361 scenario=leakloop =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: entering verbatim pccard_read_cis()
SCENARIO leakloop: READ BUDGET EXHAUSTED (cap=200000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER leakloop: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=9090 pf=1 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=9090 pf=1 other=0
RING: bus-read offset stream is PERIODIC, period=22 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO leakloop: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: child_exit=90
===== variant=f5361 scenario=checksum =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum: entering verbatim pccard_read_cis()
pccard0: CIS checksum failed
SCENARIO checksum: returned normally. card->error=0 bus_reads=4101 flag_switches=1
OOB: 2045 out-of-mapping bus reads (mapping=4096 B): first=4096 max=8184 wild(>=65536)=0
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER checksum: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO checksum: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum: child_exit=0
===== variant=f5361 scenario=checksum_ok =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum_ok: entering verbatim pccard_read_cis()
pccard0: CIS checksum failed
SCENARIO checksum_ok: returned normally. card->error=0 bus_reads=110 flag_switches=1
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER checksum_ok: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO checksum_ok: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum_ok: child_exit=0
===== variant=f5361 scenario=benign =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO benign: entering verbatim pccard_read_cis()
SCENARIO benign: returned normally. card->error=0 bus_reads=95 flag_switches=3
OOB: 0 out-of-mapping bus reads
CARD: functions=2 cis1_major=5 manufacturer=0x201 product=0x403
LEDGER benign: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=3 pf=3 other=0 | kfree cfe=1 pf=1 other=0 | LIVE cfe=2 pf=2 other=0
TEARDOWN: harness drained 2 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO benign: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO benign: child_exit=0
===== variant=f5361 scenario=leakloop cap=100000 =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: entering verbatim pccard_read_cis()
SCENARIO leakloop: READ BUDGET EXHAUSTED (cap=100000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER leakloop: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=4545 pf=1 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=4545 pf=1 other=0
RING: bus-read offset stream is PERIODIC, period=22 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO leakloop: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: child_exit=90
===== variant=f5361 scenario=livelock_alarm =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock_alarm: entering verbatim pccard_read_cis()
SCENARIO livelock_alarm: SIGALRM after wall-clock budget; bus_reads=628488918 (scan_cis still running)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock_alarm: child_exit=99
===== variant=f5362 scenario=nullderef_a =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: entering verbatim pccard_read_cis()
SCENARIO nullderef_a: SIGSEGV si_addr=0x0 faulting_rip=0x402027
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: child_exit=91
===== variant=f5362 scenario=nullderef_b =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: entering verbatim pccard_read_cis()
SCENARIO nullderef_b: SIGSEGV si_addr=0x30 faulting_rip=0x4025e9
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: child_exit=91
===== variant=f5362 scenario=wildlink_long =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_long: entering verbatim pccard_read_cis()
SCENARIO wildlink_long: returned normally. card->error=0 bus_reads=8 flag_switches=2
OOB: 1 out-of-mapping bus reads (mapping=4096 B): first=16777216 max=16777216 wild(>=65536)=1
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER wildlink_long: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO wildlink_long: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_long: child_exit=0
===== variant=f5362 scenario=wildlink_mfc =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_mfc: entering verbatim pccard_read_cis()
SCENARIO wildlink_mfc: returned normally. card->error=0 bus_reads=18 flag_switches=3
OOB: 2 out-of-mapping bus reads (mapping=4096 B): first=4096 max=67108864 wild(>=65536)=1
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER wildlink_mfc: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO wildlink_mfc: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_mfc: child_exit=0
===== variant=f5362 scenario=mfcleak =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO mfcleak: entering verbatim pccard_read_cis()
SCENARIO mfcleak: returned normally. card->error=0 bus_reads=31 flag_switches=2
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER mfcleak: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=2 pf=1 other=0 | kfree cfe=0 pf=1 other=0 | LIVE cfe=2 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO mfcleak: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO mfcleak: child_exit=0
===== variant=f5362 scenario=livelock =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock: entering verbatim pccard_read_cis()
pccard0: CIS chain hop limit exceeded (cycle?) -- truncating
SCENARIO livelock: returned normally. card->error=0 bus_reads=775 flag_switches=65
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER livelock: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO livelock: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock: child_exit=0
===== variant=f5362 scenario=leakloop =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: entering verbatim pccard_read_cis()
pccard0: CIS chain hop limit exceeded (cycle?) -- truncating
SCENARIO leakloop: returned normally. card->error=0 bus_reads=1415 flag_switches=65
OOB: 0 out-of-mapping bus reads
CARD: functions=1 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER leakloop: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=64 pf=1 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=64 pf=1 other=0
TEARDOWN: harness drained 64 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO leakloop: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: child_exit=0
===== variant=f5362 scenario=checksum =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum: entering verbatim pccard_read_cis()
pccard0: CIS checksum failed
SCENARIO checksum: returned normally. card->error=0 bus_reads=4101 flag_switches=1
OOB: 2045 out-of-mapping bus reads (mapping=4096 B): first=4096 max=8184 wild(>=65536)=0
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER checksum: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO checksum: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum: child_exit=0
===== variant=f5362 scenario=checksum_ok =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum_ok: entering verbatim pccard_read_cis()
pccard0: CIS checksum failed
SCENARIO checksum_ok: returned normally. card->error=0 bus_reads=110 flag_switches=1
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER checksum_ok: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO checksum_ok: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum_ok: child_exit=0
===== variant=f5362 scenario=benign =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO benign: entering verbatim pccard_read_cis()
SCENARIO benign: returned normally. card->error=0 bus_reads=95 flag_switches=3
OOB: 0 out-of-mapping bus reads
CARD: functions=2 cis1_major=5 manufacturer=0x201 product=0x403
LEDGER benign: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=3 pf=3 other=0 | kfree cfe=0 pf=1 other=0 | LIVE cfe=3 pf=2 other=0
TEARDOWN: harness drained 2 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO benign: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO benign: child_exit=0
===== variant=f5362 scenario=leakloop cap=100000 =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: entering verbatim pccard_read_cis()
pccard0: CIS chain hop limit exceeded (cycle?) -- truncating
SCENARIO leakloop: returned normally. card->error=0 bus_reads=1415 flag_switches=65
OOB: 0 out-of-mapping bus reads
CARD: functions=1 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER leakloop: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=64 pf=1 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=64 pf=1 other=0
TEARDOWN: harness drained 64 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO leakloop: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: child_exit=0
===== variant=f5362 scenario=livelock_alarm =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock_alarm: entering verbatim pccard_read_cis()
pccard0: CIS chain hop limit exceeded (cycle?) -- truncating
SCENARIO livelock_alarm: returned normally. card->error=0 bus_reads=775 flag_switches=65
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER livelock_alarm: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO livelock_alarm: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock_alarm: child_exit=0
===== variant=f5363 scenario=nullderef_a =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: entering verbatim pccard_read_cis()
SCENARIO nullderef_a: SIGSEGV si_addr=0x0 faulting_rip=0x402027
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: child_exit=91
===== variant=f5363 scenario=nullderef_b =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: entering verbatim pccard_read_cis()
SCENARIO nullderef_b: SIGSEGV si_addr=0x30 faulting_rip=0x4025e9
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: child_exit=91
===== variant=f5363 scenario=wildlink_long =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_long: entering verbatim pccard_read_cis()
SCENARIO wildlink_long: returned normally. card->error=0 bus_reads=8 flag_switches=2
OOB: 1 out-of-mapping bus reads (mapping=4096 B): first=16777216 max=16777216 wild(>=65536)=1
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER wildlink_long: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO wildlink_long: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_long: child_exit=0
===== variant=f5363 scenario=wildlink_mfc =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_mfc: entering verbatim pccard_read_cis()
SCENARIO wildlink_mfc: returned normally. card->error=0 bus_reads=18 flag_switches=3
OOB: 2 out-of-mapping bus reads (mapping=4096 B): first=4096 max=67108864 wild(>=65536)=1
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER wildlink_mfc: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO wildlink_mfc: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO wildlink_mfc: child_exit=0
===== variant=f5363 scenario=mfcleak =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO mfcleak: entering verbatim pccard_read_cis()
SCENARIO mfcleak: returned normally. card->error=0 bus_reads=31 flag_switches=2
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER mfcleak: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=2 pf=1 other=0 | kfree cfe=0 pf=1 other=0 | LIVE cfe=2 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO mfcleak: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO mfcleak: child_exit=0
===== variant=f5363 scenario=livelock =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock: entering verbatim pccard_read_cis()
SCENARIO livelock: READ BUDGET EXHAUSTED (cap=200000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER livelock: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
RING: bus-read offset stream is PERIODIC, period=12 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO livelock: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock: child_exit=90
===== variant=f5363 scenario=leakloop =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: entering verbatim pccard_read_cis()
SCENARIO leakloop: READ BUDGET EXHAUSTED (cap=200000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER leakloop: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=9090 pf=1 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=9090 pf=1 other=0
RING: bus-read offset stream is PERIODIC, period=22 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO leakloop: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: child_exit=90
===== variant=f5363 scenario=checksum =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum: entering verbatim pccard_read_cis()
SCENARIO checksum: returned normally. card->error=0 bus_reads=10 flag_switches=1
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER checksum: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO checksum: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum: child_exit=0
===== variant=f5363 scenario=checksum_ok =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum_ok: entering verbatim pccard_read_cis()
pccard0: CIS checksum failed
SCENARIO checksum_ok: returned normally. card->error=0 bus_reads=110 flag_switches=1
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER checksum_ok: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO checksum_ok: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO checksum_ok: child_exit=0
===== variant=f5363 scenario=benign =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO benign: entering verbatim pccard_read_cis()
SCENARIO benign: returned normally. card->error=0 bus_reads=95 flag_switches=3
OOB: 0 out-of-mapping bus reads
CARD: functions=2 cis1_major=5 manufacturer=0x201 product=0x403
LEDGER benign: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=3 pf=3 other=0 | kfree cfe=0 pf=1 other=0 | LIVE cfe=3 pf=2 other=0
TEARDOWN: harness drained 2 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO benign: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO benign: child_exit=0
===== variant=f5363 scenario=leakloop cap=100000 =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: entering verbatim pccard_read_cis()
SCENARIO leakloop: READ BUDGET EXHAUSTED (cap=100000) -- pccard_scan_cis has NOT returned; kernel has no such cap
LEDGER leakloop: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=4545 pf=1 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=4545 pf=1 other=0
RING: bus-read offset stream is PERIODIC, period=22 reads, >=3 full cycles observed in last 8192 reads (deterministic cycle)
SCENARIO leakloop: exit 90 (non-terminating scan)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO leakloop: child_exit=90
===== variant=f5363 scenario=livelock_alarm =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock_alarm: entering verbatim pccard_read_cis()
SCENARIO livelock_alarm: SIGALRM after wall-clock budget; bus_reads=694939315 (scan_cis still running)
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO livelock_alarm: child_exit=99
######## matrix complete ########