[LLVMdev] DataFlowSanitizer design discussion

[Bin Tzeng]

That is true. I was referring to the program counter on ISA level. C/C++
abstractions do not expose that. It is not the intended use case for DFSan
I guess. ;]


On Wed, Aug 7, 2013 at 8:01 AM, Konstantin Tokarev <annulen at yandex.ru>wrote:

>
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130807/6cb803e6/attachment.html>