Hello clang,<div><br></div><div>I am interested in doing taint analysis. <span class="Apple-style-span" style="font-family: sans-serif; font-size: 13px; line-height: 19px; ">My idea is get a complete list of all variables which are potentially influenced by outside input.<span class="Apple-style-span" style="font-family: arial; line-height: normal; font-size: small; "> Checking the mail list, I found that a way to do this is walking into GRExprEngine and his friends (SVals and MemRegion). </span></span></div>
<div><span class="Apple-style-span" style="font-family: sans-serif; font-size: 13px; line-height: 19px; "><span class="Apple-style-span" style="font-family: arial; line-height: normal; font-size: small; "><br></span></span></div>
<div><span class="Apple-style-span" style="font-family: sans-serif; font-size: 13px; line-height: 19px; "><span class="Apple-style-span" style="font-family: arial; line-height: normal; font-size: small; ">However, I don't know how to start. </span></span></div>
<div><br></div><div>Thanks in advance,</div><div>
<br>-- <br>Juan Carlos<br>
</div>