| /freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 147 ProgramStateManager &getStateManager() const { in getStateManager() function
711 return getStateManager().ConstraintMgr in assume()
720 return getStateManager().ConstraintMgr in assume()
791 StoreManager &SM = *getStateManager().StoreMgr; in getLValue()
835 return getStateManager().getBasicVals(); in getBasicVals()
839 return getStateManager().getSymbolManager(); in getSymbolManager()
849 return getStateManager().get_context<T>(); in get_context()
860 return getStateManager().remove<T>(this, K, C); in remove()
865 return getStateManager().remove<T>(this); in remove()
870 return getStateManager().set<T>(this, D); in set()
[all …]
|
| H A D | CheckerContext.h | 123 ProgramStateManager &getStateManager() { in getStateManager() function
124 return Eng.getStateManager(); in getStateManager()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 39 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
118 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
131 ProgramStateManager &Mgr = getStateManager(); in bindDefaultInitial()
140 ProgramStateManager &Mgr = getStateManager(); in bindDefaultZero()
187 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl()
271 if (const llvm::APSInt *Int = getStateManager() in getSVal()
312 return getStateManager().getPersistentState(NewSt); in BindExpr()
325 ProgramStateManager &SM = getStateManager(); in assumeInBoundDual()
436 return getStateManager().getPersistentState(NewSt); in makeWithStore()
442 return getStateManager().getPersistentState(NewSt); in cloneAsPosteriorlyOverconstrained()
[all …]
|
| H A D | DynamicExtent.cpp | 63 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCount()
87 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset()
113 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getDynamicElementCountWithOffset()
|
| H A D | CallEvent.cpp | 72 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
201 State->getStateManager().getRegionManager().getParamVarRegion( in getParameterLocation()
332 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
618 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
741 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getCXXThisVal()
823 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
899 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
942 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1389 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1439 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
[all …]
|
| H A D | ExprEngineCXX.cpp | 102 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeElementRegion()
336 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in computeObjectUnderConstruction()
734 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in handleConstructor()
902 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDestructor()
931 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewAllocatorCall()
1029 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewExpr()
1130 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDeleteExpr()
|
| H A D | LoopWidening.cpp | 60 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
|
| H A D | SimpleSValBuilder.cpp | 236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation()
253 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds()
296 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked()
369 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange()
777 ASTContext &Ctx = State->getStateManager().getContext(); in assertEqualBitWidths()
1310 : State(State), SVB(State->getStateManager().getSValBuilder()) {} in simplifySValOnce()
|
| H A D | ConstraintManager.cpp | 29 State->getStateManager().getRegionManager().getSymbolicRegion(Sym); in getLocFromSymbol()
|
| H A D | SimpleConstraintManager.cpp | 31 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeInternal()
|
| H A D | CheckerContext.cpp | 131 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison()
|
| H A D | ExprEngineObjC.cpp | 150 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitObjCMessage()
|
| H A D | RangedConstraintManager.cpp | 236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in simplifyToSVal()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 213 auto &StateMgr = State->getStateManager(); in createIteratorPosition()
229 auto &SymMgr = State->getStateManager().getSymbolManager(); in advancePosition()
230 auto &SVB = State->getStateManager().getSValBuilder(); in advancePosition()
231 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition()
265 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeNoOverflow()
304 auto &SVB = State->getStateManager().getSValBuilder(); in compare()
|
| H A D | ChrootChecker.cpp | 81 ProgramStateManager &Mgr = state->getStateManager(); in evalChroot()
91 ProgramStateManager &Mgr = state->getStateManager(); in evalChdir()
|
| H A D | InnerPointerChecker.cpp | 242 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkPostCall()
262 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkDeadSymbols()
|
| H A D | CheckObjCDealloc.cpp | 275 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 D | ReturnValueChecker.cpp | 130 CallEventManager &CMgr = C.getStateManager().getCallEventManager(); in checkEndFunction()
|
| H A D | GenericTaintChecker.cpp | 119 const QualType ArgTy = LValue.getType(State->getStateManager().getContext()); in getPointeeOf()
125 return State->getSVal(LValue, State->getStateManager().getContext().CharTy); in getPointeeOf()
978 auto &F = State->getStateManager().get_context<ArgIdxFactory>(); in process()
1105 auto &F = State->getStateManager().get_context<ArgIdxFactory>(); in taintUnsafeSocketProtocol()
|
| H A D | TrustNonnullChecker.cpp | 217 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication()
|
| H A D | ObjCSuperDeallocChecker.cpp | 233 ASTContext &Ctx = M.getState()->getStateManager().getContext(); in isSuperDeallocMessage()
|
| H A D | AnalysisOrderChecker.cpp | 55 AnalyzerOptions &Opts = State->getStateManager().getOwningEngine() in isCallbackEnabled()
|
| /freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 690 ProgramStateManager &getStateManager() const;
717 ProgramStateManager& getStateManager() const { in getStateManager() function
718 return BR.getStateManager(); in getStateManager()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 215 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in generateDiagnosticsForCallLike()
462 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
886 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), Sym); in deriveAllocLocation()
958 getAllVarBindingsForSymbol(Ctx.getStateManager(), Node, Sym); in findBindingToReport()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedObjectChecker.cpp | 245 if (State->getStateManager().getContext().getSourceManager().isInSystemHeader( in addFieldToUninits()
534 ASTContext &AC = State->getStateManager().getContext(); in hasUnguardedAccess()
|