dead1.c
up: index
prev: revoke4.c
next: -
#include <stdio.h>
#include <stdlib.h>
int main()
{
int *p = (int*)malloc(sizeof(int));
*p = 42;
free(p);
return(*p);
}
Experimental data (what does this mean?)
cerberus-cheri-cornucopia exit codes: compile 0 / execute 1
Undefined {ub: "UB043_indirection_invalid_value", loc: "<9:11--9:15>"}
cerberus-cheri-no-pnvi
cerberus-cheri-revocation-no-pnvi
cerberus-cheri-cornucopia-no-pnvi exit codes: compile 0 / execute 1
Undefined {ub: "UB_CERB002a_out_of_bound_load", loc: "<unknown location>"}
cerberus-cheri
cerberus-cheri-revocation exit codes: compile 0 / execute 1
Undefined {ub: "UB009_outside_lifetime", loc: "<other location: cherimem>"}
clang-riscv-O0-bounds-everywhere-unsafe [Inferior 1 (process 35682) exited with code 052]
GDB failed
clang-riscv-O0-bounds-very-aggressive [Inferior 1 (process 35660) exited with code 052]
GDB failed
clang-riscv-O0-bounds-aggressive [Inferior 1 (process 35638) exited with code 052]
GDB failed
clang-riscv-O3-bounds-subobject-safe [Inferior 1 (process 35616) exited with code 052]
GDB failed
clang-riscv-O0-bounds-subobject-safe [Inferior 1 (process 35594) exited with code 052]
GDB failed
clang-riscv-O0-bounds-references-only [Inferior 1 (process 35572) exited with code 052]
GDB failed
clang-riscv-O3-bounds-conservative [Inferior 1 (process 35550) exited with code 052]
GDB failed
clang-riscv-O0-bounds-conservative [Inferior 1 (process 35528) exited with code 052]
GDB failed
clang-morello-O0-bounds-everywhere-unsafe [Inferior 1 (process 35939) exited with code 052]
GDB failed
clang-morello-O0-bounds-very-aggressive [Inferior 1 (process 35917) exited with code 052]
GDB failed
clang-morello-O0-bounds-aggressive [Inferior 1 (process 35895) exited with code 052]
GDB failed
clang-morello-O0-bounds-subobject-safe [Inferior 1 (process 35851) exited with code 052]
GDB failed
clang-morello-O0-bounds-references-only [Inferior 1 (process 35829) exited with code 052]
GDB failed
clang-morello-O0-bounds-conservative [Inferior 1 (process 35785) exited with code 052]
GDB failed
gcc-morello-O3
clang-morello-O3-bounds-conservative
clang-morello-O3-bounds-subobject-safe gcc-morello-O0 exit codes: compile 0 / execute 42