| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | DynamicSize.cpp | 26 SValBuilder &SVB) { in getDynamicSize() argument
27 return MR->getMemRegionManager().getStaticSize(MR, SVB); in getDynamicSize()
32 SValBuilder &SVB, in getDynamicElementCount() argument
37 DefinedOrUnknownSVal Size = getDynamicSize(State, MR, SVB); in getDynamicElementCount()
38 SVal ElementSizeV = SVB.makeIntVal( in getDynamicElementCount()
39 Ctx.getTypeSizeInChars(ElementTy).getQuantity(), SVB.getArrayIndexType()); in getDynamicElementCount()
42 SVB.evalBinOp(State, BO_Div, Size, ElementSizeV, SVB.getArrayIndexType()); in getDynamicElementCount()
|
| D | SimpleSValBuilder.cpp | 315 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation() local
317 SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym), in isInRelation()
318 nonloc::ConcreteInt(Bound), SVB.getConditionType()); in isInRelation()
332 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds() local
333 BasicValueFactory &BV = SVB.getBasicValueFactory(); in isWithinConstantOverflowBounds()
375 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked() local
376 BasicValueFactory &BV = SVB.getBasicValueFactory(); in doRearrangeUnchecked()
377 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
389 ResultTy = SVB.getConditionType(); in doRearrangeUnchecked()
397 return SVB.evalBinOpNN(State, Op, nonloc::ConcreteInt(LInt), in doRearrangeUnchecked()
[all …]
|
| D | CallEvent.cpp | 471 SValBuilder &SVB, in addParameterValuesToBindings() argument
474 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
494 Loc ParamLoc = SVB.makeLoc( in addParameterValuesToBindings()
591 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
592 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, in getInitialStackFrameContents()
792 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
795 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents()
800 ASTContext &Ctx = SVB.getContext(); in getInitialStackFrameContents()
814 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy); in getInitialStackFrameContents()
866 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
[all …]
|
| D | SimpleConstraintManager.cpp | 30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assume() local
36 T = SVB.getContext().VoidPtrTy; in assume()
38 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assume()
|
| D | ExprEngineCXX.cpp | 100 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion() local
101 ASTContext &Ctx = SVB.getContext(); in makeZeroElementRegion()
105 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue); in makeZeroElementRegion()
115 SValBuilder &SVB = getSValBuilder(); in computeObjectUnderConstruction() local
116 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction()
117 ASTContext &ACtx = SVB.getContext(); in computeObjectUnderConstruction()
136 Loc ThisPtr = SVB.getCXXThis(CurCtor, LCtx->getStackFrame()); in computeObjectUnderConstruction()
145 return SVB.makeLoc(BaseReg); in computeObjectUnderConstruction()
227 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy, in computeObjectUnderConstruction()
|
| D | MemRegion.cpp | 733 SValBuilder &SVB) { in getTypeSize() argument
735 QualType SizeTy = SVB.getArrayIndexType(); in getTypeSize()
736 return SVB.makeIntVal(Size.getQuantity(), SizeTy); in getTypeSize()
740 SValBuilder &SVB) const { in getStaticSize()
742 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize()
749 return SVB.makeIntVal( in getStaticSize()
751 SVB.getArrayIndexType()); in getStaticSize()
769 return getTypeSize(Ty, Ctx, SVB); in getStaticSize()
777 DefinedOrUnknownSVal Size = getTypeSize(Ty, Ctx, SVB); in getStaticSize()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | VLASizeChecker.cpp | 96 SValBuilder &SVB = C.getSValBuilder(); in checkVLA() local
99 SVB.getBasicValueFactory().getMaxValue(SizeTy).getZExtValue(); in checkVLA()
104 SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>(); in checkVLA()
108 if (const llvm::APSInt *KV = SVB.getKnownValue(State, ArrSize)) in checkVLA()
115 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>(); in checkVLA()
117 SVal Mul = SVB.evalBinOpNN(State, BO_Mul, ArrSize, IndexLength, SizeTy); in checkVLA()
124 if (const llvm::APSInt *IndexLVal = SVB.getKnownValue(State, IndexLength)) { in checkVLA()
189 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize() local
192 DefinedOrUnknownSVal Zero = SVB.makeZeroVal(SizeTy); in checkVLAIndexSize()
194 SVal LessThanZeroVal = SVB.evalBinOp(State, BO_LT, SizeD, Zero, SizeTy); in checkVLAIndexSize()
[all …]
|
| D | Iterator.cpp | 232 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition() local
251 Pos->setTo(SVB.evalBinOp(State, BinOp, in advancePosition()
267 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeNoOverflow() local
268 BasicValueFactory &BV = SVB.getBasicValueFactory(); in assumeNoOverflow()
278 SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym), in assumeNoOverflow()
279 nonloc::ConcreteInt(Max), SVB.getConditionType()); in assumeNoOverflow()
288 SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym), in assumeNoOverflow()
289 nonloc::ConcreteInt(Min), SVB.getConditionType()); in assumeNoOverflow()
306 auto &SVB = State->getStateManager().getSValBuilder(); in compare() local
309 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType()); in compare()
|
| D | STLAlgorithmModeling.cpp | 110 auto &SVB = C.getSValBuilder(); in Find() local
113 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in Find()
129 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE, in Find()
132 SVB.getConditionType()); in Find()
151 SVal Less = SVB.evalBinOp(StateFound, BO_LT, in Find()
154 SVB.getConditionType()); in Find()
|
| D | EnumCastOutOfRangeChecker.cpp | 37 SValBuilder &SVB; member in __anon7fb889d40111::ConstraintBasedEQEvaluator
42 : CompareValue(CompareValue), PS(C.getState()), SVB(C.getSValBuilder()) {} in ConstraintBasedEQEvaluator()
45 DefinedOrUnknownSVal EnumDeclValue = SVB.makeIntVal(EnumDeclInitValue); in operator ()()
47 SVB.evalEQ(PS, EnumDeclValue, CompareValue); in operator ()()
|
| D | BuiltinFunctionChecker.cpp | 111 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
117 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
119 V = SVB.makeIntVal(Result); in evalCall()
127 V = SVB.makeIntVal(0, CE->getType()); in evalCall()
|
| D | ContainerModeling.cpp | 152 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
154 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
335 auto &SVB = C.getSValBuilder(); in handleAssignment() local
350 State, SVB, OldEndSym, NewEndSym, OldEndSym, BO_LT); in handleAssignment()
449 auto &SVB = C.getSValBuilder(); in handlePushBack() local
451 SVB.evalBinOp(State, BO_Add, in handlePushBack()
478 auto &SVB = C.getSValBuilder(); in handlePopBack() local
480 SVB.evalBinOp(State, BO_Sub, in handlePopBack()
523 auto &SVB = C.getSValBuilder(); in handlePushFront() local
525 SVB.evalBinOp(State, BO_Sub, in handlePushFront()
[all …]
|
| D | CXXSelfAssignmentChecker.cpp | 48 auto &SVB = C.getSValBuilder(); in checkBeginFunction() local
50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in checkBeginFunction()
51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); in checkBeginFunction()
|
| D | MIGChecker.cpp | 234 SValBuilder &SVB = C.getSValBuilder(); in mayBeSuccess() local
239 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
|
| D | TrustNonnullChecker.cpp | 218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication() local
225 SVal AntecedentV = SVB.makeSymbolVal(Antecedent); in addImplication()
230 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication()
|
| D | VirtualCallChecker.cpp | 173 auto &SVB = C.getSValBuilder(); in registerCtorDtorCallInState() local
178 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in registerCtorDtorCallInState()
192 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in registerCtorDtorCallInState()
|
| D | IteratorModeling.cpp | 257 auto &SVB = C.getSValBuilder(); in checkPostStmt() local
260 SVB.makeArrayIndex(1)); in checkPostStmt()
652 auto &SVB = C.getSValBuilder(); in handlePtrIncrOrDecr() local
653 SVal NegatedOffset = SVB.evalMinus(Offset.castAs<NonLoc>()); in handlePtrIncrOrDecr()
792 auto &SVB = State->getStateManager().getSValBuilder(); in relateSymbols() local
800 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), in relateSymbols()
801 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SimpleConstraintManager.h | 25 SValBuilder &SVB; variable
29 : EE(exprengine), SVB(SB) {} in SimpleConstraintManager()
77 SValBuilder &getSValBuilder() const { return SVB; } in getSValBuilder()
78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager()
|
| D | DynamicSize.h | 27 SValBuilder &SVB);
32 SValBuilder &SVB,
|
| D | SMTConstraintManager.h | 272 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
275 return canReasonAbout(SVB.makeSymbolVal(SC->getOperand())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
279 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
282 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
285 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) && in REGISTER_TRAIT_WITH_PROGRAMSTATE()
286 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CallEvent.cpp | 315 SValBuilder &SVB, in addParameterValuesToBindings() argument
318 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
331 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx)); in addParameterValuesToBindings()
350 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
351 addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this, in getInitialStackFrameContents()
541 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
544 Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx); in getInitialStackFrameContents()
549 ASTContext &Ctx = SVB.getContext(); in getInitialStackFrameContents()
611 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
622 Loc ThisLoc = SVB.getCXXThis(LambdaOperatorDecl, CalleeCtx); in getInitialStackFrameContents()
[all …]
|
| D | SimpleConstraintManager.h | 26 SValBuilder &SVB; variable
29 : SU(subengine), SVB(SB) {} in SimpleConstraintManager()
103 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
104 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager()
|
| D | SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder(); in assume() local
79 T = SVB.getContext().VoidPtrTy; in assume()
81 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assume()
|
| D | SimpleSValBuilder.cpp | 540 SimpleSValBuilder &SVB) { in evalBinOpFieldRegionFieldRegion() argument
563 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion()
565 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
574 return SVB.makeTruthVal(leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
576 return SVB.makeTruthVal(!leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BuiltinFunctionChecker.cpp | 88 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
89 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
91 V = SVB.makeIntVal(Result); in evalCall()
|