Damian Heaton
Results
2
issues of
Damian Heaton
Where a method modifies the address that should be considered canonical - such as via TBI or when an MTE tag has been set - Miri will need to be...
S-waiting-on-author
Adds a trait to `core_arch` for AArch64 to set a value in the top byte of a pointer (which should logically become the canonical address of the allocation), and to...