Hi,<br><br>Check out the Checker interface. Maybe you can create a new Checker, track all taint information in that Checker with a generic data mapping. Then update the taint information via the Checker::EvalCallExpr() callback. Note that <span style="font-family: sans-serif; font-size: 13px; line-height: 19px;"><span style="font-family: arial; line-height: normal; font-size: small;">GRExprEngine is path sensitive analysis. I don't know if that is what you want.</span></span><br>
<br><div class="gmail_quote">2010/1/13 Juan Carlos Martinez Santos <span dir="ltr"><<a href="mailto:juanc.martinez.santos@gmail.com">juanc.martinez.santos@gmail.com</a>></span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hello clang,<div><br></div><div>I am interested in doing taint analysis. <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 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 style="font-family: sans-serif; font-size: 13px; line-height: 19px;"><span style="font-family: arial; line-height: normal; font-size: small;"><br></span></span></div>
<div><span style="font-family: sans-serif; font-size: 13px; line-height: 19px;"><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>
<br>_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
<br></blockquote></div><br>