[PATCH] D11700: Added remove taint support to ProgramState.

Ted Kremenek kremenek at apple.com
Fri Jul 31 21:44:01 PDT 2015

krememek added a subscriber: krememek.
krememek added a comment.

I don't remember why the 'tainted' methods were added to ProgramState in the first place, but it doesn't seem quite right.  Taint can easily be modeled as a set of APIs that modify and produce new ProgramStates, but I don't see why it should be part of ProgramState itself.


More information about the cfe-commits mailing list