Searched refs:isTainted (Results 1 – 8 of 8) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 687 bool ProgramState::isTainted(const Stmt *S, const LocationContext *LCtx, in isTainted() function in ProgramState
693 return isTainted(val, Kind); in isTainted()
696 bool ProgramState::isTainted(SVal V, TaintTagType Kind) const { in isTainted() function in ProgramState
698 return isTainted(Sym, Kind); in isTainted()
700 return isTainted(Reg, Kind); in isTainted()
704 bool ProgramState::isTainted(const MemRegion *Reg, TaintTagType K) const { in isTainted() function in ProgramState
711 return isTainted(ER->getSuperRegion(), K) || isTainted(ER->getIndex(), K); in isTainted()
714 return isTainted(SR->getSymbol(), K); in isTainted()
717 return isTainted(ER->getSuperRegion(), K); in isTainted()
722 bool ProgramState::isTainted(SymbolRef Sym, TaintTagType Kind) const { in isTainted() function in ProgramState
[all …]
|
| D | SValBuilder.cpp | 308 if (!State->isTainted(RHS) && !State->isTainted(LHS)) in makeSymExprValNN()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | TaintTesterChecker.cpp | 50 if (State->isTainted(E, C.getLocationContext())) { in checkPostStmt()
|
| D | GenericTaintChecker.cpp | 161 return (State->isTainted(E, C.getLocationContext()) || isStdin(E, C) || in isTaintedOrPointsToTainted()
163 State->isTainted(getPointedToSymbol(C, E)))); in isTaintedOrPointsToTainted()
521 if (State->isTainted(CE->getArg(0), C.getLocationContext()) || in preFscanf()
638 if (!State->isTainted(getPointedToSymbol(C, E)) && in generateReportIfTainted()
639 !State->isTainted(E, C.getLocationContext())) in generateReportIfTainted()
|
| D | DivZeroChecker.cpp | 79 bool TaintedD = C.getState()->isTainted(*DV); in checkPreStmt()
|
| D | VLASizeChecker.cpp | 108 if (state->isTainted(sizeV)) { in checkPreStmt()
|
| D | ArrayBoundCheckerV2.cpp | 160 if (state->isTainted(rawOffset.getByteOffset())) in checkLocation()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 333 bool isTainted(const Stmt *S, const LocationContext *LCtx,
335 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
336 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
337 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
|