Home
last modified time | relevance | path

Searched refs:StOutBound (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp61 ProgramStateRef StInBound, StOutBound; in checkLocation() local
62 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, ElementCount); in checkLocation()
63 if (StOutBound && !StInBound) { in checkLocation()
64 ExplodedNode *N = C.generateErrorNode(StOutBound); in checkLocation()
H A DReturnPointerRangeChecker.cpp67 ProgramStateRef StInBound, StOutBound; in checkPreStmt() local
68 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, ElementCount); in checkPreStmt()
69 if (StOutBound && !StInBound) { in checkPreStmt()
70 ExplodedNode *N = C.generateErrorNode(StOutBound); in checkPreStmt()
H A DObjCContainersChecker.cpp137 ProgramStateRef StInBound, StOutBound; in checkPreStmt() local
138 std::tie(StInBound, StOutBound) = State->assumeInBoundDual(Idx, *Size, T); in checkPreStmt()
139 if (StOutBound && !StInBound) { in checkPreStmt()
140 ExplodedNode *N = C.generateErrorNode(StOutBound); in checkPreStmt()
H A DUndefResultChecker.cpp56 ProgramStateRef StInBound, StOutBound; in isArrayIndexOutOfBounds() local
57 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, ElementCount); in isArrayIndexOutOfBounds()
58 return StOutBound && !StInBound; in isArrayIndexOutOfBounds()
H A DCStringChecker.cpp387 ProgramStateRef StInBound, StOutBound; in CheckLocation() local
388 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, Size); in CheckLocation()
389 if (StOutBound && !StInBound) { in CheckLocation()
399 emitOutOfBoundsBug(C, StOutBound, Buffer.Expression, Message); in CheckLocation()