search for: usenix05

Displaying 3 results from an estimated 3 matches for "usenix05".

[LLVMdev] MemorySanitizer, a tool that finds uninitialized reads and more
2012 Jun 18
4
[LLVMdev] MemorySanitizer, a tool that finds uninitialized reads and more
...). The main goal of the tool is to detect uses of uninitialized memory (the major feature of Valgrind/Memcheck not covered by AddressSanitizer). It will also find use-after-destruction-but-before-free in C++. The algorithm of the tool is similar to that of Memcheck ( http://static.usenix.org/event/usenix05/tech/general/full_papers/seward/seward.pdf ). We associate a few shadow bits with every byte of the application memory, poison the shadow of the malloc-ed or alloca-ed memory, load the shadow bits on every memory read, propagate the shadow bits through some of the arithmetic instruction (including...
[LLVMdev] MemorySanitizer, a tool that finds uninitialized reads and more
2012 Jun 19
0
[LLVMdev] MemorySanitizer, a tool that finds uninitialized reads and more
...tool is to detect uses of uninitialized memory (the > major feature of Valgrind/Memcheck not covered by AddressSanitizer). > It will also find use-after-destruction-but-before-free in C++. > > The algorithm of the tool is similar to that of Memcheck ( > http://static.usenix.org/event/usenix05/tech/general/full_papers/seward/seward.pdf > ). > We associate a few shadow bits with every byte of the application memory, > poison the shadow of the malloc-ed or alloca-ed memory, > load the shadow bits on every memory read, > propagate the shadow bits through some of the arithmeti...
[LLVMdev] MemorySanitizer, a tool that finds uninitialized reads and more
2012 Oct 16
1
[LLVMdev] MemorySanitizer, a tool that finds uninitialized reads and more
...es of uninitialized memory (the >> major feature of Valgrind/Memcheck not covered by AddressSanitizer). >> It will also find use-after-destruction-but-before-free in C++. >> >> The algorithm of the tool is similar to that of Memcheck ( >> http://static.usenix.org/event/usenix05/tech/general/full_papers/seward/seward.pdf >> ). >> We associate a few shadow bits with every byte of the application memory, >> poison the shadow of the malloc-ed or alloca-ed memory, >> load the shadow bits on every memory read, >> propagate the shadow bits through s...