Home
last modified time | relevance | path

Searched refs:isTainted (Results 1 – 8 of 8) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp687 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 …]
DSValBuilder.cpp336 if (!State->isTainted(RHS) && !State->isTainted(LHS)) in makeSymExprValNN()
/external/clang/lib/StaticAnalyzer/Checkers/
DGenericTaintChecker.cpp161 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()
DTaintTesterChecker.cpp50 if (State->isTainted(E, C.getLocationContext())) { in checkPostStmt()
DDivZeroChecker.cpp79 bool TaintedD = C.getState()->isTainted(*DV); in checkPreStmt()
DVLASizeChecker.cpp110 if (state->isTainted(sizeV)) { in checkPreStmt()
DArrayBoundCheckerV2.cpp160 if (state->isTainted(rawOffset.getByteOffset())) in checkLocation()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h356 bool isTainted(const Stmt *S, const LocationContext *LCtx,
358 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
359 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
360 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;