I don't know if clang now has a right engine for taint analysis. <br>
<br>
Of course you can create a new checker to track all taint information
using GRExprEngine as Zhongxing said, but GRExprEngine is path
sensitive. Maybe flow sensitive analysis for taint analysis is enough? <br>
<br>
Otherwise, i think the result from taint analysis may be useful for
other checkers. So can we implement it  like LiveVariable analysis? <br>
<br>
Phoenix is a framework for build compilers or program analysis tools
from MS. You can find an taint analysis example from the phoenix SDK
docs.Maybe you can borrow some ideas from it.<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>