| /llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicExtent.cpp | 29 const MemRegion *MR, SValBuilder &SVB) { in getDynamicExtent() argument
40 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB) { in getElementExtent() argument
45 static DefinedOrUnknownSVal getConstantArrayElementCount(SValBuilder &SVB, in getConstantArrayElementCount() argument
63 SValBuilder &SVB = State->getStateManager().getSValBuilder(); getDynamicElementCount() local
73 getDynamicElementCount(ProgramStateRef State,const MemRegion * MR,SValBuilder & SVB,QualType ElementTy) getDynamicElementCount() argument
87 SValBuilder &SVB = State->getStateManager().getSValBuilder(); getDynamicExtentWithOffset() local
113 SValBuilder &SVB = State->getStateManager().getSValBuilder(); getDynamicElementCountWithOffset() local
123 setDynamicExtent(ProgramStateRef State,const MemRegion * MR,DefinedOrUnknownSVal Size,SValBuilder & SVB) setDynamicExtent() argument
[all...] |
| H A D | CallEvent.cpp | 401 processArgument(SVal Value,const Expr * ArgumentExpr,const ParmVarDecl * Parameter,SValBuilder & SVB) processArgument() argument
436 castArgToParamTypeIfNeeded(const CallEvent & Call,unsigned ArgIdx,SVal ArgVal,SValBuilder & SVB) castArgToParamTypeIfNeeded() argument
463 addParameterValuesToBindings(const StackFrameContext * CalleeCtx,CallEvent::BindingsTy & Bindings,SValBuilder & SVB,const CallEvent & Call,ArrayRef<ParmVarDecl * > parameters) addParameterValuesToBindings() argument
618 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); getInitialStackFrameContents() local
741 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); getCXXThisVal() local
824 SValBuilder &SVB = StateMgr.getSValBuilder(); getInitialStackFrameContents() local
899 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); getInitialStackFrameContents() local
942 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); getInitialStackFrameContents() local
1389 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); getInitialStackFrameContents() local
1442 SValBuilder &SVB = State->getStateManager().getSValBuilder(); getCaller() local
1466 SValBuilder &SVB = State->getStateManager().getSValBuilder(); getCaller() local
[all...] |
| H A D | SimpleSValBuilder.cpp | 236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation() local
253 SValBuilder &SVB = State->getStateManager().getSValBuilder(); isWithinConstantOverflowBounds() local
296 SValBuilder &SVB = State->getStateManager().getSValBuilder(); doRearrangeUnchecked() local
370 SValBuilder &SVB = StateMgr.getSValBuilder(); tryRearrange() local
725 evalBinOpFieldRegionFieldRegion(const FieldRegion * LeftFR,const FieldRegion * RightFR,BinaryOperator::Opcode op,QualType resultTy,SimpleSValBuilder & SVB) evalBinOpFieldRegionFieldRegion() argument
1269 SValBuilder &SVB; simplifySValOnce() member in SimpleSValBuilder::simplifySValOnce::Simplifier
[all...] |
| H A D | SimpleConstraintManager.cpp | 31 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeInternal() local
|
| H A D | RangedConstraintManager.cpp | 236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in simplifyToSVal() local
|
| H A D | ExprEngineCXX.cpp | 102 LValue = State->getLValue(Ty, SVB.makeArrayIndex(Idx), LValue); in makeElementRegion() local
126 SValBuilder &SVB = getSValBuilder(); computeObjectUnderConstruction() local
[all...] |
| /llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoTesterChecker.cpp | 108 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError() local
125 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange() local
147 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState() local
|
| H A D | VLASizeChecker.cpp | 96 SValBuilder &SVB = C.getSValBuilder(); in checkVLA() local
182 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize() local
269 SValBuilder &SVB = C.getSValBuilder(); checkPreStmt() local
[all...] |
| H A D | BuiltinFunctionChecker.cpp | 92 SValBuilder &SVB = C.getSValBuilder(); evalCall() local
[all...] |
| H A D | ArrayBoundCheckerV2.cpp | 273 static bool isNegative(SValBuilder &SVB, ProgramStateRef State, NonLoc Value) { in isNegative() argument
278 static bool isUnsigned(SValBuilder &SVB, NonLo argument
171 computeOffset(ProgramStateRef State,SValBuilder & SVB,SVal Location) computeOffset() argument
292 compareValueToThreshold(ProgramStateRef State,NonLoc Value,NonLoc Threshold,SValBuilder & SVB,bool CheckEquality=false) compareValueToThreshold() argument
562 SValBuilder &SVB = C.getSValBuilder(); performCheck() local
[all...] |
| H A D | ContainerModeling.cpp | 326 auto &SVB = C.getSValBuilder(); in handleAssignment() local
440 auto &SVB = C.getSValBuilder(); in handlePushBack() local
469 auto &SVB = C.getSValBuilder(); in handlePopBack() local
514 auto &SVB = C.getSValBuilder(); in handlePushFront() local
551 auto &SVB = C.getSValBuilder(); in handlePopFront() local
676 auto &SVB = C.getSValBuilder(); in handleEraseAfter() local
1013 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym, in rebaseSymbolInIteratorPositionsIf()
1028 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, in rebaseSymbol()
|
| H A D | Iterator.cpp | 230 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition() local
265 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeNoOverflow() local
304 auto &SVB = State->getStateManager().getSValBuilder(); in compare() local
[all...] |
| H A D | CXXSelfAssignmentChecker.cpp | 48 auto &SVB = C.getSValBuilder(); in checkBeginFunction() local
|
| H A D | ErrnoModeling.cpp | 115 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction() local
246 SValBuilder &SVB = C.getSValBuilder(); in setErrnoForStdFailure() local
|
| H A D | STLAlgorithmModeling.cpp | 132 auto &SVB = C.getSValBuilder(); in Find() local
|
| H A D | BitwiseShiftChecker.cpp | 140 SValBuilder &SVB = Ctx.getSValBuilder(); in assumeRequirement() local
179 SValBuilder &SVB = Ctx.getSValBuilder(); in checkOvershift() local
|
| H A D | EnumCastOutOfRangeChecker.cpp | 40 SValBuilder &SVB; member in __anon1c85a2900111::ConstraintBasedEQEvaluator
|
| H A D | PointerSubChecker.cpp | 68 SValBuilder &SVB = C.getSValBuilder(); checkArrayBounds() local
|
| H A D | SetgidSetuidOrderChecker.cpp | 93 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in evalAssume() local
|
| H A D | TrustNonnullChecker.cpp | 217 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication() local
|
| H A D | IteratorModeling.cpp | 257 auto &SVB = C.getSValBuilder(); in checkPostStmt() local
647 auto &SVB = C.getSValBuilder(); in handlePtrIncrOrDecr() local
787 auto &SVB = State->getStateManager().getSValBuilder(); in relateSymbols() local
|
| H A D | MIGChecker.cpp | 236 SValBuilder &SVB = C.getSValBuilder(); in mayBeSuccess() local
|
| H A D | VirtualCallChecker.cpp | 173 auto &SVB = C.getSValBuilder(); in registerCtorDtorCallInState() local
|
| /llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 25 SValBuilder &SVB; variable
|
| H A D | SMTConstraintManager.h | 276 SValBuilder &SVB = getSValBuilder(); REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|