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

1234

/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.h36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
39 ProgramStateRef assume(ProgramStateRef state, Loc Cond, bool Assumption);
41 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
43 ProgramStateRef assumeSymRel(ProgramStateRef state,
56 virtual ProgramStateRef assumeSymNE(ProgramStateRef stat
[all...]
H A DSimpleConstraintManager.cpp58 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state,
67 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, Loc cond,
75 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef state,
114 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state,
137 ProgramStateRef
138 SimpleConstraintManager::assumeAuxForSymbol(ProgramStateRef Stat
[all...]
H A DRangeConstraintManager.cpp297 RangeSet GetRange(ProgramStateRef state, SymbolRef sym);
302 ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym,
306 ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
310 ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,
314 ProgramStateRef assumeSymGT(ProgramStateRef state, SymbolRef sym,
318 ProgramStateRef assumeSymG
[all...]
H A DConstraintManager.cpp22 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State,
31 ConditionTruthVal ConstraintManager::isNull(ProgramStateRef State,
H A DProgramState.cpp89 ProgramStateRef
90 ProgramStateManager::removeDeadBindings(ProgramStateRef state,
110 ProgramStateRef Result = getPersistentState(NewState);
114 ProgramStateRef ProgramState::bindCompoundLiteral(const CompoundLiteralExpr *CL,
122 ProgramStateRef ProgramState::bindLoc(Loc LV, SVal V, bool notifyChanges) const {
124 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
133 ProgramStateRef ProgramState::bindDefault(SVal loc, SVal V) const {
137 ProgramStateRef new_state = makeWithStore(newStore);
143 ProgramStateRef
157 ProgramStateRef
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h66 virtual ProgramStateRef assume(ProgramStateRef state,
70 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair;
72 ProgramStatePair assumeDual(ProgramStateRef state, DefinedSVal Cond) {
84 virtual const llvm::APSInt* getSymVal(ProgramStateRef state,
89 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state,
92 virtual void print(ProgramStateRef state,
97 virtual void EndPath(ProgramStateRef stat
[all...]
H A DSubEngine.h48 virtual ProgramStateRef getInitialState(const LocationContext *InitLoc) = 0;
94 virtual ProgramStateRef processAssume(ProgramStateRef state,
99 virtual bool wantsRegionChangeUpdate(ProgramStateRef state) = 0;
103 virtual ProgramStateRef
104 processRegionChanges(ProgramStateRef state,
111 inline ProgramStateRef
112 processRegionChange(ProgramStateRef state,
118 virtual void printState(raw_ostream &Out, ProgramStateRef State,
H A DProgramState.h92 ProgramStateRef makeWithStore(const StoreRef &store) const;
173 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
178 std::pair<ProgramStateRef , ProgramStateRef >
181 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx,
197 ProgramStateRef bindCompoundLiteral(const CompoundLiteralExpr *CL,
203 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
208 ProgramStateRef bindExprAndLocation(const Stmt *S,
212 ProgramStateRef bindLoc(Loc location,
216 ProgramStateRef bindLo
[all...]
H A DExprEngine.h71 ProgramStateRef CleanedState;
114 ProgramStateRef InitState,
153 ProgramStateRef getInitialState(const LocationContext *InitLoc);
234 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,bool assumption);
238 bool wantsRegionChangeUpdate(ProgramStateRef state);
242 ProgramStateRef
243 processRegionChanges(ProgramStateRef state,
250 void printState(raw_ostream &Out, ProgramStateRef State,
422 SVal evalBinOp(ProgramStateRef stat
[all...]
H A DProgramState_Fwd.h38 typedef IntrusiveRefCntPtr<const ProgramState> ProgramStateRef; typedef in namespace:clang::ento
H A DCallEvent.h59 CallEventRef<T> cloneWithState(ProgramStateRef State) const {
119 ProgramStateRef State;
145 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
148 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
184 ProgramStateRef getState() const {
272 ProgramStateRef invalidateRegions(unsigned BlockCount,
273 ProgramStateRef Orig = 0) const;
285 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;
288 CallEventRef<> cloneWithState(ProgramStateRef NewState) const {
350 AnyFunctionCall(const Expr *E, ProgramStateRef S
[all...]
H A DCheckerContext.h75 ProgramStateRef getState() const { return Pred->getState(); }
162 ExplodedNode *addTransition(ProgramStateRef State = 0,
174 ExplodedNode *addTransition(ProgramStateRef State,
182 ExplodedNode *generateSink(ProgramStateRef State = 0,
224 ExplodedNode *addTransitionImpl(ProgramStateRef State,
/external/clang/lib/StaticAnalyzer/Checkers/
H A DCheckerDocumentation.cpp205 ProgramStateRef evalAssume(ProgramStateRef State,
214 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {}
217 bool wantsRegionChangeUpdate(ProgramStateRef St) const { return true; }
233 ProgramStateRef
234 checkRegionChanges(ProgramStateRef State,
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 DCStringChecker.cpp60 void checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const;
62 bool wantsRegionChangeUpdate(ProgramStateRef state) const;
64 ProgramStateRef
65 checkRegionChanges(ProgramStateRef state,
79 ProgramStateRef state,
116 std::pair<ProgramStateRef , ProgramStateRef >
118 ProgramStateRef state, SVal V, QualType Ty);
120 static ProgramStateRef setCStringLength(ProgramStateRef stat
[all...]
H A DStreamChecker.cpp99 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state,
101 ProgramStateRef CheckDoubleClose(const CallExpr *CE, ProgramStateRef state,
221 ProgramStateRef state = C.getState();
232 ProgramStateRef stateNotNull, stateNull;
248 ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C);
254 ProgramStateRef state = C.getState();
261 ProgramStateRef state = C.getState();
268 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;
123 ProgramStateRef state_precedesLowerBound, state_withinLowerBound;
155 ProgramStateRef state_exceedsUpperBound, state_withinUpperBound;
183 ProgramStateRef errorState,
243 static inline SVal scaleValue(ProgramStateRef state,
253 static SVal addValue(ProgramStateRef state, SVal x, SVal y,
267 RegionRawOffsetV2 RegionRawOffsetV2::computeOffset(ProgramStateRef stat
[all...]
H A DMallocChecker.cpp135 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
141 ProgramStateRef
142 checkRegionChanges(ProgramStateRef state,
147 bool wantsRegionChangeUpdate(ProgramStateRef state) const {
151 void printState(raw_ostream &Out, ProgramStateRef State,
163 static ProgramStateRef MallocMemReturnsAttr(CheckerContext &C,
166 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
168 ProgramStateRef state) {
174 static ProgramStateRef MallocMemAu
[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.cpp51 ProgramStateRef falseState,
93 ProgramStateRef state = C.getState();
121 ProgramStateRef trueState, falseState;
160 ProgramStateRef state = C.getState();
197 static bool IsZeroByteAllocation(ProgramStateRef state,
199 ProgramStateRef *trueState,
200 ProgramStateRef *falseState) {
211 ProgramStateRef falseState,
245 ProgramStateRef state = C.getState();
246 ProgramStateRef trueStat
[all...]
H A DGenericTaintChecker.cpp73 typedef ProgramStateRef (GenericTaintChecker::*FnCheck)(const CallExpr *,
75 ProgramStateRef postScanf(const CallExpr *CE, CheckerContext &C) const;
76 ProgramStateRef postSocket(const CallExpr *CE, CheckerContext &C) const;
77 ProgramStateRef postRetTaint(const CallExpr *CE, CheckerContext &C) const;
80 ProgramStateRef preFscanf(const CallExpr *CE, CheckerContext &C) const;
159 ProgramStateRef State,
168 ProgramStateRef process(const CallExpr *CE, CheckerContext &C) const;
300 ProgramStateRef State = 0;
335 ProgramStateRef State = C.getState();
401 ProgramStateRef Stat
[all...]
H A DObjCAtSyncChecker.cpp41 ProgramStateRef state = C.getState();
62 ProgramStateRef notNullState, nullState;

Completed in 227 milliseconds

1234