| /external/clang/lib/StaticAnalyzer/Core/ |
| SimpleConstraintManager.h | 36 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 state, SymbolRef sym
[all...] |
| RangeConstraintManager.cpp | 286 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 assumeSymGE(ProgramStateRef state, SymbolRef sym
[all...] |
| ConstraintManager.cpp | 21 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State,
28 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,
|
| SimpleConstraintManager.cpp | 68 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 state
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 67 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)nullptr, State);
91 ProgramStateRef StFalse = assume(State, Cond, false);
96 return ProgramStatePair(State, (ProgramStateRef)nullptr);
107 virtual const llvm::APSInt* getSymVal(ProgramStateRef state
[all...] |
| SubEngine.h | 48 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 State, SVal Loc, SVal Val) = 0
[all...] |
| ProgramState.h | 92 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 killBinding(Loc LV) const
[all...] |
| ExprEngine.h | 117 ProgramStateRef InitState,
157 ProgramStateRef getInitialState(const LocationContext *InitLoc) override;
269 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,
274 bool wantsRegionChangeUpdate(ProgramStateRef state) override;
278 ProgramStateRef
279 processRegionChanges(ProgramStateRef state,
286 void printState(raw_ostream &Out, ProgramStateRef State,
459 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
464 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op
[all...] |
| ProgramState_Fwd.h | 38 typedef IntrusiveRefCntPtr<const ProgramState> ProgramStateRef;
|
| CoreEngine.h | 88 ProgramStateRef State,
128 ProgramStateRef InitState);
132 ProgramStateRef InitState,
244 ProgramStateRef State,
266 ProgramStateRef State,
277 ProgramStateRef State,
325 ExplodedNode *generateNode(ProgramStateRef State,
332 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
382 ProgramStateRef St,
392 ProgramStateRef St
[all...] |
| CallEvent.h | 58 CallEventRef<T> cloneWithState(ProgramStateRef State) const {
118 ProgramStateRef State;
143 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
146 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
182 const ProgramStateRef &getState() const {
308 ProgramStateRef invalidateRegions(unsigned BlockCount,
309 ProgramStateRef Orig = nullptr) const;
321 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;
324 CallEventRef<> cloneWithState(ProgramStateRef NewState) const {
382 AnyFunctionCall(const Expr *E, ProgramStateRef St
[all...] |
| CheckerContext.h | 118 const ProgramStateRef &getState() const { return Pred->getState(); }
208 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
220 ExplodedNode *addTransition(ProgramStateRef State,
228 ExplodedNode *generateSink(ProgramStateRef State = nullptr,
286 ExplodedNode *addTransitionImpl(ProgramStateRef State,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CheckerDocumentation.cpp | 207 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 State
[all...] |
| ArrayBoundChecker.cpp | 55 ProgramStateRef state = C.getState();
62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
63 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
|
| ReturnPointerRangeChecker.cpp | 37 ProgramStateRef state = C.getState();
62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
63 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
|
| BoolAssignmentChecker.cpp | 27 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;
|
| SimpleStreamChecker.cpp | 83 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...] |
| ArrayBoundCheckerV2.cpp | 35 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 state
[all...] |
| MallocChecker.cpp | 187 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
192 ProgramStateRef checkPointerEscape(ProgramStateRef State,
196 ProgramStateRef checkConstPointerEscape(ProgramStateRef State,
201 void printState(raw_ostream &Out, ProgramStateRef State,
244 ProgramStateRef MallocMemReturnsAttr(CheckerContext &C,
247 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
249 ProgramStateRef State
[all...] |
| StreamChecker.cpp | 97 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state,
99 ProgramStateRef CheckDoubleClose(const CallExpr *CE, ProgramStateRef state,
212 ProgramStateRef state = C.getState();
223 ProgramStateRef stateNotNull, stateNull;
239 ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C);
245 ProgramStateRef state = C.getState();
252 ProgramStateRef state = C.getState();
259 ProgramStateRef state = C.getState()
[all...] |
| DivZeroChecker.cpp | 28 ProgramStateRef StateZero,
36 ProgramStateRef StateZero,
70 ProgramStateRef stateNotZero, stateZero;
|
| UndefBranchChecker.cpp | 30 ProgramStateRef St;
33 FindUndefExpr(ProgramStateRef S, const LocationContext *L)
91 ProgramStateRef St = N->getState();
|
| UnixAPIChecker.cpp | 52 ProgramStateRef falseState,
89 ProgramStateRef state = C.getState();
116 ProgramStateRef trueState, falseState;
155 ProgramStateRef state = C.getState();
193 static bool IsZeroByteAllocation(ProgramStateRef state,
195 ProgramStateRef *trueState,
196 ProgramStateRef *falseState) {
207 ProgramStateRef falseState,
241 ProgramStateRef state = C.getState();
242 ProgramStateRef trueState = nullptr, falseState = nullptr
[all...] |
| GenericTaintChecker.cpp | 73 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;
294 ProgramStateRef State = nullptr;
329 ProgramStateRef State = C.getState();
395 ProgramStateRef State = nullptr
[all...] |
| ObjCAtSyncChecker.cpp | 41 ProgramStateRef state = C.getState();
62 ProgramStateRef notNullState, nullState;
|
