[LLVMdev] DataFlowSanitizer design discussion

[Konstantin Tokarev]

15.06.2013, 00:53, "Bin Tzeng" <bintzeng at gmail.com>:
> It is interesting. I can see some use cases with such a tool. To me, source-level implementation
> is not as accurate as binary translation. For instance, it is hard to check the taint for return addresses
> since there is no concept of return instructions on source level.

Well, on many architectures there is no concept of return instruction on ISA level too :)

-- 
Regards,
Konstantin