| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 30 SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder, in conjureOffsetSymbolOnLocation() argument
35 return svalBuilder.conjureSymbolVal(Expression, LCtx, Ty, Count); in conjureOffsetSymbolOnLocation()
68 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, in VisitBinaryOperator()
87 RightV, LeftV, RHS, svalBuilder, Count, LCtx); in VisitBinaryOperator()
89 LeftV, RightV, LHS, svalBuilder, Count, LCtx); in VisitBinaryOperator()
153 V = svalBuilder.evalCast(V, CLHSTy, LTy); in VisitBinaryOperator()
156 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
168 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy, in VisitBinaryOperator()
171 Result = svalBuilder.evalCast(LHSVal, CTy, LTy); in VisitBinaryOperator()
175 LHSVal = svalBuilder.evalCast(Result, LTy, CTy); in VisitBinaryOperator()
[all …]
|
| H A D | RegionStore.cpp | 478 SVal V = svalBuilder.makeZeroVal(Ctx.CharTy); in BindDefaultZero()
703 SValBuilder &svalBuilder; member in __anonfa909ae00511::ClusterAnalysis
724 svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {} in ClusterAnalysis()
953 collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey, in removeSubRegionBindings()
1130 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); in VisitCluster()
1151 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1220 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1226 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1265 SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx, in invalidateGlobalRegion()
1375 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex(); in ArrayToPointer()
[all …]
|
| H A D | Store.cpp | 43 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), in StoreManager()
44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
63 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
64 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); in MakeElementRegion()
69 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
475 auto Off = svalBuilder.convertToArrayIndex(Offset).getAs<NonLoc>(); in getLValueElement()
522 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
|
| H A D | ProgramState.cpp | 78 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)), in ProgramStateManager()
340 SValBuilder &svalBuilder = SM.getSValBuilder(); in assumeInBoundDual() local
341 ASTContext &Ctx = svalBuilder.getContext(); in assumeInBoundDual()
344 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBoundDual()
346 indexTy = svalBuilder.getArrayIndexType(); in assumeInBoundDual()
350 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add, in assumeInBoundDual()
357 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), in assumeInBoundDual()
364 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(), in assumeInBoundDual()
|
| H A D | ExprEngineCallAndReturn.cpp | 290 auto ThisVal = svalBuilder.getCXXThis(DtorDecl->getParent(), calleeCtx); in processCallExit()
319 svalBuilder.getCXXThis(CCE->getConstructor()->getParent(), calleeCtx); in processCallExit()
334 AllocV = svalBuilder.evalCast( in processCallExit()
798 R = svalBuilder.getConjuredHeapSymbolVal(E, LCtx, Count); in bindReturnValue()
806 ElementCount = svalBuilder.makeIntVal(1, /*IsUnsigned=*/true); in bindReturnValue()
809 SVal ElementSize = getElementExtent(CNE->getAllocatedType(), svalBuilder); in bindReturnValue()
812 svalBuilder.evalBinOp(State, BO_Mul, ElementCount, ElementSize, in bindReturnValue()
813 svalBuilder.getArrayIndexType()); in bindReturnValue()
821 svalBuilder); in bindReturnValue()
823 R = svalBuilder.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count); in bindReturnValue()
[all …]
|
| H A D | ExprEngineCXX.cpp | 189 auto R = MRMgr.getElementRegion(Ty, svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction()
322 Base = State->getLValue(E->getType(), svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction()
661 State, AILE, LCtx, svalBuilder.makeArrayIndex(Idx)); in handleConstructor()
1023 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); in VisitCXXNewExpr()
1025 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(), in VisitCXXNewExpr()
1071 MRMgr.getElementRegion(ObjTy, svalBuilder.makeArrayIndex(0), NewReg, in VisitCXXNewExpr()
1072 svalBuilder.getContext()); in VisitCXXNewExpr()
1105 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(), in VisitCXXNewExpr()
1158 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(), in VisitCXXCatchStmt()
1174 svalBuilder.getRegionManager().getCXXThisRegion( in VisitCXXThisExpr()
[all …]
|
| H A D | ExprEngine.cpp | 230 svalBuilder(StateMgr.getSValBuilder()), ObjCNoRet(mgr.getASTContext()), in ExprEngine()
271 svalBuilder.makeZeroVal(T), in getInitialState()
272 svalBuilder.getConditionType()); in getInitialState()
308 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); in getInitialState()
1172 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); in ProcessInitializer()
1265 auto ElementCount = getDynamicElementCount(State, Region, svalBuilder, Ty); in prepareStateForArrayDestruction()
1466 ArgR = State->getLValue(DTy, svalBuilder.makeArrayIndex(Idx), ArgVal) in ProcessDeleteDtor()
1874 svalBuilder.makeIntValWithWidth(getContext().VoidPtrTy, 0)); in Visit()
1991 std::optional<SVal> ConstantVal = svalBuilder.getConstantVal(ArgE); in Visit()
2029 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in Visit()
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 369 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE() local
370 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()
371 return State->assume(svalBuilder.evalEQ(State, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
605 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess() local
606 ASTContext &Ctx = svalBuilder.getContext(); in CheckBufferAccess()
622 svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType()); in CheckBufferAccess()
639 NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>(); in CheckBufferAccess()
640 SVal Offset = svalBuilder.evalBinOpNN(State, BO_Sub, *Length, One, SizeTy); in CheckBufferAccess()
649 svalBuilder.evalBinOpLN(State, BO_Add, *BufLoc, LastOffset, PtrTy); in CheckBufferAccess()
700 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap() local
[all …]
|
| H A D | CastSizeChecker.cpp | 113 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
115 DefinedOrUnknownSVal Size = getDynamicExtent(state, SR, svalBuilder); in checkPreStmt()
116 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size); in checkPreStmt()
|
| H A D | ArrayBoundCheckerV2.cpp | 243 SValBuilder &svalBuilder) { in getSimplifiedOffsets() argument
258 svalBuilder.makeIntVal(extent.getValue() / constant), in getSimplifiedOffsets()
259 svalBuilder); in getSimplifiedOffsets()
263 svalBuilder.makeIntVal(extent.getValue() - constant), svalBuilder); in getSimplifiedOffsets()
|
| H A D | MallocChecker.cpp | 1305 SValBuilder &svalBuilder = C.getSValBuilder(); in checkGMalloc0() local
1306 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in checkGMalloc0()
2633 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMemAux() local
2635 DefinedOrUnknownSVal PtrEQ = svalBuilder.evalEQ( in ReallocMemAux()
2636 State, arg0Val, svalBuilder.makeNullWithType(arg0Expr->getType())); in ReallocMemAux()
2650 svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(), in ReallocMemAux()
2651 svalBuilder.makeIntValWithWidth( in ReallocMemAux()
2652 svalBuilder.getContext().getSizeType(), 0)); in ReallocMemAux()
2731 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem() local
2732 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 526 std::unique_ptr<SValBuilder> svalBuilder; variable
548 ASTContext &getContext() { return svalBuilder->getContext(); } in getContext()
549 const ASTContext &getContext() const { return svalBuilder->getContext(); } in getContext()
552 return svalBuilder->getBasicValueFactory(); in getBasicVals()
556 return *svalBuilder; in getSValBuilder()
560 return *svalBuilder; in getSValBuilder()
564 return svalBuilder->getSymbolManager(); in getSymbolManager()
567 return svalBuilder->getSymbolManager(); in getSymbolManager()
573 return svalBuilder->getRegionManager(); in getRegionManager()
576 return svalBuilder->getRegionManager(); in getRegionManager()
[all …]
|
| H A D | Store.h | 55 SValBuilder &svalBuilder;
133 SValBuilder& getSValBuilder() { return svalBuilder; } in getSValBuilder()
136 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC)); in getLValueVar()
|
| H A D | Environment.h | 76 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| H A D | ExprEngine.h | 160 SValBuilder &svalBuilder; variable
208 SValBuilder &getSValBuilder() { return svalBuilder; } in getSValBuilder()
603 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T); in evalBinOp()
|