Searched refs:StOutBound (Results 1 – 5 of 5) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundChecker.cpp | 62 ProgramStateRef StOutBound = state->assumeInBound(Idx, ElementCount, false); in checkLocation() local
63 if (StOutBound && !StInBound) { in checkLocation()
64 ExplodedNode *N = C.generateErrorNode(StOutBound); in checkLocation()
|
| H A D | ReturnPointerRangeChecker.cpp | 67 ProgramStateRef StOutBound = state->assumeInBound(Idx, ElementCount, false); in checkPreStmt() local
68 if (StOutBound && !StInBound) { in checkPreStmt()
69 ExplodedNode *N = C.generateErrorNode(StOutBound); in checkPreStmt()
|
| H A D | ObjCContainersChecker.cpp | 141 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T); in checkPreStmt() local
142 if (StOutBound && !StInBound) { in checkPreStmt()
143 ExplodedNode *N = C.generateErrorNode(StOutBound); in checkPreStmt()
|
| H A D | UndefResultChecker.cpp | 57 ProgramStateRef StOutBound = state->assumeInBound(Idx, ElementCount, false); in isArrayIndexOutOfBounds() local
58 return StOutBound && !StInBound; in isArrayIndexOutOfBounds()
|
| H A D | CStringChecker.cpp | 355 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false); in CheckLocation() local
356 if (StOutBound && !StInBound) { in CheckLocation()
366 emitOutOfBoundsBug(C, StOutBound, Buffer.Expression, Message); in CheckLocation()
|