[cfe-dev] Clear taint mark - static analyzer checker

[Francisco Chiotta]

Hi community,

I'm developing a static analyzer checker, and I need to clear the taint
mark for a specific symbol/stmt/region. Is that possible?

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.

Does Anyone know how to do this?

Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20150412/350845f1/attachment.html>