Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Lines Matching defs:svalBuilder
213   SValBuilder &svalBuilder = C.getSValBuilder();
214   DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
215   return state->assume(svalBuilder.evalEQ(state, *val, zero));
284   SValBuilder &svalBuilder = C.getSValBuilder();
286     svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
348   SValBuilder &svalBuilder = C.getSValBuilder();
349   ASTContext &Ctx = svalBuilder.getContext();
374   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
375   NonLoc LastOffset = svalBuilder
379   SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
383     SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
399     BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType());
403       SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
445   SValBuilder &svalBuilder = C.getSValBuilder();  
447     state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
460   QualType cmpTy = svalBuilder.getConditionType();
461   SVal reverse = svalBuilder.evalBinOpLL(state, BO_GT,
490   ASTContext &Ctx = svalBuilder.getContext();
492   SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy, 
499   SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add,
506   SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT,
558   SValBuilder &svalBuilder = C.getSValBuilder();
559   BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
561   QualType sizeTy = svalBuilder.getContext().getSizeType();
563   NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);
567     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
572     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, 
578     QualType cmpTy = svalBuilder.getConditionType();
580     SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
673   SValBuilder &svalBuilder = C.getSValBuilder();
674   QualType sizeTy = svalBuilder.getContext().getSizeType();
675   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
682       BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
687       NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);
688       SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn,
745     SValBuilder &svalBuilder = C.getSValBuilder();
746     QualType sizeTy = svalBuilder.getContext().getSizeType();
748     return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy);
1074   SValBuilder &svalBuilder = C.getSValBuilder();
1090                             svalBuilder.makeZeroVal(CE->getType()));
1106     DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
1117                                     svalBuilder.makeZeroVal(CE->getType()));
1129         SVal CmpV = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
1359   SValBuilder &svalBuilder = C.getSValBuilder();
1360   QualType cmpTy = svalBuilder.getConditionType();
1361   QualType sizeTy = svalBuilder.getContext().getSizeType();
1377     lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());
1391           svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)
1420           maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add,
1450         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
1451         maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL,
1471           SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE,
1483           SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE,
1528       finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL, 
1543           SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE,
1555           SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE,
1589         SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1600       SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1648     Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
1727   SValBuilder &svalBuilder = C.getSValBuilder();
1728   DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
1736                                     svalBuilder.makeZeroVal(CE->getType()));
1765       if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) {
1798       SVal resultVal = svalBuilder.makeIntVal(result, CE->getType());
1805     SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,