| /external/clang/lib/StaticAnalyzer/Checkers/ |
| TaintTesterChecker.cpp | 50 if (State->isTainted(E, C.getLocationContext())) {
|
| DivZeroChecker.cpp | 79 bool TaintedD = C.getState()->isTainted(*DV);
|
| GenericTaintChecker.cpp | 161 return (State->isTainted(E, C.getLocationContext()) || isStdin(E, C) ||
163 State->isTainted(getPointedToSymbol(C, E))));
450 bool IsTainted = false;
461 if ((IsTainted = isTaintedOrPointsToTainted(CE->getArg(i), State, C)))
469 if ((IsTainted = isTaintedOrPointsToTainted(CE->getArg(ArgNum), State, C)))
472 if (!IsTainted)
521 if (State->isTainted(CE->getArg(0), C.getLocationContext()) ||
638 if (!State->isTainted(getPointedToSymbol(C, E)) &&
639 !State->isTainted(E, C.getLocationContext()))
|
| VLASizeChecker.cpp | 110 if (state->isTainted(sizeV)) {
|
| ArrayBoundCheckerV2.cpp | 160 if (state->isTainted(rawOffset.getByteOffset()))
|
| /frameworks/base/core/java/android/view/ |
| InputEvent.java | 160 public abstract boolean isTainted();
|
| InputEventConsistencyVerifier.java | 670 if (!mCurrentEvent.isTainted()) {
[all...] |
| KeyEvent.java | [all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| ProgramState.cpp | 687 bool ProgramState::isTainted(const Stmt *S, const LocationContext *LCtx,
693 return isTainted(val, Kind);
696 bool ProgramState::isTainted(SVal V, TaintTagType Kind) const {
698 return isTainted(Sym, Kind);
700 return isTainted(Reg, Kind);
704 bool ProgramState::isTainted(const MemRegion *Reg, TaintTagType K) const {
711 return isTainted(ER->getSuperRegion(), K) || isTainted(ER->getIndex(), K);
714 return isTainted(SR->getSymbol(), K);
717 return isTainted(ER->getSuperRegion(), K)
[all...] |
| SValBuilder.cpp | 336 if (!State->isTainted(RHS) && !State->isTainted(LHS))
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 356 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;
|
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 355 bool isTainted(const Stmt *S, const LocationContext *LCtx,
357 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
358 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
359 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 367 bool isTainted(const Stmt *S, const LocationContext *LCtx,
369 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
370 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
371 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 367 bool isTainted(const Stmt *S, const LocationContext *LCtx,
369 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
370 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
371 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 367 bool isTainted(const Stmt *S, const LocationContext *LCtx,
369 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
370 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
371 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 367 bool isTainted(const Stmt *S, const LocationContext *LCtx,
369 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
370 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
371 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 367 bool isTainted(const Stmt *S, const LocationContext *LCtx,
369 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
370 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
371 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 367 bool isTainted(const Stmt *S, const LocationContext *LCtx,
369 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
370 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
371 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 355 bool isTainted(const Stmt *S, const LocationContext *LCtx,
357 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
358 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
359 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
|
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 367 bool isTainted(const Stmt *S, const LocationContext *LCtx,
369 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
370 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
371 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 367 bool isTainted(const Stmt *S, const LocationContext *LCtx,
369 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
370 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
371 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 367 bool isTainted(const Stmt *S, const LocationContext *LCtx,
369 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
370 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
371 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 367 bool isTainted(const Stmt *S, const LocationContext *LCtx,
369 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
370 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
371 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 367 bool isTainted(const Stmt *S, const LocationContext *LCtx,
369 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
370 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
371 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 367 bool isTainted(const Stmt *S, const LocationContext *LCtx,
369 bool isTainted(SVal V, TaintTagType Kind = TaintTagGeneric) const;
370 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
371 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
[all...] |
