Searched refs:ProgramStateRef (Results 1 - 25 of 76) sorted by relevance

1234

/freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.h36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
41 ProgramStateRef assumeSymRel(ProgramStateRef state,
54 virtual ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym,
58 virtual ProgramStateRef assumeSymEQ(ProgramStateRef stat
[all...]
H A DRangeConstraintManager.cpp286 RangeSet GetRange(ProgramStateRef state, SymbolRef sym);
291 ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym,
295 ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
299 ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,
303 ProgramStateRef assumeSymGT(ProgramStateRef state, SymbolRef sym,
307 ProgramStateRef assumeSymG
[all...]
H A DConstraintManager.cpp21 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State,
28 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,
H A DSimpleConstraintManager.cpp68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state,
87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state,
97 ProgramStateRef
98 SimpleConstraintManager::assumeAuxForSymbol(ProgramStateRef State,
114 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef state,
210 ProgramStateRef SimpleConstraintManager::assumeSymRel(ProgramStateRef stat
[all...]
/freebsd-10-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h67 virtual ProgramStateRef assume(ProgramStateRef state,
71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
76 ProgramStateRef StTrue = assume(State, Cond, true);
88 return ProgramStatePair((ProgramStateRef)NULL, State);
91 ProgramStateRef StFalse = assume(State, Cond, false);
96 return ProgramStatePair(State, (ProgramStateRef)NULL);
107 virtual const llvm::APSInt* getSymVal(ProgramStateRef stat
[all...]
H A DSubEngine.h48 virtual ProgramStateRef getInitialState(const LocationContext *InitLoc) = 0;
105 virtual ProgramStateRef processAssume(ProgramStateRef state,
110 virtual bool wantsRegionChangeUpdate(ProgramStateRef state) = 0;
114 virtual ProgramStateRef
115 processRegionChanges(ProgramStateRef state,
122 inline ProgramStateRef
123 processRegionChange(ProgramStateRef state,
128 virtual ProgramStateRef
129 processPointerEscapedOnBind(ProgramStateRef Stat
[all...]
H A DProgramState.h92 ProgramStateRef makeWithStore(const StoreRef &store) const;
178 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
185 std::pair<ProgramStateRef, ProgramStateRef>
188 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx,
206 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
209 ProgramStateRef bindLoc(Loc location,
213 ProgramStateRef bindLoc(SVal location, SVal V) const;
215 ProgramStateRef bindDefault(SVal loc, SVal V) const;
217 ProgramStateRef killBindin
[all...]
H A DExprEngine.h118 ProgramStateRef InitState,
158 ProgramStateRef getInitialState(const LocationContext *InitLoc);
268 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,bool assumption);
272 bool wantsRegionChangeUpdate(ProgramStateRef state);
276 ProgramStateRef
277 processRegionChanges(ProgramStateRef state,
284 void printState(raw_ostream &Out, ProgramStateRef State,
453 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
458 SVal evalBinOp(ProgramStateRef stat
[all...]
H A DProgramState_Fwd.h38 typedef IntrusiveRefCntPtr<const ProgramState> ProgramStateRef; typedef in namespace:clang::ento
H A DCallEvent.h60 CallEventRef<T> cloneWithState(ProgramStateRef State) const {
120 ProgramStateRef State;
145 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
148 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
184 const ProgramStateRef &getState() const {
310 ProgramStateRef invalidateRegions(unsigned BlockCount,
311 ProgramStateRef Orig = 0) const;
323 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;
326 CallEventRef<> cloneWithState(ProgramStateRef NewState) const {
390 AnyFunctionCall(const Expr *E, ProgramStateRef S
[all...]
H A DCheckerContext.h118 const ProgramStateRef &getState() const { return Pred->getState(); }
203 ExplodedNode *addTransition(ProgramStateRef State = 0,
215 ExplodedNode *addTransition(ProgramStateRef State,
223 ExplodedNode *generateSink(ProgramStateRef State = 0,
281 ExplodedNode *addTransitionImpl(ProgramStateRef State,
/freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DCheckerDocumentation.cpp207 ProgramStateRef evalAssume(ProgramStateRef State,
216 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {}
224 bool wantsRegionChangeUpdate(ProgramStateRef St) const { return true; }
249 ProgramStateRef
250 checkRegionChanges(ProgramStateRef State,
271 ProgramStateRef checkPointerEscape(ProgramStateRef State,
282 ProgramStateRef checkConstPointerEscape(ProgramStateRef Stat
[all...]
H A DArrayBoundChecker.cpp54 ProgramStateRef state = C.getState();
61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
H A DReturnPointerRangeChecker.cpp36 ProgramStateRef state = C.getState();
61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
H A DBoolAssignmentChecker.cpp27 void emitReport(ProgramStateRef state, CheckerContext &C) const;
33 void BoolAssignmentChecker::emitReport(ProgramStateRef state,
79 ProgramStateRef state = C.getState();
98 ProgramStateRef stateLT, stateGE;
134 ProgramStateRef stateGT, stateLE;
H A DSimpleStreamChecker.cpp83 ProgramStateRef checkPointerEscape(ProgramStateRef State,
97 ProgramStateRef state;
99 StopTrackingCallback(ProgramStateRef st) : state(st) {}
100 ProgramStateRef getState() const { return state; }
137 ProgramStateRef State = C.getState();
161 ProgramStateRef State = C.getState();
174 bool IsSymDead, ProgramStateRef State) {
187 ProgramStateRef State = C.getState();
256 ProgramStateRef
[all...]
H A DCStringChecker.cpp62 void checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const;
64 bool wantsRegionChangeUpdate(ProgramStateRef state) const;
66 ProgramStateRef
67 checkRegionChanges(ProgramStateRef state,
81 ProgramStateRef state,
120 std::pair<ProgramStateRef , ProgramStateRef >
122 ProgramStateRef state, SVal V, QualType Ty);
124 static ProgramStateRef setCStringLength(ProgramStateRef stat
[all...]
H A DArrayBoundCheckerV2.cpp35 void reportOOB(CheckerContext &C, ProgramStateRef errorState,
59 static RegionRawOffsetV2 computeOffset(ProgramStateRef state,
97 ProgramStateRef state = checkerContext.getState();
98 ProgramStateRef originalState = state;
122 ProgramStateRef state_precedesLowerBound, state_withinLowerBound;
154 ProgramStateRef state_exceedsUpperBound, state_withinUpperBound;
182 ProgramStateRef errorState,
242 static inline SVal scaleValue(ProgramStateRef state,
252 static SVal addValue(ProgramStateRef state, SVal x, SVal y,
266 RegionRawOffsetV2 RegionRawOffsetV2::computeOffset(ProgramStateRef stat
[all...]
H A DStreamChecker.cpp95 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state,
97 ProgramStateRef CheckDoubleClose(const CallExpr *CE, ProgramStateRef state,
210 ProgramStateRef state = C.getState();
220 ProgramStateRef stateNotNull, stateNull;
236 ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C);
242 ProgramStateRef state = C.getState();
249 ProgramStateRef state = C.getState();
256 ProgramStateRef stat
[all...]
H A DDivZeroChecker.cpp28 ProgramStateRef StateZero,
36 ProgramStateRef StateZero,
70 ProgramStateRef stateNotZero, stateZero;
H A DUndefBranchChecker.cpp30 ProgramStateRef St;
33 FindUndefExpr(ProgramStateRef S, const LocationContext *L)
91 ProgramStateRef St = N->getState();
H A DUnixAPIChecker.cpp52 ProgramStateRef falseState,
94 ProgramStateRef state = C.getState();
121 ProgramStateRef trueState, falseState;
160 ProgramStateRef state = C.getState();
198 static bool IsZeroByteAllocation(ProgramStateRef state,
200 ProgramStateRef *trueState,
201 ProgramStateRef *falseState) {
212 ProgramStateRef falseState,
246 ProgramStateRef state = C.getState();
247 ProgramStateRef trueStat
[all...]
H A DGenericTaintChecker.cpp74 typedef ProgramStateRef (GenericTaintChecker::*FnCheck)(const CallExpr *,
76 ProgramStateRef postScanf(const CallExpr *CE, CheckerContext &C) const;
77 ProgramStateRef postSocket(const CallExpr *CE, CheckerContext &C) const;
78 ProgramStateRef postRetTaint(const CallExpr *CE, CheckerContext &C) const;
81 ProgramStateRef preFscanf(const CallExpr *CE, CheckerContext &C) const;
160 ProgramStateRef State,
169 ProgramStateRef process(const CallExpr *CE, CheckerContext &C) const;
295 ProgramStateRef State = 0;
330 ProgramStateRef State = C.getState();
396 ProgramStateRef Stat
[all...]
H A DMallocChecker.cpp192 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
197 ProgramStateRef checkPointerEscape(ProgramStateRef State,
201 ProgramStateRef checkConstPointerEscape(ProgramStateRef State,
206 void printState(raw_ostream &Out, ProgramStateRef State,
237 static ProgramStateRef MallocMemReturnsAttr(CheckerContext &C,
240 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
242 ProgramStateRef Stat
[all...]
H A DObjCAtSyncChecker.cpp41 ProgramStateRef state = C.getState();
62 ProgramStateRef notNullState, nullState;

Completed in 127 milliseconds

1234