Displaying 1 result from an estimated 1 matches for "log2128".
Did you mean:
log12
2012 Apr 04
0
[LLVMdev] GSoC 2012 proposal : Integrate Baggy Bounds Checking into SAFECode
...le to explain how BBC works. (We set slot_size to be
16)
p =malloc (100); // It returns the address 0x12345600
BCD pads and aligns the size to be 128
p = malloc (128); So the upper bound of p is 0x12345680 and the lower bound
of p is 0x12345600. *table [p>>slot_size] = table[p>>16] = log2128 = 7*
There is pointer arithmetic:
q = p + 144 = 0x12345690.
We check: (p^q) >>table[p>>slot_size] = 0x00000090>>7 != 0 So q is out of
bound.
Currently some initial work of BBC has been done in SAFECode. But there is
still a lot of work to do. The padding and alignment trans...