Searched refs:isTainted (Results 1 - 7 of 7) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp144 bool taint::isTainted(ProgramStateRef State, const Stmt *S, function in class:taint
147 return isTainted(State, val, Kind);
150 bool taint::isTainted(ProgramStateRef State, SVal V, TaintTagType Kind) { function in class:taint
152 return isTainted(State, Sym, Kind);
154 return isTainted(State, Reg, Kind);
158 bool taint::isTainted(ProgramStateRef State, const MemRegion *Reg, function in class:taint
166 return isTainted(State, ER->getSuperRegion(), K) ||
167 isTainted(State, ER->getIndex(), K);
170 return isTainted(State, SR->getSymbol(), K);
173 return isTainted(Stat
178 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) { function in class:taint
[all...]
H A DTaint.h65 bool isTainted(ProgramStateRef State, const Stmt *S,
70 bool isTainted(ProgramStateRef State, SVal V,
74 bool isTainted(ProgramStateRef State, SymbolRef Sym,
79 bool isTainted(ProgramStateRef State, const MemRegion *Reg,
H A DTaintTesterChecker.cpp52 if (isTainted(State, E, C.getLocationContext())) {
H A DDivZeroChecker.cpp88 bool TaintedD = isTainted(C.getState(), *DV);
H A DVLASizeChecker.cpp111 if (isTainted(state, sizeV)) {
H A DGenericTaintChecker.cpp261 if (isTainted(State, E, C.getLocationContext()) || isStdin(E, C))
268 return (V && isTainted(State, *V));
819 if (PointedToSVal && isTainted(State, *PointedToSVal))
821 else if (isTainted(State, E, C.getLocationContext()))
H A DArrayBoundCheckerV2.cpp209 if (isTainted(state, ByteOffset)) {

Completed in 203 milliseconds