| /external/clang/lib/StaticAnalyzer/Core/ |
| ProgramState.cpp | 89 ProgramStateRef
90 ProgramStateManager::removeDeadBindings(ProgramStateRef state,
110 ProgramStateRef Result = getPersistentState(NewState);
114 ProgramStateRef ProgramState::bindLoc(Loc LV, SVal V, bool notifyChanges) const {
116 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
125 ProgramStateRef ProgramState::bindDefault(SVal loc, SVal V) const {
129 ProgramStateRef new_state = makeWithStore(newStore);
138 ProgramStateRef
155 ProgramStateRef
168 ProgramStateRef
[all...] |
| ExprEngineObjC.cpp | 25 ProgramStateRef state = Pred->getState();
75 ProgramStateRef state = Pred->getState();
96 ProgramStateRef state = Pred->getState();
101 ProgramStateRef hasElems = state->BindExpr(S, LCtx, TrueV);
105 ProgramStateRef noElems = state->BindExpr(S, LCtx, FalseV);
157 ProgramStateRef State = Pred->getState();
167 ProgramStateRef notNilState, nilState;
|
| ExprEngine.cpp | 94 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) {
95 ProgramStateRef state = StateMgr.getInitialState(InitLoc);
131 if (ProgramStateRef newState = state->assume(*Constraint, true))
172 ProgramStateRef
173 ExprEngine::createTemporaryRegionIfNeeded(ProgramStateRef State,
250 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state,
255 bool ExprEngine::wantsRegionChangeUpdate(ProgramStateRef state) {
259 ProgramStateRef
260 ExprEngine::processRegionChanges(ProgramStateRef state
[all...] |
| ExprEngineCXX.cpp | 30 ProgramStateRef state = Pred->getState();
76 ProgramStateRef State = (*I)->getState();
92 static SVal makeZeroElementRegion(ProgramStateRef State, SVal LValue,
110 ProgramStateRef State = Pred->getState();
181 ProgramStateRef State = Pred->getState();
251 ProgramStateRef State = (*I)->getState();
306 ProgramStateRef State = Pred->getState();
347 ProgramStateRef State = Pred->getState();
404 ProgramStateRef State = Pred->getState();
478 ProgramStateRef state = Pred->getState()
[all...] |
| ExprEngineC.cpp | 38 ProgramStateRef state = (*it)->getState();
197 ProgramStateRef State = Pred->getState();
237 ProgramStateRef state = subExprNode->getState();
256 ProgramStateRef state = Pred->getState();
283 ProgramStateRef state = Pred->getState();
415 ProgramStateRef State = Pred->getState();
463 ProgramStateRef state = N->getState();
522 ProgramStateRef state = Pred->getState();
564 ProgramStateRef StTrue, StFalse;
590 ProgramStateRef state = Pred->getState()
[all...] |
| CheckerContext.cpp | 23 ProgramStateRef State = getState();
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CStringChecker.cpp | 64 void checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const;
66 bool wantsRegionChangeUpdate(ProgramStateRef state) const;
68 ProgramStateRef
69 checkRegionChanges(ProgramStateRef state,
83 ProgramStateRef state,
122 std::pair<ProgramStateRef , ProgramStateRef >
124 ProgramStateRef state, SVal V, QualType Ty);
126 static ProgramStateRef setCStringLength(ProgramStateRef state
[all...] |
| ObjCSelfInitChecker.cpp | 82 void printState(raw_ostream &Out, ProgramStateRef State,
107 static SelfFlagEnum getSelfFlags(SVal val, ProgramStateRef state) {
118 static void addSelfFlag(ProgramStateRef state, SVal val,
180 ProgramStateRef state = C.getState();
246 ProgramStateRef state = C.getState();
274 ProgramStateRef state = C.getState();
311 ProgramStateRef state = C.getState();
331 ProgramStateRef State = C.getState();
339 void ObjCSelfInitChecker::printState(raw_ostream &Out, ProgramStateRef State,
|
| FixedAddressChecker.cpp | 47 ProgramStateRef state = C.getState();
|
| ObjCContainersChecker.cpp | 63 ProgramStateRef State = C.getState();
111 ProgramStateRef State = C.getState();
133 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
134 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
|
| TaintTesterChecker.cpp | 46 ProgramStateRef State = C.getState();
|
| VLASizeChecker.cpp | 37 ProgramStateRef State,
46 ProgramStateRef State,
94 ProgramStateRef state = C.getState();
116 ProgramStateRef stateNotZero, stateZero;
|
| DereferenceChecker.cpp | 35 void reportBug(ProgramStateRef State, const Stmt *S, CheckerContext &C,
90 void DereferenceChecker::reportBug(ProgramStateRef State, const Stmt *S,
201 ProgramStateRef state = C.getState();
203 ProgramStateRef notNullState, nullState;
240 ProgramStateRef State = C.getState();
242 ProgramStateRef StNonNull, StNull;
|
| PthreadLockChecker.cpp | 83 ProgramStateRef state = C.getState();
132 ProgramStateRef state = C.getState();
160 ProgramStateRef lockSucc = state;
163 ProgramStateRef lockFail;
201 ProgramStateRef state = C.getState();
259 ProgramStateRef State = C.getState();
294 ProgramStateRef State = C.getState();
|
| BasicObjCFoundationChecks.cpp | 140 ProgramStateRef State = C.getState();
156 ProgramStateRef State = C.getState();
432 ProgramStateRef state = C.getState();
548 ProgramStateRef state = C.getState();
588 ProgramStateRef stateTrue, stateFalse;
853 ProgramStateRef checkPointerEscape(ProgramStateRef State,
885 static ProgramStateRef checkCollectionNonNil(CheckerContext &C,
886 ProgramStateRef State,
896 ProgramStateRef StNonNil, StNil
[all...] |
| ExprInspectionChecker.cpp | 62 ProgramStateRef State = N->getState();
70 ProgramStateRef StTrue, StFalse;
|
| MacOSXAPIChecker.cpp | 59 ProgramStateRef state = C.getState();
|
| NSErrorChecker.cpp | 174 static bool hasFlag(SVal val, ProgramStateRef state) {
182 static void setFlag(ProgramStateRef state, SVal val, CheckerContext &C) {
212 ProgramStateRef state = C.getState();
245 ProgramStateRef state = event.SinkNode->getState();
|
| PointerArithChecker.cpp | 39 ProgramStateRef state = C.getState();
|
| PointerSubChecker.cpp | 42 ProgramStateRef state = C.getState();
|
| UndefinedAssignmentChecker.cpp | 65 ProgramStateRef state = C.getState();
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 344 void runCheckersForLiveSymbols(ProgramStateRef state,
359 bool wantsRegionChangeUpdate(ProgramStateRef state);
372 ProgramStateRef
373 runCheckersForRegionChanges(ProgramStateRef state,
394 ProgramStateRef
395 runCheckersForPointerEscape(ProgramStateRef State,
402 ProgramStateRef runCheckersForEvalAssume(ProgramStateRef state,
425 void runCheckersForPrintState(raw_ostream &Out, ProgramStateRef State,
476 typedef CheckerFn<void (ProgramStateRef,SymbolReaper &)> CheckLiveSymbolsFunc
[all...] |
| Checker.h | 263 static void _checkLiveSymbols(void *checker, ProgramStateRef state,
293 static ProgramStateRef
295 ProgramStateRef state,
305 ProgramStateRef state) {
322 static ProgramStateRef
324 ProgramStateRef State,
365 static ProgramStateRef
367 ProgramStateRef State,
424 static ProgramStateRef _evalAssume(void *checker,
425 ProgramStateRef state
[all...] |
| /external/clang/examples/analyzer-plugin/ |
| MainCallChecker.cpp | 19 const ProgramStateRef state = C.getState();
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 93 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
98 virtual SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op,
104 virtual SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
109 virtual const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal val) = 0;
112 SVal makeSymExprValNN(ProgramStateRef state, BinaryOperator::Opcode op,
115 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
118 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
|
