[llvm-dev] Taint flow tracking

[Priyanka Panigrahi via llvm-dev]

Thanks, I will check it out.

There is another tool for taint analysis, taintgrind. I am not able to find
any relevant output yet.

I am new to this area, still exploring.



On Thu, Sep 12, 2019 at 1:56 PM Peter Waller <Peter.Waller at arm.com> wrote:

> On 12/09/2019 06:02, Priyanka Panigrahi via llvm-dev wrote:
>
> Let in a program a variable 'x' is tainted. There is an assignment 'y=x'
> where y is untainted.
> How to check the taintflow in the output or data flow graph ?
>
> I'm not involved in it, but you might be interested in the
> DataFlowSanitizer, dfsan:
> https://clang.llvm.org/docs/DataFlowSanitizer.html, which sounds like it
> can do what you want.
>
> I'd be interested to hear in other answers to this question, too.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190912/e1962cc0/attachment.html>