Cross Reference: /external/clang/lib/StaticAnalyzer/Core/ProgramState.cpp

Lines Matching defs:isTainted

687 bool ProgramState::isTainted(const Stmt *S, const LocationContext *LCtx,
693   return isTainted(val, Kind);
696 bool ProgramState::isTainted(SVal V, TaintTagType Kind) const {
698     return isTainted(Sym, Kind);
700     return isTainted(Reg, Kind);
704 bool ProgramState::isTainted(const MemRegion *Reg, TaintTagType K) const {
711     return isTainted(ER->getSuperRegion(), K) || isTainted(ER->getIndex(), K);
714     return isTainted(SR->getSymbol(), K);
717     return isTainted(ER->getSuperRegion(), K);
722 bool ProgramState::isTainted(SymbolRef Sym, TaintTagType Kind) const {
738       Tainted = Tainted || isTainted(SD->getParentSymbol(), Kind);
742       Tainted = Tainted || isTainted(SRV->getRegion(), Kind);
746       Tainted = Tainted || isTainted(SC->getOperand(), Kind);

OpenGrok