Very cool. I always wondered why there isn't something like this in GCC/LLVM, it would obviously solve uncountable of security issues.