reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/lib/StaticAnalyzer/Checkers/Taint.h

   65 bool isTainted(ProgramStateRef State, SVal V,

References

tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp

  209       if (isTainted(state, ByteOffset)) {

tools/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp

   88   bool TaintedD = isTainted(C.getState(), *DV);

tools/clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp

  220       return (V && isTainted(State, *V));
  729   if (PointedToSVal && isTainted(State, *PointedToSVal))

tools/clang/lib/StaticAnalyzer/Checkers/Taint.cpp

  123   return isTainted(State, val, Kind);
  143            isTainted(State, ER->getIndex(), K);
  212   if (!isTainted(N->getState(), V) ||
  213       isTainted(N->getFirstPred()->getState(), V))

tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp

  111   if (isTainted(state, sizeV)) {