| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundCheckerV2.cpp | 115 svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV,
146 = svalBuilder.evalBinOpNN(state, BO_GE, rawOffset.getByteOffset(),
245 return sb.evalBinOpNN(state, BO_Mul, baseVal,
259 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(),
|
| CStringChecker.cpp | 376 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();
567 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
572 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
580 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
688 SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn,
[all...] |
| VLASizeChecker.cpp | 142 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
|
| UnixAPIChecker.cpp | 108 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,
|
| MallocChecker.cpp | 645 SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And,
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| SimpleSValBuilder.cpp | 36 SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
304 SVal SimpleSValBuilder::evalBinOpNN(ProgramStateRef state,
589 // However, if a pointer is casted to an integer, evalBinOpNN may end up
711 return evalBinOpNN(state, op, l, r, resultTy);
801 // evalBinOpNN expects the two indexes to already be the right type.
802 return evalBinOpNN(state, op, *LeftIndex, *RightIndex, resultTy);
[all...] |
| ProgramState.cpp | 326 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
333 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
340 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
|
| SValBuilder.cpp | 358 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(),
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 461 return svalBuilder.evalBinOpNN(state, op, L, R, T);
466 return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L,
|
| SValBuilder.h | 93 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
|
