Home
last modified time | relevance | path

Searched refs:GRState (Results 1 – 25 of 74) sorted by relevance

123

/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.h36 const GRState *assume(const GRState *state, DefinedSVal Cond,
39 const GRState *assume(const GRState *state, Loc Cond, bool Assumption);
41 const GRState *assume(const GRState *state, NonLoc Cond, bool Assumption);
43 const GRState *assumeSymRel(const GRState *state,
56 virtual const GRState *assumeSymNE(const GRState *state, SymbolRef sym,
60 virtual const GRState *assumeSymEQ(const GRState *state, SymbolRef sym,
64 virtual const GRState *assumeSymLT(const GRState *state, SymbolRef sym,
68 virtual const GRState *assumeSymGT(const GRState *state, SymbolRef sym,
72 virtual const GRState *assumeSymLE(const GRState *state, SymbolRef sym,
76 virtual const GRState *assumeSymGE(const GRState *state, SymbolRef sym,
[all …]
DGRState.cpp28 GRState::GRState(GRStateManager *mgr, const Environment& env, in GRState() function in GRState
38 GRState::GRState(const GRState& RHS) in GRState() function in GRState
48 GRState::~GRState() { in ~GRState()
54 for (std::vector<GRState::Printer*>::iterator I=Printers.begin(), in ~GRStateManager()
63 const GRState*
64 GRStateManager::removeDeadBindings(const GRState* state, in removeDeadBindings()
75 GRState NewState = *state; in removeDeadBindings()
87 const GRState *GRStateManager::MarshalState(const GRState *state, in MarshalState()
90 GRState State(this, in MarshalState()
98 const GRState *GRState::bindCompoundLiteral(const CompoundLiteralExpr* CL, in bindCompoundLiteral()
[all …]
DBasicConstraintManager.cpp28 typedef llvm::ImmutableMap<SymbolRef,GRState::IntSetTy> ConstNotEqTy;
53 GRState::IntSetTy::Factory ISetFactory;
59 const GRState *assumeSymNE(const GRState* state, SymbolRef sym,
63 const GRState *assumeSymEQ(const GRState* state, SymbolRef sym,
67 const GRState *assumeSymLT(const GRState* state, SymbolRef sym,
71 const GRState *assumeSymGT(const GRState* state, SymbolRef sym,
75 const GRState *assumeSymGE(const GRState* state, SymbolRef sym,
79 const GRState *assumeSymLE(const GRState* state, SymbolRef sym,
83 const GRState* AddEQ(const GRState* state, SymbolRef sym, const llvm::APSInt& V);
85 const GRState* AddNE(const GRState* state, SymbolRef sym, const llvm::APSInt& V);
[all …]
DRangeConstraintManager.cpp208 RangeSet GetRange(const GRState *state, SymbolRef sym);
213 const GRState *assumeSymNE(const GRState* state, SymbolRef sym,
217 const GRState *assumeSymEQ(const GRState* state, SymbolRef sym,
221 const GRState *assumeSymLT(const GRState* state, SymbolRef sym,
225 const GRState *assumeSymGT(const GRState* state, SymbolRef sym,
229 const GRState *assumeSymGE(const GRState* state, SymbolRef sym,
233 const GRState *assumeSymLE(const GRState* state, SymbolRef sym,
237 const llvm::APSInt* getSymVal(const GRState* St, SymbolRef sym) const;
240 bool isEqual(const GRState* St, SymbolRef sym, const llvm::APSInt& V) const { in isEqual()
245 const GRState* removeDeadBindings(const GRState* St, SymbolReaper& SymReaper);
[all …]
DSimpleConstraintManager.cpp59 const GRState *SimpleConstraintManager::assume(const GRState *state, in assume()
68 const GRState *SimpleConstraintManager::assume(const GRState *state, Loc cond, in assume()
74 const GRState *SimpleConstraintManager::assumeAux(const GRState *state, in assumeAux()
116 const GRState *SimpleConstraintManager::assume(const GRState *state, in assume()
138 const GRState *SimpleConstraintManager::assumeAux(const GRState *state, in assumeAux()
205 const GRState *SimpleConstraintManager::assumeSymRel(const GRState *state, in assumeSymRel()
DExprEngine.cpp99 const GRState* ExprEngine::getInitialState(const LocationContext *InitLoc) { in getInitialState()
100 const GRState *state = StateMgr.getInitialState(InitLoc); in getInitialState()
135 if (const GRState *newState = state->assume(*Constraint, true)) in getInitialState()
186 const GRState *ExprEngine::processAssume(const GRState *state, SVal cond, in processAssume()
197 bool ExprEngine::wantsRegionChangeUpdate(const GRState* state) { in wantsRegionChangeUpdate()
201 const GRState *
202 ExprEngine::processRegionChanges(const GRState *state, in processRegionChanges()
253 const GRState *St = EntryNode->getState(); in ProcessStmt()
337 const GRState *state = Pred->getState(); in ProcessInitializer()
394 const GRState *state = pred->getState(); in ProcessAutomaticObjDtor()
[all …]
DCoreEngine.cpp165 const GRState *InitState) { in ExecuteWorkList()
250 const GRState *InitState, in ExecuteWorkListWithInitialState()
449 const GRState* State, ExplodedNode* Pred) { in generateNode()
466 GenericNodeBuilderImpl::generateNodeImpl(const GRState *state, in generateNodeImpl()
537 ExplodedNode* Pred, const GRState* St, in MakeNode()
577 StmtNodeBuilder::generateNodeInternal(const Stmt* S, const GRState* state, in generateNodeInternal()
588 const GRState* State, in generateNodeInternal()
605 const GRState* State) { in generateNode()
622 ExplodedNode* BranchNodeBuilder::generateNode(const GRState* State, in generateNode()
660 IndirectGotoNodeBuilder::generateNode(const iterator& I, const GRState* St, in generateNode()
[all …]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DGRState.h71 class GRState : public llvm::FoldingSetNode {
77 void operator=(const GRState& R) const; // Do not implement.
91 const GRState *makeWithStore(const StoreRef &store) const;
98 GRState(GRStateManager *mgr, const Environment& env,
103 GRState(const GRState& RHS);
105 ~GRState();
130 static void Profile(llvm::FoldingSetNodeID& ID, const GRState* V) { in Profile()
171 const GRState *assume(DefinedOrUnknownSVal cond, bool assumption) const;
176 std::pair<const GRState*, const GRState*>
179 const GRState *assumeInBound(DefinedOrUnknownSVal idx,
[all …]
DConstraintManager.h28 class GRState; variable
36 virtual const GRState *assume(const GRState *state, DefinedSVal Cond,
39 std::pair<const GRState*, const GRState*> assumeDual(const GRState *state, in assumeDual()
45 virtual const llvm::APSInt* getSymVal(const GRState *state,
48 virtual bool isEqual(const GRState *state, SymbolRef sym,
51 virtual const GRState *removeDeadBindings(const GRState *state,
54 virtual void print(const GRState *state, llvm::raw_ostream& Out,
57 virtual void EndPath(const GRState *state) {} in EndPath()
DCoreEngine.h80 void generateNode(const ProgramPoint& Loc, const GRState* State,
127 const GRState *InitState);
129 const GRState *InitState,
175 const GRState* CleanedState;
194 void SetCleanedState(const GRState* St) { in SetCleanedState()
206 ExplodedNode* generateNode(PostStmt PP,const GRState* St,ExplodedNode* Pred) { in generateNode()
211 ExplodedNode* generateNode(const Stmt *S, const GRState *St,
222 ExplodedNode* generateNode(const Stmt *S, const GRState *St,
227 ExplodedNode *generateNode(const ProgramPoint &PP, const GRState* State, in generateNode()
234 generateNodeInternal(const ProgramPoint &PP, const GRState* State,
[all …]
DSubEngine.h33 class GRState; variable
49 virtual const GRState* getInitialState(const LocationContext *InitLoc) = 0;
90 virtual const GRState* processAssume(const GRState *state,
95 virtual bool wantsRegionChangeUpdate(const GRState* state) = 0;
99 virtual const GRState *
100 processRegionChanges(const GRState *state,
106 inline const GRState *
107 processRegionChange(const GRState* state, in processRegionChange()
DExprEngine.h65 const GRState* CleanedState;
97 const GRState *InitState, in ExecuteWorkListWithInitialState()
130 const GRState* getInitialState(const LocationContext *InitLoc);
184 const GRState *processAssume(const GRState *state, SVal cond,bool assumption);
188 bool wantsRegionChangeUpdate(const GRState* state);
192 const GRState *
193 processRegionChanges(const GRState *state,
226 const GRState* GetState(ExplodedNode* N) { in GetState()
232 ExplodedNode* Pred, const GRState* St,
405 SVal evalBinOp(const GRState *state, BinaryOperator::Opcode op, in evalBinOp()
[all …]
DCheckerContext.h34 const GRState *ST;
44 const Stmt *stmt = 0, const GRState *st = 0)
74 const GRState *getState() { return ST ? ST : B.GetState(Pred); } in getState()
102 ExplodedNode *generateNode(const Stmt *stmt, const GRState *state,
112 ExplodedNode *generateNode(const GRState *state, ExplodedNode *pred,
121 ExplodedNode *generateNode(const GRState *state, bool autoTransition = true,
131 ExplodedNode *generateSink(const Stmt *stmt, const GRState *state = 0) {
136 ExplodedNode *generateSink(const GRState *state = 0) {
146 void addTransition(const GRState *state, const void *tag = 0) {
166 ExplodedNode *generateNodeImpl(const Stmt* stmt, const GRState *state, in generateNodeImpl()
[all …]
DTransferFuncs.h39 virtual void RegisterPrinters(std::vector<GRState::Printer*>& Printers) {} in RegisterPrinters()
56 const GRState *state) {} in evalObjCMessage()
72 const GRState* state, in evalDeadSymbols()
83 virtual const GRState* evalAssume(const GRState *state, in evalAssume()
DExprEngineBuilders.h29 const GRState* state;
46 const GRState *st, in StmtNodeBuilderRef()
65 const GRState *getState() { return state; } in getState()
71 ExplodedNode* MakeNode(const GRState* state) { in MakeNode()
DSValBuilder.h28 class GRState; variable
75 virtual SVal evalBinOpNN(const GRState *state, BinaryOperator::Opcode op,
78 virtual SVal evalBinOpLL(const GRState *state, BinaryOperator::Opcode op,
81 virtual SVal evalBinOpLN(const GRState *state, BinaryOperator::Opcode op,
86 virtual const llvm::APSInt *getKnownValue(const GRState *state, SVal val) = 0;
88 SVal evalBinOp(const GRState *state, BinaryOperator::Opcode op,
91 DefinedOrUnknownSVal evalEQ(const GRState *state, DefinedOrUnknownSVal lhs,
/external/clang/lib/StaticAnalyzer/Checkers/
DCStringChecker.cpp43 void checkLiveSymbols(const GRState *state, SymbolReaper &SR) const;
45 bool wantsRegionChangeUpdate(const GRState *state) const;
47 const GRState *checkRegionChanges(const GRState *state,
60 const GRState *state,
89 std::pair<const GRState*, const GRState*>
91 const GRState *state, SVal V, QualType Ty);
93 static const GRState *setCStringLength(const GRState *state,
96 const GRState *&state,
99 SVal getCStringLength(CheckerContext &C, const GRState *&state,
104 const GRState *&state,
[all …]
DStreamChecker.cpp99 const GRState *CheckNullStream(SVal SV, const GRState *state,
101 const GRState *CheckDoubleClose(const CallExpr *CE, const GRState *state,
118 const GRState *state = C.getState(); in evalCall()
224 const GRState *state = C.getState(); in OpenFileAux()
234 const GRState *stateNotNull, *stateNull; in OpenFileAux()
250 const GRState *state = CheckDoubleClose(CE, C.getState(), C); in Fclose()
256 const GRState *state = C.getState(); in Fread()
262 const GRState *state = C.getState(); in Fwrite()
268 const GRState *state = C.getState(); in Fseek()
294 const GRState *state = C.getState(); in Ftell()
[all …]
DMallocChecker.cpp83 const GRState *evalAssume(const GRState *state, SVal Cond,
92 static const GRState *MallocMemAux(CheckerContext &C, const CallExpr *CE, in MallocMemAux()
94 const GRState *state) { in MallocMemAux()
97 static const GRState *MallocMemAux(CheckerContext &C, const CallExpr *CE,
99 const GRState *state);
104 const GRState *FreeMemAux(CheckerContext &C, const CallExpr *CE,
105 const GRState *state, unsigned Num, bool Hold) const;
129 const GRState *state = C.getState(); in evalCall()
196 const GRState *state = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), in MallocMem()
208 const GRState *state = in MallocMemReturnsAttr()
[all …]
DArrayBoundCheckerV2.cpp33 void reportOOB(CheckerContext &C, const GRState *errorState,
56 static RegionRawOffsetV2 computeOffset(const GRState *state,
93 const GRState *state = checkerContext.getState(); in checkLocation()
94 const GRState *originalState = state; in checkLocation()
119 const GRState *state_precedesLowerBound, *state_withinLowerBound; in checkLocation()
151 const GRState *state_exceedsUpperBound, *state_withinUpperBound; in checkLocation()
171 const GRState *errorState, in reportOOB()
222 static inline SVal scaleValue(const GRState *state, in scaleValue()
232 static SVal addValue(const GRState *state, SVal x, SVal y, in addValue()
246 RegionRawOffsetV2 RegionRawOffsetV2::computeOffset(const GRState *state, in computeOffset()
DIteratorsChecker.cpp120 const GRState *handleAssign(const GRState *state, const Expr *lexp,
122 const GRState *handleAssign(const GRState *state, const MemRegion *MR,
124 const GRState *invalidateIterators(const GRState *state, const MemRegion *MR,
128 const MemRegion *getRegion(const GRState *state, const Expr *E,
218 const GRState *IteratorsChecker::invalidateIterators(const GRState *state, in invalidateIterators()
237 const GRState *IteratorsChecker::handleAssign(const GRState *state, in handleAssign()
262 const GRState *IteratorsChecker::handleAssign(const GRState *state, in handleAssign()
367 const MemRegion *IteratorsChecker::getRegion(const GRState *state, in getRegion()
385 const GRState *state = C.getState(); in checkExpr()
458 const GRState *state = C.getState(); in checkPreStmt()
[all …]
DOSAtomicChecker.cpp36 const GRState *state = C.getState(); in evalCall()
98 const GRState *state = C.getState(); in evalOSAtomicCompareAndSwap()
129 const GRState *stateLoad = N->getState(); in evalOSAtomicCompareAndSwap()
153 const GRState *stateEqual = stateLoad->assume(Cmp, true); in evalOSAtomicCompareAndSwap()
183 const GRState *stateNew = predNew->getState(); in evalOSAtomicCompareAndSwap()
194 if (const GRState *stateNotEqual = stateLoad->assume(Cmp, false)) { in evalOSAtomicCompareAndSwap()
DUnixAPIChecker.cpp76 const GRState *state = C.getState(); in CheckOpen()
104 const GRState *trueState, *falseState; in CheckOpen()
143 const GRState *state = C.getState(); in CheckPthreadOnce()
185 const GRState *state = C.getState(); in CheckMallocZero()
191 const GRState *trueState, *falseState; in CheckMallocZero()
228 const GRState *state = C.getState(); in checkPreStmt()
DUndefBranchChecker.cpp31 const GRState* St;
33 FindUndefExpr(GRStateManager& V, const GRState* S) : VM(V), St(S) {} in FindUndefExpr()
62 const GRState *state = Builder.getState(); in checkBranchCondition()
92 const GRState* St = N->getState(); in checkBranchCondition()
/external/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h39 class GRState; variable
227 void runCheckersForLiveSymbols(const GRState *state,
237 bool wantsRegionChangeUpdate(const GRState *state);
240 const GRState *
241 runCheckersForRegionChanges(const GRState *state,
247 const GRState *runCheckersForEvalAssume(const GRState *state,
303 typedef CheckerFn<void (const GRState *,SymbolReaper &)> CheckLiveSymbolsFunc;
305 typedef CheckerFn<const GRState * (const GRState *,
311 typedef CheckerFn<bool (const GRState *)> WantsRegionChangeUpdateFunc;
313 typedef CheckerFn<const GRState * (const GRState *,

123