I didn't know it is that close to becoming part of GCC, that's great! I have been trying clang+ASan on a larger project with mixed success. While it could catc

I didn't know it is that close to becoming part of GCC, that's great! I have been trying clang+ASan on a larger project with mixed success. While it could catch a known bug, it seemed to miscompile some essential startup code and therefore I could not get it running in regression tests. Never got around to debugging it, but now I can try again with GCC. There is also another interesting project out there, although it is not as far along as ASAN: http://safecode.cs.illinois.edu/ http://safecode.cs.illinois.edu/ This project aims to track exact memory bounds of all objects. ASan will not detect out of bounds accesses that go to allocated memory of another object, but SAFECode would catch that.