=== DF-5624 post-fix re-verification (patched kernel 1) ===
DF5624: cpu3 kstack=[0xfffff80117f80000,0xfffff80117f84000) top=0xfffff80117f84000 NEIGHBOR UNMAPPED
DF5624: tf_rbp=0xfffff80117f83ff8 == top-8: passes 'rbp > top-8' (equal is not greater), 8-aligned, >= bot -> hard_sniff loads *(rbp+8) at 0xfffff80117f84000 = [top, top+8): OUT OF BOUNDS READ; UNMAPPED here means the buggy kernel takes a fatal trap 12 at mp_flame.c:138
DF5624: survived UNMAPPED-neighbour sniff (no OOB fault) -- fixed guard must be why
DF5624: cpu3 kstack=[0xfffff80117f80000,0xfffff80117f84000) top=0xfffff80117f84000 NEIGHBOR UNMAPPED
DF5624: tf_rbp=0xfffff80117f83ff8 == top-8: passes 'rbp > top-8' (equal is not greater), 8-aligned, >= bot -> hard_sniff loads *(rbp+8) at 0xfffff80117f84000 = [top, top+8): OUT OF BOUNDS READ; UNMAPPED here means the buggy kernel takes a fatal trap 12 at mp_flame.c:138
DF5624: survived UNMAPPED-neighbour sniff (no OOB fault) -- fixed guard must be why
DF5624: cpu3 kstack=[0xfffff80117f80000,0xfffff80117f84000) top=0xfffff80117f84000 NEIGHBOR UNMAPPED
DF5624: tf_rbp=0xfffff80117f83ff8 == top-8: passes 'rbp > top-8' (equal is not greater), 8-aligned, >= bot -> hard_sniff loads *(rbp+8) at 0xfffff80117f84000 = [top, top+8): OUT OF BOUNDS READ; UNMAPPED here means the buggy kernel takes a fatal trap 12 at mp_flame.c:138
DF5624: survived UNMAPPED-neighbour sniff (no OOB fault) -- fixed guard must be why
DF5624: cpu3 kstack=[0xfffff80117f80000,0xfffff80117f84000) top=0xfffff80117f84000 NEIGHBOR UNMAPPED
DF5624: tf_rbp=0xfffff80117f83ff8 == top-8: passes 'rbp > top-8' (equal is not greater), 8-aligned, >= bot -> hard_sniff loads *(rbp+8) at 0xfffff80117f84000 = [top, top+8): OUT OF BOUNDS READ; UNMAPPED here means the buggy kernel takes a fatal trap 12 at mp_flame.c:138
DF5624: survived UNMAPPED-neighbour sniff (no OOB fault) -- fixed guard must be why
=== dump: any nonzero rips[1]? ===
(none - all OOB loads refused by fixed guard)
found 156 magic entries