modptr2a.c
up: index
prev: modptr2.c
next: modptr3.c
#include <stdio.h>
#include "capprint.h"
int main(void)
{
int x;
int *px;
for(size_t i=0;i<sizeof(int*);i++)
{
px = &x;
fprintf(stderr,"\n\n--- Modifying byte %d ---\n",(int)i);
fprintf(stderr,"Original %" PTR_FMT "\n", sptr((void*)px));
unsigned char *p = (unsigned char*) &px;
{
fprintf(stderr,"[");
for(size_t i=0;i<sizeof(void*);i++)
fprintf(stderr,"%d;",(int)p[i]);
fprintf(stderr,"]\n");
}
p[i] = 42;
fprintf(stderr,"Modified %" PTR_FMT "\n", sptr((void*)px));
{
fprintf(stderr,"[");
for(size_t i=0;i<sizeof(void*);i++)
fprintf(stderr,"%d;",(int)p[i]);
fprintf(stderr,"]\n");
}
}
}
Experimental data (what does this mean?)
cerberus-cheri-no-pnvi
cerberus-cheri-revocation-no-pnvi
cerberus-cheri-cornucopia-no-pnvi
--- Modifying byte 0 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0xffffe62a [rwRW,0xffffe6e0-0xffffe6e4] (notag))
[42;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 1 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0xffff2ae0 [rwRW,0xfffee6e0-0xfffee6e4] (notag))
[224;42;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 2 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0xff2ae6e0 [rwRW,0xff2ae6e0-0xff2ae6e4] (notag))
[224;230;42;255;0;0;0;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 3 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0x2affe6e0 [rwRW,0x2affe6e0-0x2affe6e4] (notag))
[224;230;255;42;0;0;0;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 4 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0x2affffe6e0 [rwRW,0x2affffe6e0-0x2affffe6e4] (notag))
[224;230;255;255;42;0;0;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 5 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0x2a00ffffe6e0 [rwRW,0x2a00ffffe6e0-0x2a00ffffe6e4] (notag))
[224;230;255;255;0;42;0;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 6 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0x2a0000ffffe6e0 [rwRW,0x2a0000ffffe6e0-0x2a0000ffffe6e4] (notag))
[224;230;255;255;0;0;42;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 7 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0x2a000000ffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4] (notag))
[224;230;255;255;0;0;0;42;224;230;228;102;0;0;0;220;]
--- Modifying byte 8 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0xffffe6e0 [rwRW,0xffffe62a-0xffffe6e4] (notag))
[224;230;255;255;0;0;0;0;42;230;228;102;0;0;0;220;]
--- Modifying byte 9 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0xffffe6e0 [rwRW,0xffff2ae0-0xffff66e4] (notag))
[224;230;255;255;0;0;0;0;224;42;228;102;0;0;0;220;]
--- Modifying byte 10 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0x10000262a] (notag))
[224;230;255;255;0;0;0;0;224;230;42;102;0;0;0;220;]
--- Modifying byte 11 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0xffffe6e0 [rwRW,0xfffff37000000000-0x10000157000000000] (notag))
[224;230;255;255;0;0;0;0;224;230;228;42;0;0;0;220;]
--- Modifying byte 12 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4] (notag,sealed))
[224;230;255;255;0;0;0;0;224;230;228;102;42;0;0;220;]
--- Modifying byte 13 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4] (notag,sealed))
[224;230;255;255;0;0;0;0;224;230;228;102;0;42;0;220;]
--- Modifying byte 14 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4] (notag))
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;42;220;]
--- Modifying byte 15 ---
Original (@disabled, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@disabled, 0xffffe6e0 [xW,0xffffe6e0-0xffffe6e4] (notag))
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;42;]
cerberus-cheri
cerberus-cheri-revocation
cerberus-cheri-cornucopia
--- Modifying byte 0 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@empty, 0xffffe62a [rwRW,0xffffe6e0-0xffffe6e4] (notag))
[42;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 1 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@empty, 0xffff2ae0 [rwRW,0xfffee6e0-0xfffee6e4] (notag))
[224;42;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 2 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@empty, 0xff2ae6e0 [rwRW,0xff2ae6e0-0xff2ae6e4] (notag))
[224;230;42;255;0;0;0;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 3 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@empty, 0x2affe6e0 [rwRW,0x2affe6e0-0x2affe6e4] (notag))
[224;230;255;42;0;0;0;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 4 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@empty, 0x2affffe6e0 [rwRW,0x2affffe6e0-0x2affffe6e4] (notag))
[224;230;255;255;42;0;0;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 5 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@empty, 0x2a00ffffe6e0 [rwRW,0x2a00ffffe6e0-0x2a00ffffe6e4] (notag))
[224;230;255;255;0;42;0;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 6 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@empty, 0x2a0000ffffe6e0 [rwRW,0x2a0000ffffe6e0-0x2a0000ffffe6e4] (notag))
[224;230;255;255;0;0;42;0;224;230;228;102;0;0;0;220;]
--- Modifying byte 7 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@empty, 0x2a000000ffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4] (notag))
[224;230;255;255;0;0;0;42;224;230;228;102;0;0;0;220;]
--- Modifying byte 8 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@88, 0xffffe6e0 [rwRW,0xffffe62a-0xffffe6e4] (notag))
[224;230;255;255;0;0;0;0;42;230;228;102;0;0;0;220;]
--- Modifying byte 9 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@88, 0xffffe6e0 [rwRW,0xffff2ae0-0xffff66e4] (notag))
[224;230;255;255;0;0;0;0;224;42;228;102;0;0;0;220;]
--- Modifying byte 10 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0x10000262a] (notag))
[224;230;255;255;0;0;0;0;224;230;42;102;0;0;0;220;]
--- Modifying byte 11 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@88, 0xffffe6e0 [rwRW,0xfffff37000000000-0x10000157000000000] (notag))
[224;230;255;255;0;0;0;0;224;230;228;42;0;0;0;220;]
--- Modifying byte 12 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4] (notag,sealed))
[224;230;255;255;0;0;0;0;224;230;228;102;42;0;0;220;]
--- Modifying byte 13 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4] (notag,sealed))
[224;230;255;255;0;0;0;0;224;230;228;102;0;42;0;220;]
--- Modifying byte 14 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4] (notag))
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;42;220;]
--- Modifying byte 15 ---
Original (@88, 0xffffe6e0 [rwRW,0xffffe6e0-0xffffe6e4])
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;220;]
Modified (@88, 0xffffe6e0 [xW,0xffffe6e0-0xffffe6e4] (notag))
[224;230;255;255;0;0;0;0;224;230;228;102;0;0;0;42;]
clang-riscv-O3-bounds-conservative
clang-riscv-O3-bounds-subobject-safe
--- Modifying byte 0 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x3fffdffe2a [rwRW,0x3fffdffebc-0x3fffdffec0] (invalid)
[42;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
--- Modifying byte 1 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x3fffdf2abc [rwRW,0x3fffdefebc-0x3fffdefec0] (invalid)
[188;42;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
--- Modifying byte 2 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x3fff2afebc [rwRW,0x3fff2afebc-0x3fff2afec0] (invalid)
[188;254;42;255;63;0;0;0;184;190;177;7;0;0;125;209;]
--- Modifying byte 3 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x3f2adffebc [rwRW,0x3f2adffebc-0x3f2adffec0] (invalid)
[188;254;223;42;63;0;0;0;184;190;177;7;0;0;125;209;]
--- Modifying byte 4 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x2affdffebc [rwRW,0x2affdffebc-0x2affdffec0] (invalid)
[188;254;223;255;42;0;0;0;184;190;177;7;0;0;125;209;]
--- Modifying byte 5 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x2a3fffdffebc [rwRW,0x2a3fffdffebc-0x2a3fffdffec0] (invalid)
[188;254;223;255;63;42;0;0;184;190;177;7;0;0;125;209;]
--- Modifying byte 6 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x2a003fffdffebc [rwRW,0x2a003fffdffebc-0x2a003fffdffec0] (invalid)
[188;254;223;255;63;0;42;0;184;190;177;7;0;0;125;209;]
--- Modifying byte 7 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x2a00003fffdffebc [rwRW,0x2a00003fffdffebc-0x2a00003fffdffec0] (invalid)
[188;254;223;255;63;0;0;42;184;190;177;7;0;0;125;209;]
--- Modifying byte 8 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x3fffdffebc [rwRW,0x3fffdffe2e-0x3fffdffec0] (invalid)
[188;254;223;255;63;0;0;0;42;190;177;7;0;0;125;209;]
--- Modifying byte 9 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x3fffdffebc [rwRW,0x3fffdfeabc-0x3fffdfeec2] (invalid)
[188;254;223;255;63;0;0;0;184;42;177;7;0;0;125;209;]
--- Modifying byte 10 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffe00cac] (invalid)
[188;254;223;255;63;0;0;0;184;190;42;7;0;0;125;209;]
--- Modifying byte 11 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x3fffdffebc [rwRW,0x3fffdfeb80-0x3fffe1ac00] (invalid,sealed)
[188;254;223;255;63;0;0;0;184;190;177;42;0;0;125;209;]
--- Modifying byte 12 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0] (invalid,sealed)
[188;254;223;255;63;0;0;0;184;190;177;7;42;0;125;209;]
--- Modifying byte 13 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0] (invalid,sealed)
[188;254;223;255;63;0;0;0;184;190;177;7;0;42;125;209;]
--- Modifying byte 14 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x3fffdffebc [wxW,0x3fffdffebc-0x3fffdffec0] (invalid)
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;42;209;]
--- Modifying byte 15 ---
Original 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0]
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;209;]
Modified 0x3fffdffebc [rwRW,0x3fffdffebc-0x3fffdffec0] (invalid)
[188;254;223;255;63;0;0;0;184;190;177;7;0;0;125;42;]
clang-riscv-O0-bounds-conservative
clang-riscv-O0-bounds-references-only
clang-riscv-O0-bounds-subobject-safe
clang-riscv-O0-bounds-aggressive
clang-riscv-O0-bounds-very-aggressive
clang-riscv-O0-bounds-everywhere-unsafe
--- Modifying byte 0 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x3fffdfff2a [rwRW,0x3fffdfff68-0x3fffdfff6c] (invalid)
[42;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
--- Modifying byte 1 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x3fffdf2a68 [rwRW,0x3fffdeff68-0x3fffdeff6c] (invalid)
[104;42;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
--- Modifying byte 2 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x3fff2aff68 [rwRW,0x3fff2aff68-0x3fff2aff6c] (invalid)
[104;255;42;255;63;0;0;0;108;191;218;7;0;0;125;209;]
--- Modifying byte 3 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x3f2adfff68 [rwRW,0x3f2adfff68-0x3f2adfff6c] (invalid)
[104;255;223;42;63;0;0;0;108;191;218;7;0;0;125;209;]
--- Modifying byte 4 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x2affdfff68 [rwRW,0x2affdfff68-0x2affdfff6c] (invalid)
[104;255;223;255;42;0;0;0;108;191;218;7;0;0;125;209;]
--- Modifying byte 5 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x2a3fffdfff68 [rwRW,0x2a3fffdfff68-0x2a3fffdfff6c] (invalid)
[104;255;223;255;63;42;0;0;108;191;218;7;0;0;125;209;]
--- Modifying byte 6 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x2a003fffdfff68 [rwRW,0x2a003fffdfff68-0x2a003fffdfff6c] (invalid)
[104;255;223;255;63;0;42;0;108;191;218;7;0;0;125;209;]
--- Modifying byte 7 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x2a00003fffdfff68 [rwRW,0x2a00003fffdfff68-0x2a00003fffdfff6c] (invalid)
[104;255;223;255;63;0;0;42;108;191;218;7;0;0;125;209;]
--- Modifying byte 8 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x3fffdfff68 [rwRW,0x3fffdfff2e-0x3fffdfff6c] (invalid)
[104;255;223;255;63;0;0;0;42;191;218;7;0;0;125;209;]
--- Modifying byte 9 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x3fffdfff68 [rwRW,0x3fffdfea68-0x3fffdfef6e] (invalid)
[104;255;223;255;63;0;0;0;108;42;218;7;0;0;125;209;]
--- Modifying byte 10 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffe00cac] (invalid)
[104;255;223;255;63;0;0;0;108;191;42;7;0;0;125;209;]
--- Modifying byte 11 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x3fffdfff68 [rwRW,0xffffff6800000000-0x1b6800000000] (invalid,sealed)
[104;255;223;255;63;0;0;0;108;191;218;42;0;0;125;209;]
--- Modifying byte 12 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c] (invalid,sealed)
[104;255;223;255;63;0;0;0;108;191;218;7;42;0;125;209;]
--- Modifying byte 13 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c] (invalid,sealed)
[104;255;223;255;63;0;0;0;108;191;218;7;0;42;125;209;]
--- Modifying byte 14 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x3fffdfff68 [wxW,0x3fffdfff68-0x3fffdfff6c] (invalid)
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;42;209;]
--- Modifying byte 15 ---
Original 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c]
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;209;]
Modified 0x3fffdfff68 [rwRW,0x3fffdfff68-0x3fffdfff6c] (invalid)
[104;255;223;255;63;0;0;0;108;191;218;7;0;0;125;42;]
clang-morello-O3-bounds-subobject-safe
--- Modifying byte 0 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xfffffff7fe2a [rwRW,0xfffffff7feac-0xfffffff7feb0] (invalid)
[42;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
--- Modifying byte 1 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xfffffff72aac [rwRW,0xfffffff6feac-0xfffffff6feb0] (invalid)
[172;42;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
--- Modifying byte 2 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xffffff2afeac [rwRW,0xffffff2afeac-0xffffff2afeb0] (invalid)
[172;254;42;255;255;255;0;0;172;254;176;126;0;64;93;220;]
--- Modifying byte 3 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xffff2af7feac [rwRW,0xffff2af7feac-0xffff2af7feb0] (invalid)
[172;254;247;42;255;255;0;0;172;254;176;126;0;64;93;220;]
--- Modifying byte 4 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xff2afff7feac [rwRW,0xff2afff7feac-0xff2afff7feb0] (invalid)
[172;254;247;255;42;255;0;0;172;254;176;126;0;64;93;220;]
--- Modifying byte 5 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0x2afffff7feac [rwRW,0x2afffff7feac-0x2afffff7feb0] (invalid)
[172;254;247;255;255;42;0;0;172;254;176;126;0;64;93;220;]
--- Modifying byte 6 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0x2afffffff7feac [rwRW,0x2afffffff7feac-0x2afffffff7feb0] (invalid)
[172;254;247;255;255;255;42;0;172;254;176;126;0;64;93;220;]
--- Modifying byte 7 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0x2a00fffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0] (invalid)
[172;254;247;255;255;255;0;42;172;254;176;126;0;64;93;220;]
--- Modifying byte 8 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xfffffff7feac [rwRW,0xfffffff7fe2a-0xfffffff7feb0] (invalid)
[172;254;247;255;255;255;0;0;42;254;176;126;0;64;93;220;]
--- Modifying byte 9 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xfffffff7feac [rwRW,0xfffffff72aac-0xfffffff73eb0] (invalid)
[172;254;247;255;255;255;0;0;172;42;176;126;0;64;93;220;]
--- Modifying byte 10 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff83e2a] (invalid)
[172;254;247;255;255;255;0;0;172;254;42;126;0;64;93;220;]
--- Modifying byte 11 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xfffffff7feac [rwRW,0x0-0xffffffffffffffff] (invalid)
[172;254;247;255;255;255;0;0;172;254;176;42;0;64;93;220;]
--- Modifying byte 12 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0] (invalid,sealed)
[172;254;247;255;255;255;0;0;172;254;176;126;42;64;93;220;]
--- Modifying byte 13 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0] (invalid,sealed)
[172;254;247;255;255;255;0;0;172;254;176;126;0;42;93;220;]
--- Modifying byte 14 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0] (invalid)
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;42;220;]
--- Modifying byte 15 ---
Original 0xfffffff7feac [rwRW,0xfffffff7feac-0xfffffff7feb0]
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;220;]
Modified 0xfffffff7feac [xW,0xfffffff7feac-0xfffffff7feb0] (invalid)
[172;254;247;255;255;255;0;0;172;254;176;126;0;64;93;42;]
clang-morello-O0-bounds-subobject-safe
clang-morello-O0-bounds-aggressive
clang-morello-O0-bounds-very-aggressive
clang-morello-O0-bounds-everywhere-unsafe
--- Modifying byte 0 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xfffffff7ff2a [rwRW,0xfffffff7ff48-0xfffffff7ff4c] (invalid)
[42;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
--- Modifying byte 1 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xfffffff72a48 [rwRW,0xfffffff6ff48-0xfffffff6ff4c] (invalid)
[72;42;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
--- Modifying byte 2 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xffffff2aff48 [rwRW,0xffffff2aff48-0xffffff2aff4c] (invalid)
[72;255;42;255;255;255;0;0;72;255;76;127;0;64;93;220;]
--- Modifying byte 3 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xffff2af7ff48 [rwRW,0xffff2af7ff48-0xffff2af7ff4c] (invalid)
[72;255;247;42;255;255;0;0;72;255;76;127;0;64;93;220;]
--- Modifying byte 4 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xff2afff7ff48 [rwRW,0xff2afff7ff48-0xff2afff7ff4c] (invalid)
[72;255;247;255;42;255;0;0;72;255;76;127;0;64;93;220;]
--- Modifying byte 5 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0x2afffff7ff48 [rwRW,0x2afffff7ff48-0x2afffff7ff4c] (invalid)
[72;255;247;255;255;42;0;0;72;255;76;127;0;64;93;220;]
--- Modifying byte 6 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0x2afffffff7ff48 [rwRW,0x2afffffff7ff48-0x2afffffff7ff4c] (invalid)
[72;255;247;255;255;255;42;0;72;255;76;127;0;64;93;220;]
--- Modifying byte 7 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0x2a00fffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c] (invalid)
[72;255;247;255;255;255;0;42;72;255;76;127;0;64;93;220;]
--- Modifying byte 8 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xfffffff7ff48 [rwRW,0xfffffff7ff2a-0xfffffff7ff4c] (invalid)
[72;255;247;255;255;255;0;0;42;255;76;127;0;64;93;220;]
--- Modifying byte 9 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xfffffff7ff48 [rwRW,0xfffffff72a48-0xfffffff73f4c] (invalid)
[72;255;247;255;255;255;0;0;72;42;76;127;0;64;93;220;]
--- Modifying byte 10 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff83f2a] (invalid)
[72;255;247;255;255;255;0;0;72;255;42;127;0;64;93;220;]
--- Modifying byte 11 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xfffffff7ff48 [rwRW,0xffa400000000-0x1352400000000] (invalid)
[72;255;247;255;255;255;0;0;72;255;76;42;0;64;93;220;]
--- Modifying byte 12 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c] (invalid,sealed)
[72;255;247;255;255;255;0;0;72;255;76;127;42;64;93;220;]
--- Modifying byte 13 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c] (invalid,sealed)
[72;255;247;255;255;255;0;0;72;255;76;127;0;42;93;220;]
--- Modifying byte 14 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c] (invalid)
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;42;220;]
--- Modifying byte 15 ---
Original 0xfffffff7ff48 [rwRW,0xfffffff7ff48-0xfffffff7ff4c]
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;220;]
Modified 0xfffffff7ff48 [xW,0xfffffff7ff48-0xfffffff7ff4c] (invalid)
[72;255;247;255;255;255;0;0;72;255;76;127;0;64;93;42;]
clang-morello-O3-bounds-conservative
--- Modifying byte 0 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xfffffff7fe2a [rwRW,0xfffffff7febc-0xfffffff7fec0] (invalid)
[42;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
--- Modifying byte 1 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xfffffff72abc [rwRW,0xfffffff6febc-0xfffffff6fec0] (invalid)
[188;42;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
--- Modifying byte 2 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xffffff2afebc [rwRW,0xffffff2afebc-0xffffff2afec0] (invalid)
[188;254;42;255;255;255;0;0;188;254;192;126;0;64;93;220;]
--- Modifying byte 3 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xffff2af7febc [rwRW,0xffff2af7febc-0xffff2af7fec0] (invalid)
[188;254;247;42;255;255;0;0;188;254;192;126;0;64;93;220;]
--- Modifying byte 4 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xff2afff7febc [rwRW,0xff2afff7febc-0xff2afff7fec0] (invalid)
[188;254;247;255;42;255;0;0;188;254;192;126;0;64;93;220;]
--- Modifying byte 5 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0x2afffff7febc [rwRW,0x2afffff7febc-0x2afffff7fec0] (invalid)
[188;254;247;255;255;42;0;0;188;254;192;126;0;64;93;220;]
--- Modifying byte 6 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0x2afffffff7febc [rwRW,0x2afffffff7febc-0x2afffffff7fec0] (invalid)
[188;254;247;255;255;255;42;0;188;254;192;126;0;64;93;220;]
--- Modifying byte 7 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0x2a00fffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0] (invalid)
[188;254;247;255;255;255;0;42;188;254;192;126;0;64;93;220;]
--- Modifying byte 8 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xfffffff7febc [rwRW,0xfffffff7fe2a-0xfffffff7fec0] (invalid)
[188;254;247;255;255;255;0;0;42;254;192;126;0;64;93;220;]
--- Modifying byte 9 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xfffffff7febc [rwRW,0xfffffff72abc-0xfffffff73ec0] (invalid)
[188;254;247;255;255;255;0;0;188;42;192;126;0;64;93;220;]
--- Modifying byte 10 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff83e2a] (invalid)
[188;254;247;255;255;255;0;0;188;254;42;126;0;64;93;220;]
--- Modifying byte 11 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xfffffff7febc [rwRW,0x0-0xffffffffffffffff] (invalid)
[188;254;247;255;255;255;0;0;188;254;192;42;0;64;93;220;]
--- Modifying byte 12 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0] (invalid,sealed)
[188;254;247;255;255;255;0;0;188;254;192;126;42;64;93;220;]
--- Modifying byte 13 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0] (invalid,sealed)
[188;254;247;255;255;255;0;0;188;254;192;126;0;42;93;220;]
--- Modifying byte 14 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0] (invalid)
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;42;220;]
--- Modifying byte 15 ---
Original 0xfffffff7febc [rwRW,0xfffffff7febc-0xfffffff7fec0]
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;220;]
Modified 0xfffffff7febc [xW,0xfffffff7febc-0xfffffff7fec0] (invalid)
[188;254;247;255;255;255;0;0;188;254;192;126;0;64;93;42;]
clang-morello-O0-bounds-conservative
clang-morello-O0-bounds-references-only
--- Modifying byte 0 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xfffffff7ff2a [rwRW,0xfffffff7ff58-0xfffffff7ff5c] (invalid)
[42;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
--- Modifying byte 1 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xfffffff72a58 [rwRW,0xfffffff6ff58-0xfffffff6ff5c] (invalid)
[88;42;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
--- Modifying byte 2 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xffffff2aff58 [rwRW,0xffffff2aff58-0xffffff2aff5c] (invalid)
[88;255;42;255;255;255;0;0;88;255;92;127;0;64;93;220;]
--- Modifying byte 3 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xffff2af7ff58 [rwRW,0xffff2af7ff58-0xffff2af7ff5c] (invalid)
[88;255;247;42;255;255;0;0;88;255;92;127;0;64;93;220;]
--- Modifying byte 4 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xff2afff7ff58 [rwRW,0xff2afff7ff58-0xff2afff7ff5c] (invalid)
[88;255;247;255;42;255;0;0;88;255;92;127;0;64;93;220;]
--- Modifying byte 5 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0x2afffff7ff58 [rwRW,0x2afffff7ff58-0x2afffff7ff5c] (invalid)
[88;255;247;255;255;42;0;0;88;255;92;127;0;64;93;220;]
--- Modifying byte 6 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0x2afffffff7ff58 [rwRW,0x2afffffff7ff58-0x2afffffff7ff5c] (invalid)
[88;255;247;255;255;255;42;0;88;255;92;127;0;64;93;220;]
--- Modifying byte 7 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0x2a00fffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c] (invalid)
[88;255;247;255;255;255;0;42;88;255;92;127;0;64;93;220;]
--- Modifying byte 8 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xfffffff7ff58 [rwRW,0xfffffff7ff2a-0xfffffff7ff5c] (invalid)
[88;255;247;255;255;255;0;0;42;255;92;127;0;64;93;220;]
--- Modifying byte 9 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xfffffff7ff58 [rwRW,0xfffffff72a58-0xfffffff73f5c] (invalid)
[88;255;247;255;255;255;0;0;88;42;92;127;0;64;93;220;]
--- Modifying byte 10 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff83f2a] (invalid)
[88;255;247;255;255;255;0;0;88;255;42;127;0;64;93;220;]
--- Modifying byte 11 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xfffffff7ff58 [rwRW,0xffac00000000-0x1352c00000000] (invalid)
[88;255;247;255;255;255;0;0;88;255;92;42;0;64;93;220;]
--- Modifying byte 12 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c] (invalid,sealed)
[88;255;247;255;255;255;0;0;88;255;92;127;42;64;93;220;]
--- Modifying byte 13 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c] (invalid,sealed)
[88;255;247;255;255;255;0;0;88;255;92;127;0;42;93;220;]
--- Modifying byte 14 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c] (invalid)
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;42;220;]
--- Modifying byte 15 ---
Original 0xfffffff7ff58 [rwRW,0xfffffff7ff58-0xfffffff7ff5c]
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;220;]
Modified 0xfffffff7ff58 [xW,0xfffffff7ff58-0xfffffff7ff5c] (invalid)
[88;255;247;255;255;255;0;0;88;255;92;127;0;64;93;42;]
gcc-morello-O3
--- Modifying byte 0 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x7fffff2a [rwRW,0x7fffffcc-0x7fffffd0] (invalid)
[42;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
--- Modifying byte 1 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x7fff2acc [rwRW,0x7ffeffcc-0x7ffeffd0] (invalid)
[204;42;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
--- Modifying byte 2 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x7f2affcc [rwRW,0x7f2affcc-0x7f2affd0] (invalid)
[204;255;42;127;0;0;0;0;204;255;208;127;0;192;255;223;]
--- Modifying byte 3 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x2affffcc [rwRW,0x2affffcc-0x2affffd0] (invalid)
[204;255;255;42;0;0;0;0;204;255;208;127;0;192;255;223;]
--- Modifying byte 4 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x2a7fffffcc [rwRW,0x2a7fffffcc-0x2a7fffffd0] (invalid)
[204;255;255;127;42;0;0;0;204;255;208;127;0;192;255;223;]
--- Modifying byte 5 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x2a007fffffcc [rwRW,0x2a007fffffcc-0x2a007fffffd0] (invalid)
[204;255;255;127;0;42;0;0;204;255;208;127;0;192;255;223;]
--- Modifying byte 6 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x2a00007fffffcc [rwRW,0x2a00007fffffcc-0x2a00007fffffd0] (invalid)
[204;255;255;127;0;0;42;0;204;255;208;127;0;192;255;223;]
--- Modifying byte 7 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x2a0000007fffffcc [rwRW,0x7fffffcc-0x7fffffd0] (invalid)
[204;255;255;127;0;0;0;42;204;255;208;127;0;192;255;223;]
--- Modifying byte 8 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x7fffffcc [rwRW,0x7fffff2a-0x7fffffd0] (invalid)
[204;255;255;127;0;0;0;0;42;255;208;127;0;192;255;223;]
--- Modifying byte 9 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x7fffffcc [rwRW,0x7fff2acc-0x7fff3fd0] (invalid)
[204;255;255;127;0;0;0;0;204;42;208;127;0;192;255;223;]
--- Modifying byte 10 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x7fffffcc [rwRW,0x7fffffcc-0x80003f2a] (invalid)
[204;255;255;127;0;0;0;0;204;255;42;127;0;192;255;223;]
--- Modifying byte 11 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x7fffffcc [rwRW,0x0-0xffffffffffffffff] (invalid)
[204;255;255;127;0;0;0;0;204;255;208;42;0;192;255;223;]
--- Modifying byte 12 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0] (invalid,sealed)
[204;255;255;127;0;0;0;0;204;255;208;127;42;192;255;223;]
--- Modifying byte 13 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0] (invalid,sealed)
[204;255;255;127;0;0;0;0;204;255;208;127;0;42;255;223;]
--- Modifying byte 14 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0] (invalid)
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;42;223;]
--- Modifying byte 15 ---
Original 0x7fffffcc [rwRW,0x7fffffcc-0x7fffffd0]
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;223;]
Modified 0x7fffffcc [xWE,0x7fffffcc-0x7fffffd0] (invalid)
[204;255;255;127;0;0;0;0;204;255;208;127;0;192;255;42;]
gcc-morello-O0
--- Modifying byte 0 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x7fffff2a [rwRW,0x7fffffac-0x7fffffb0] (invalid)
[42;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
--- Modifying byte 1 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x7fff2aac [rwRW,0x7ffeffac-0x7ffeffb0] (invalid)
[172;42;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
--- Modifying byte 2 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x7f2affac [rwRW,0x7f2affac-0x7f2affb0] (invalid)
[172;255;42;127;0;0;0;0;172;255;176;127;0;192;255;223;]
--- Modifying byte 3 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x2affffac [rwRW,0x2affffac-0x2affffb0] (invalid)
[172;255;255;42;0;0;0;0;172;255;176;127;0;192;255;223;]
--- Modifying byte 4 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x2a7fffffac [rwRW,0x2a7fffffac-0x2a7fffffb0] (invalid)
[172;255;255;127;42;0;0;0;172;255;176;127;0;192;255;223;]
--- Modifying byte 5 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x2a007fffffac [rwRW,0x2a007fffffac-0x2a007fffffb0] (invalid)
[172;255;255;127;0;42;0;0;172;255;176;127;0;192;255;223;]
--- Modifying byte 6 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x2a00007fffffac [rwRW,0x2a00007fffffac-0x2a00007fffffb0] (invalid)
[172;255;255;127;0;0;42;0;172;255;176;127;0;192;255;223;]
--- Modifying byte 7 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x2a0000007fffffac [rwRW,0x7fffffac-0x7fffffb0] (invalid)
[172;255;255;127;0;0;0;42;172;255;176;127;0;192;255;223;]
--- Modifying byte 8 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x7fffffac [rwRW,0x7fffff2a-0x7fffffb0] (invalid)
[172;255;255;127;0;0;0;0;42;255;176;127;0;192;255;223;]
--- Modifying byte 9 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x7fffffac [rwRW,0x7fff2aac-0x7fff3fb0] (invalid)
[172;255;255;127;0;0;0;0;172;42;176;127;0;192;255;223;]
--- Modifying byte 10 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x7fffffac [rwRW,0x7fffffac-0x80003f2a] (invalid)
[172;255;255;127;0;0;0;0;172;255;42;127;0;192;255;223;]
--- Modifying byte 11 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x7fffffac [rwRW,0x0-0xffffffffffffffff] (invalid)
[172;255;255;127;0;0;0;0;172;255;176;42;0;192;255;223;]
--- Modifying byte 12 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0] (invalid,sealed)
[172;255;255;127;0;0;0;0;172;255;176;127;42;192;255;223;]
--- Modifying byte 13 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0] (invalid,sealed)
[172;255;255;127;0;0;0;0;172;255;176;127;0;42;255;223;]
--- Modifying byte 14 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0] (invalid)
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;42;223;]
--- Modifying byte 15 ---
Original 0x7fffffac [rwRW,0x7fffffac-0x7fffffb0]
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;223;]
Modified 0x7fffffac [xWE,0x7fffffac-0x7fffffb0] (invalid)
[172;255;255;127;0;0;0;0;172;255;176;127;0;192;255;42;]