===== 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