[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