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

Anna Zaks ganna at apple.com
Tue Apr 14 22:26:24 PDT 2015


Taint support has not been fully implemented. I suspect this explains why there is no method to clear it. 

Anna.

> On Apr 12, 2015, at 6:54 PM, Francisco Chiotta <franchiotta at gmail.com> wrote:
> 
> 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!
> 
> 
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev





More information about the cfe-dev mailing list