[llvm-dev] Taint flow tracking

[Priyanka Panigrahi via llvm-dev]

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 ?

Any suggestions?

Thank you. Have a great day.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190912/5bb3655c/attachment.html>