[llvm-dev] Taint flow tracking

[Peter Waller via llvm-dev]

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/689a3e00/attachment.html>