[PATCH] D11700: Added remove taint support to ProgramState.
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