Searched refs:isTainted (Results 1 – 8 of 8) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 706 bool ProgramState::isTainted(const Stmt *S, const LocationContext *LCtx, in isTainted() function in ProgramState
712 return isTainted(val, Kind); in isTainted()
715 bool ProgramState::isTainted(SVal V, TaintTagType Kind) const { in isTainted() function in ProgramState
717 return isTainted(Sym, Kind); in isTainted()
719 return isTainted(Reg, Kind); in isTainted()
723 bool ProgramState::isTainted(const MemRegion *Reg, TaintTagType K) const { in isTainted() function in ProgramState
730 return isTainted(ER->getSuperRegion(), K) || isTainted(ER->getIndex(), K); in isTainted()
733 return isTainted(SR->getSymbol(), K); in isTainted()
736 return isTainted(ER->getSuperRegion(), K); in isTainted()
741 bool ProgramState::isTainted(SymbolRef Sym, TaintTagType Kind) const { in isTainted() function in ProgramState
[all …]
|
| D | SValBuilder.cpp | 306 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 | 162 return (State->isTainted(E, C.getLocationContext()) || isStdin(E, C) || in isTaintedOrPointsToTainted()
164 State->isTainted(getPointedToSymbol(C, E)))); in isTaintedOrPointsToTainted()
522 if (State->isTainted(CE->getArg(0), C.getLocationContext()) || in preFscanf()
642 if (!State->isTainted(getPointedToSymbol(C, E)) && in generateReportIfTainted()
643 !State->isTainted(E, C.getLocationContext())) in generateReportIfTainted()
|
| D | DivZeroChecker.cpp | 79 bool TaintedD = C.getState()->isTainted(*DV); in checkPreStmt()
|
| D | VLASizeChecker.cpp | 107 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 | 334 bool isTainted(const Stmt *S, const LocationContext *LCtx,
336 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
337 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
338 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
|