Searched refs:isTainted (Results 1 - 7 of 7) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | Taint.cpp | 144 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 D | Taint.h | 65 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 D | TaintTesterChecker.cpp | 52 if (isTainted(State, E, C.getLocationContext())) {
|
H A D | DivZeroChecker.cpp | 88 bool TaintedD = isTainted(C.getState(), *DV);
|
H A D | VLASizeChecker.cpp | 111 if (isTainted(state, sizeV)) {
|
H A D | GenericTaintChecker.cpp | 261 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 D | ArrayBoundCheckerV2.cpp | 209 if (isTainted(state, ByteOffset)) {
|
Completed in 203 milliseconds