<div dir="ltr"><font color="#000000">Thanks Anna. I was taking a look at GenericTaintChecker, and saw you are the main contributor of this module. My idea is to create a checker where the user can define what are the methods in which alert in case of tainted data is passed on them.</font><div><font color="#000000"><br></font></div><div><font color="#000000">It works great when tainting primitives types, e.g. char, but if i want to taint object like std:string, it doesn't work. It uses a getPointedToSymbol method based on GenericTaintChecker, to retrieve the symbolic value, and the passes it to the StateRef.addTaint(...) method:</font></div><div><br></div><div><a href="https://github.com/llvm-mirror/clang/blob/master/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp#L426">https://github.com/llvm-mirror/clang/blob/master/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp#L426</a><br><div><br></div><div>But I can hardly understand why this doesn't retrieve any symbol when the arguments are objects.</div><div><br></div><div>Thanks a lot.</div><div>Francisco</div><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">2015-04-15 2:26 GMT-03:00 Anna Zaks <span dir="ltr"><<a href="mailto:ganna@apple.com" target="_blank">ganna@apple.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Taint support has not been fully implemented. I suspect this explains why there is no method to clear it.<br>
<br>
Anna.<br>
<div><div class="h5"><br>
> On Apr 12, 2015, at 6:54 PM, Francisco Chiotta <<a href="mailto:franchiotta@gmail.com">franchiotta@gmail.com</a>> wrote:<br>
><br>
> Hi community,<br>
><br>
> I'm developing a static analyzer checker, and I need to clear the taint mark for a specific symbol/stmt/region. Is that possible?<br>
><br>
> I'm using the addTaint(..) methods of ProgramState class to add taint information to symbols/stms/regions, but I don't see anything to clear the taint mark to them.<br>
><br>
> Does Anyone know how to do this?<br>
><br>
> Thanks!<br>
><br>
><br>
</div></div>> _______________________________________________<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></div>