Home
last modified time | relevance | path

Searched refs:getStateManager (Results 1 – 25 of 44) sorted by relevance

12

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp38 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
68 return getStateManager().Alloc.identifyKnownAlignedObject<ProgramState>(this); in getID()
117 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
131 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial()
140 ProgramStateManager &Mgr = getStateManager(); in bindDefaultZero()
169 ProgramStateManager &Mgr = getStateManager(); in invalidateRegions()
200 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding()
227 StoreManager &SM = getStateManager().getStoreManager(); in wrapSymbolicRegion()
236 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx)); in enterStackFrame()
273 if (const llvm::APSInt *Int = getStateManager() in getSVal()
[all …]
H A DDynamicExtent.cpp62 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCount()
86 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset()
112 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCountWithOffset()
H A DCallEvent.cpp71 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
200 State->getStateManager().getRegionManager().getParamVarRegion( in getParameterLocation()
331 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
528 CallEventManager &CEMgr = State->getStateManager().getCallEventManager(); in getCaller()
545 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getReturnValueUnderConstruction()
577 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getRuntimeDefinition()
617 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
751 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getCXXThisVal()
835 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
911 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
[all …]
H A DExprEngineCXX.cpp112 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeElementRegion()
346 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in computeObjectUnderConstruction()
527 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in bindRequiredArrayElementToEnvironment()
700 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in handleConstructor()
872 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDestructor()
901 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewAllocatorCall()
1000 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewExpr()
1102 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDeleteExpr()
H A DLoopWidening.cpp41 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
H A DSimpleSValBuilder.cpp236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation()
254 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds()
297 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked()
371 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange()
779 ASTContext &Ctx = State->getStateManager().getContext(); in assertEqualBitWidths()
1313 : State(State), SVB(State->getStateManager().getSValBuilder()) {} in simplifySValOnce()
H A DSimpleConstraintManager.cpp30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeInternal()
H A DCheckerContext.cpp144 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison()
H A DExprEngineObjC.cpp154 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitObjCMessage()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h147 ProgramStateManager &getStateManager() const { in getStateManager() function
698 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()
706 return getStateManager().ConstraintMgr in assume()
715 return getStateManager().ConstraintMgr in assume()
727 return getStateManager().ConstraintMgr->assumeInclusiveRange( in assumeInclusiveRange()
740 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual( in assumeInclusiveRange()
754 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
762 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
768 return getStateManager().StoreMgr->getLValueVar(VD, LC); in getLValue()
773 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); in getLValue()
[all …]
H A DCheckerContext.h126 ProgramStateManager &getStateManager() { in getStateManager() function
127 return Eng.getStateManager(); in getStateManager()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIterator.cpp214 auto &StateMgr = State->getStateManager(); in createIteratorPosition()
230 auto &SymMgr = State->getStateManager().getSymbolManager(); in advancePosition()
231 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition()
232 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition()
266 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeNoOverflow()
305 auto &SVB = State->getStateManager().getSValBuilder(); in compare()
H A DInnerPointerChecker.cpp232 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkPostCall()
252 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkDeadSymbols()
H A DNoOwnershipChangeVisitor.cpp57 State->getStateManager().getStoreManager().iterBindings(State->getStore(), in getOwnersAtNode()
H A DCheckObjCDealloc.cpp275 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in checkBeginFunction()
516 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in diagnoseMissingReleases()
540 if (State->getStateManager() in diagnoseMissingReleases()
857 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in removeValueRequiringRelease()
H A DTaint.cpp69 State->getStateManager().getStoreManager().getDefaultBinding( in addTaint()
212 StoreManager &StoreMgr = State->getStateManager().getStoreManager(); in getTaintedSymbolsImpl()
H A DSetgidSetuidOrderChecker.cpp93 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in evalAssume()
H A DTrustNonnullChecker.cpp217 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication()
H A DGenericTaintChecker.cpp112 const QualType ArgTy = LValue.getType(State->getStateManager().getContext()); in getPointeeOf()
118 return State->getSVal(LValue, State->getStateManager().getContext().CharTy); in getPointeeOf()
992 auto &F = State->getStateManager().get_context<ArgIdxFactory>(); in process()
1136 auto &F = State->getStateManager().get_context<ArgIdxFactory>(); in taintUnsafeSocketProtocol()
H A DAnalysisOrderChecker.cpp54 AnalyzerOptions &Opts = State->getStateManager().getOwningEngine() in isCallbackEnabled()
H A DObjCSuperDeallocChecker.cpp233 ASTContext &Ctx = M.getState()->getStateManager().getContext(); in isSuperDeallocMessage()
H A DErrnoModeling.cpp114 MemRegionManager &RMgr = C.getStateManager().getRegionManager(); in checkBeginFunction()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h706 ProgramStateManager &getStateManager() const;
734 ProgramStateManager& getStateManager() const { in getStateManager() function
735 return BR.getStateManager(); in getStateManager()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp215 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in generateDiagnosticsForCallLike()
462 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
887 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), Sym); in deriveAllocLocation()
959 getAllVarBindingsForSymbol(Ctx.getStateManager(), Node, Sym); in findBindingToReport()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedObjectChecker.cpp245 if (State->getStateManager().getContext().getSourceManager().isInSystemHeader( in addFieldToUninits()
536 ASTContext &AC = State->getStateManager().getContext(); in hasUnguardedAccess()

12