<div dir="auto"><p style="margin-bottom:16px;color:rgb(36,41,46);font-family:-apple-system,blinkmacsystemfont,"segoe ui",helvetica,arial,sans-serif,"apple color emoji","segoe ui emoji","segoe ui symbol";background-color:rgb(255,255,255);margin-top:0px!important">Let in a program a variable 'x' is tainted. There is an assignment 'y=x' where y is untainted.<br>How to check the taintflow in the output or data flow graph ?</p><p style="margin-top:0px;margin-bottom:16px;color:rgb(36,41,46);font-family:-apple-system,blinkmacsystemfont,"segoe ui",helvetica,arial,sans-serif,"apple color emoji","segoe ui emoji","segoe ui symbol";background-color:rgb(255,255,255)">Any suggestions?</p><p style="margin-top:0px;color:rgb(36,41,46);font-family:-apple-system,blinkmacsystemfont,"segoe ui",helvetica,arial,sans-serif,"apple color emoji","segoe ui emoji","segoe ui symbol";background-color:rgb(255,255,255);margin-bottom:0px!important">Thank you. Have a great day.</p></div>