Searched refs:ProgramStateRef (Results 26 - 50 of 115) sorted by relevance

12345

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBoolAssignmentChecker.cpp26 void emitReport(ProgramStateRef state, CheckerContext &C) const;
32 void BoolAssignmentChecker::emitReport(ProgramStateRef state,
80 ProgramStateRef state = C.getState();
99 ProgramStateRef stateLT, stateGE;
135 ProgramStateRef stateGT, stateLE;
H A DSimpleStreamChecker.cpp79 ProgramStateRef checkPointerEscape(ProgramStateRef State,
93 ProgramStateRef state;
95 StopTrackingCallback(ProgramStateRef st) : state(std::move(st)) {}
96 ProgramStateRef getState() const { return state; }
131 ProgramStateRef State = C.getState();
150 ProgramStateRef State = C.getState();
163 bool IsSymDead, ProgramStateRef State) {
176 ProgramStateRef State = C.getState();
247 ProgramStateRef
[all...]
H A DIteratorModeling.cpp93 void processComparison(CheckerContext &C, ProgramStateRef State,
124 void printState(raw_ostream &Out, ProgramStateRef State, const char *NL,
136 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const;
152 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg);
153 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);
154 bool backModifiable(ProgramStateRef State, const MemRegion *Reg);
155 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
156 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
157 ProgramStateRef createContainerBegin(ProgramStateRef Stat
[all...]
H A DTrustNonnullChecker.cpp65 ProgramStateRef evalAssume(ProgramStateRef State,
86 ProgramStateRef State = C.getState();
101 ProgramStateRef State = C.getState();
134 ProgramStateRef State = C.getState();
147 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper,
148 ProgramStateRef State) const {
213 ProgramStateRef addImplication(SymbolRef Antecedent,
214 ProgramStateRef InputState,
226 ProgramStateRef Stat
[all...]
H A DCStringChecker.cpp64 void checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const;
67 ProgramStateRef
68 checkRegionChanges(ProgramStateRef state,
114 ProgramStateRef state,
159 std::pair<ProgramStateRef , ProgramStateRef >
161 ProgramStateRef state, SVal V, QualType Ty);
163 static ProgramStateRef setCStringLength(ProgramStateRef state,
167 ProgramStateRef
[all...]
H A DAnalysisOrderChecker.cpp57 bool isCallbackEnabled(ProgramStateRef State, StringRef CallbackName) const {
154 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SymReaper) const {
159 ProgramStateRef
160 checkRegionChanges(ProgramStateRef State,
170 ProgramStateRef checkPointerEscape(ProgramStateRef State,
H A DUndefBranchChecker.cpp30 ProgramStateRef St;
33 FindUndefExpr(ProgramStateRef S, const LocationContext *L)
89 ProgramStateRef St = N->getState();
H A DStreamChecker.cpp101 ProgramStateRef &State) const;
103 ProgramStateRef &State) const;
105 ProgramStateRef &State) const;
138 ProgramStateRef state = C.getState();
153 ProgramStateRef stateNotNull, stateNull;
167 ProgramStateRef State = C.getState();
192 ProgramStateRef StateRetNotNull =
196 ProgramStateRef StateRetNull = State->BindExpr(CE, C.getLocationContext(),
209 ProgramStateRef State = C.getState();
219 ProgramStateRef Stat
[all...]
H A DMallocChecker.cpp208 static ProgramStateRef MallocUpdateRefState(CheckerContext &C, const Expr *E,
209 ProgramStateRef State,
370 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
375 ProgramStateRef checkPointerEscape(ProgramStateRef State,
379 ProgramStateRef checkConstPointerEscape(ProgramStateRef State,
384 void printState(raw_ostream &Out, ProgramStateRef State,
414 static ProgramStateRef ProcessZeroAllocChec
[all...]
H A DObjCAtSyncChecker.cpp40 ProgramStateRef state = C.getState();
61 ProgramStateRef notNullState, nullState;
H A DIterator.cpp149 const ContainerData *getContainerData(ProgramStateRef State,
154 const IteratorPosition *getIteratorPosition(ProgramStateRef State,
167 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val,
180 ProgramStateRef advancePosition(ProgramStateRef State, const SVal &Iter,
207 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2,
212 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2,
H A DUnixAPIChecker.cpp57 ProgramStateRef State,
79 ProgramStateRef falseState,
129 ProgramStateRef State,
181 ProgramStateRef state = C.getState();
248 ProgramStateRef trueState, falseState;
284 ProgramStateRef state = C.getState();
323 static bool IsZeroByteAllocation(ProgramStateRef state,
325 ProgramStateRef *trueState,
326 ProgramStateRef *falseState) {
338 ProgramStateRef falseStat
[all...]
H A DCheckPlacementNew.cpp17 SVal getExtentSizeOfNewTarget(const CXXNewExpr *NE, ProgramStateRef State,
21 SVal getExtentSizeOfPlace(const Expr *NE, ProgramStateRef State,
29 ProgramStateRef State,
53 ProgramStateRef State,
89 ProgramStateRef State = C.getState();
H A DVLASizeChecker.cpp36 void reportBug(VLASize_Kind Kind, const Expr *SizeE, ProgramStateRef State,
46 VLASize_Kind Kind, const Expr *SizeE, ProgramStateRef State,
97 ProgramStateRef state = C.getState();
120 ProgramStateRef stateNotZero, stateZero;
145 ProgramStateRef StatePos, StateNeg;
H A DMoveChecker.cpp56 ProgramStateRef
57 checkRegionChanges(ProgramStateRef State,
62 void printState(raw_ostream &Out, ProgramStateRef State,
211 void modelUse(ProgramStateRef State, const MemRegion *Region,
235 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region) {
244 static ProgramStateRef removeFromState(ProgramStateRef State,
255 static bool isAnyBaseRegionReported(ProgramStateRef State,
282 ProgramStateRef State = N->getState();
283 ProgramStateRef StatePre
[all...]
H A DVforkChecker.cpp50 static bool isChildProcess(const ProgramStateRef State);
78 bool VforkChecker::isChildProcess(const ProgramStateRef State) {
146 ProgramStateRef State = C.getState();
174 ProgramStateRef ParentState, ChildState;
184 ProgramStateRef State = C.getState();
193 ProgramStateRef State = C.getState();
210 ProgramStateRef State = C.getState();
H A DObjCSelfInitChecker.cpp81 void printState(raw_ostream &Out, ProgramStateRef State,
106 static SelfFlagEnum getSelfFlags(SVal val, ProgramStateRef state) {
117 static void addSelfFlag(ProgramStateRef state, SVal val,
178 ProgramStateRef state = C.getState();
244 ProgramStateRef state = C.getState();
272 ProgramStateRef state = C.getState();
309 ProgramStateRef state = C.getState();
329 ProgramStateRef State = C.getState();
337 void ObjCSelfInitChecker::printState(raw_ostream &Out, ProgramStateRef State,
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp94 ProgramStateRef ProgramStateManager::removeDeadBindingsFromEnvironmentAndStore(
95 ProgramStateRef state, const StackFrameContext *LCtx,
117 ProgramStateRef ProgramState::bindLoc(Loc LV,
122 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
131 ProgramStateRef
137 ProgramStateRef new_state = makeWithStore(newStore);
141 ProgramStateRef
146 ProgramStateRef new_state = makeWithStore(newStore);
153 ProgramStateRef
170 ProgramStateRef
[all...]
H A DRangedConstraintManager.cpp23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State,
73 ProgramStateRef RangedConstraintManager::assumeSymInclusiveRange(
74 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
101 ProgramStateRef
102 RangedConstraintManager::assumeSymUnsupported(ProgramStateRef State,
119 ProgramStateRef RangedConstraintManager::assumeSymRel(ProgramStateRef State,
H A DExprEngineObjC.cpp24 ProgramStateRef state = Pred->getState();
53 ProgramStateRef state = Pred->getState();
59 ProgramStateRef nextState = state->BindExpr(S, LCtx, hasElementsV);
116 ProgramStateRef state = Pred->getState();
192 ProgramStateRef State = Pred->getState();
194 ProgramStateRef notNilState, nilState;
247 ProgramStateRef State = Pred->getState();
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h41 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
61 ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym,
70 ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym,
80 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override {
108 const llvm::APSInt *getSymVal(ProgramStateRef State,
199 ProgramStateRef removeDeadBindings(ProgramStateRef Stat
[all...]
H A DProgramState_Fwd.h37 typedef IntrusiveRefCntPtr<const ProgramState> ProgramStateRef; typedef in namespace:clang::ento
H A DCallEvent.h82 CallEventRef<T> cloneWithState(ProgramStateRef State) const {
143 ProgramStateRef State;
167 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
170 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
207 const ProgramStateRef &getState() const {
347 ProgramStateRef invalidateRegions(unsigned BlockCount,
348 ProgramStateRef Orig = nullptr) const;
360 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;
363 CallEventRef<> cloneWithState(ProgramStateRef NewState) const {
463 AnyFunctionCall(const Expr *E, ProgramStateRef S
[all...]
H A DCheckerContext.h71 const ProgramStateRef &getState() const { return Pred->getState(); }
164 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
176 ExplodedNode *addTransition(ProgramStateRef State,
185 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
197 ExplodedNode *generateErrorNode(ProgramStateRef State = nullptr,
211 generateNonFatalErrorNode(ProgramStateRef State = nullptr,
226 generateNonFatalErrorNode(ProgramStateRef State,
340 ExplodedNode *addTransitionImpl(ProgramStateRef State,
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp28 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) {
36 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym,
42 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) {
130 ProgramStateRef state;
132 StopTrackingCallback(ProgramStateRef st) : state(std::move(st)) {}
133 ProgramStateRef getState() const { return state; }
154 ProgramStateRef state = C.getState();
210 ProgramStateRef stat
[all...]

Completed in 212 milliseconds

12345