[LLVMdev] MemorySanitizer, a tool that finds uninitialized reads and more

[Joerg Sonnenberger]

On Mon, Jun 18, 2012 at 02:39:34PM +0400, Kostya Serebryany wrote:
> Another difference from Memcheck is that we propose to use 8 shadow bits
> per byte of application memory and use a
> direct shadow mapping (for 64-bit linux that is just clearing 46-th bit of
> the application memory address).
> This greatly simplifies the instrumentation code and avoids races on shadow
> updates
> (Memcheck is single-threaded so races are not a concern there.
> Memcheck uses 2 shadow bits per byte with a slow path storage that uses 8
> bits per byte).

Can you make it possible for ASAN to share the same layout? I expect
that both will often be used together...

Joerg