HomeSort by relevance Sort by last modified time
    Searched full:assumeinbound (Results 1 - 7 of 7) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
ArrayBoundChecker.cpp 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
ReturnPointerRangeChecker.cpp 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
ObjCContainersChecker.cpp 133 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
134 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
ArrayBoundCheckerV2.cpp 88 // NOTE: Instead of using ProgramState::assumeInBound(), we are prototyping
90 // Once that logic is more mature, we can bring it back to assumeInBound()
CStringChecker.cpp 288 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true);
289 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false);
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 325 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx,
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 188 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx,

Completed in 703 milliseconds