|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h 51 assert(Pred->getState() &&
71 const ProgramStateRef &getState() const { return Pred->getState(); }
340 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h 178 return getState()->getSVal(S, getLocationContext());
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypeChecker.cpp 93 ProgramStateRef State = N->getState();
94 ProgramStateRef StatePrev = N->getFirstPred()->getState();
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp 926 ProgramStateRef state = N->getState();
927 ProgramStateRef statePrev = N->getFirstPred()->getState();
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp 110 ProgramStateRef State = N->getState();
tools/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp 283 if (!isSymbolTracked(N->getState(), PtrToBuf) ||
284 isSymbolTracked(N->getFirstPred()->getState(), PtrToBuf))
292 allocation_state::getContainerObjRegion(N->getState(), PtrToBuf);
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.cpp 95 const Request *const Req = N->getState()->get<RequestMap>(RequestRegion);
99 N->getFirstPred()->getState()->get<RequestMap>(RequestRegion);
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp 47 Ctx.addTransition(ErrorNode->getState(), ErrorNode);
85 State = ErrorNode->getState();
117 State = ErrorNode->getState();
tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp 458 if (!N->getState()->get<AllocatedData>(Sym))
624 const AllocationState *AS = N->getState()->get<AllocatedData>(Sym);
628 N->getFirstPred()->getState()->get<AllocatedData>(Sym);
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 2522 ProgramStateRef State = N->getState();
3173 ProgramStateRef state = N->getState();
3174 ProgramStateRef statePrev = N->getFirstPred()->getState();
tools/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp 281 ProgramStateRef State = N->getState();
282 ProgramStateRef StatePrev = N->getFirstPred()->getState();
340 ProgramStateRef State = N->getState();
tools/clang/lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp 243 ProgramStateRef state = event.SinkNode->getState();
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 296 ProgramStateRef State = N->getState();
297 ProgramStateRef StatePrev = N->getFirstPred()->getState();
436 ProgramStateRef OriginalState = N->getState();
475 if (Event.SinkNode->getState()->get<InvariantViolated>())
483 ProgramStateRef State = Event.SinkNode->getState();
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp 252 ProgramStateRef State = Succ->getState();
255 Succ->getState()->contains<CalledSuperDealloc>(ReceiverSymbol);
257 Succ->getFirstPred()->getState()->contains<CalledSuperDealloc>(
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 274 ProgramStateRef State = Pred->getState();
1376 ProgramStateRef state = Pred->getState();
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp 381 CallEventRef<> Call = CEMgr.getCaller(N->getStackFrame(), N->getState());
393 const RefVal *CountBeforeCall = getRefBinding(CN->getState(), SR);
394 const RefVal *CountAtExit = getRefBinding(N->getState(), SR);
429 const RefVal *CurrT = getRefBinding(N->getState(), Sym);
432 getRefBinding(N->getFirstPred()->getState(), Sym))
478 ProgramStateRef PrevSt = PrevNode->getState();
479 ProgramStateRef CurrSt = N->getState();
643 ProgramStateRef St = N->getState();
757 const RefVal* RV = getRefBinding(EndN->getState(), Sym);
tools/clang/lib/StaticAnalyzer/Checkers/Taint.cpp 212 if (!isTainted(N->getState(), V) ||
213 isTainted(N->getFirstPred()->getState(), V))
tools/clang/lib/StaticAnalyzer/Checkers/UndefBranchChecker.cpp 89 ProgramStateRef St = N->getState();
93 St = PrevN->getState();
tools/clang/lib/StaticAnalyzer/Checkers/ValistChecker.cpp 232 ProgramStateRef State = N->getState();
380 ProgramStateRef State = N->getState();
381 ProgramStateRef StatePrev = N->getFirstPred()->getState();
tools/clang/lib/StaticAnalyzer/Core/BugReporter.cpp 310 SVal PSV = N->getState()->getSVal(Reg->getRegion());
2344 ErrorNode->getState()->getStateManager().getContext().getSourceManager();
2569 OrigN->getLocation(), OrigN->getState(),
tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp 179 LLCV->getStore() == LeftNode->getState()->getStore() &&
180 RLCV->getStore() == RightNode->getState()->getStore();
185 ProgramStateRef State = N->getState();
268 ProgramStateRef State = N->getState();
269 ProgramStateManager &Mgr = N->getState()->getStateManager();
283 SVal ValueAtN = N->getState()->getSVal(RegionOfInterest);
550 ProgramStateRef State = N->getState();
620 ProgramStateRef LastReturnState = N->getState();
626 ProgramStateRef State = N->getState();
833 AnalyzerOptions &Options = N->getState()->getAnalysisManager().options;
854 ProgramStateRef State = N->getState();
981 ProgramStateRef State = Node->getState();
1020 ProgramStateRef State = N->getState();
1151 ProgramStateRef State = N->getState();
1396 if (Succ->getState()->getSVal(R) != V)
1399 if (hasVisibleUpdate(Pred, Pred->getState()->getSVal(R), Succ, V)) {
1426 Succ->getState());
1481 ProgramStateRef State = StoreSite->getState();
1542 return N->getState()->isNull(Constraint).isUnderconstrained();
1543 return (bool)N->getState()->assume(Constraint, !Assumption);
1606 AnalyzerOptions &Options = N->getState()->getAnalysisManager().options;
1610 assert(N->getState()->isNull(V).isConstrainedTrue() &&
1635 if (Succ->getState()->isNull(V).isConstrainedTrue())
1642 if (!Pred->getState()->isNull(V).isConstrainedTrue()) {
1645 assert(Succ->getState()->isNull(V).isConstrainedTrue());
1840 ProgramStateManager &StateMgr = N->getState()->getStateManager();
1947 ProgramStateRef LVState = LVNode->getState();
2086 ProgramStateRef state = N->getState();
2252 ProgramStateRef CurrentState = N->getState();
2253 ProgramStateRef PrevState = N->getFirstPred()->getState();
2352 const ProgramState *state = N->getState().get();
2358 const ProgramState *state = N->getState().get();
2765 ProgramStateRef State = N->getState();
2859 const ConstraintRangeTy &NewCs = N->getState()->get<ConstraintRange>();
2861 N->getState()->get_context<ConstraintRange>();
tools/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp 233 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C);
291 checkFn(*Call.cloneWithState(Pred->getState()), C);
tools/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp 233 Pred = Bldr.generateNode(P, Pred->getState(), Pred);
556 ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew);
572 ExplodedNode *Node = G.getNode(Loc, N->getState(), false, &isNew);
tools/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp 116 ProgramStateRef state = node->getState();
117 ProgramStateRef pred_state = pred->getState();
288 getFirstPred()->getState()->getID() == getState()->getID() &&
288 getFirstPred()->getState()->getID() == getState()->getID() &&
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 705 ProgramStateRef CleanedState = Pred->getState();
747 ProgramStateRef CheckerState = I->getState();
753 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) &&
756 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) &&
805 ProgramStateRef NewState = Pred->getState();
830 ProgramStateRef State = Pred->getState();
896 ProgramStateRef State = I->getState();
945 Bldr.generateNode(PP, Pred->getState(), Pred);
956 ProgramStateRef state = Pred->getState();
987 ProgramStateRef State = Pred->getState();
1003 Bldr.generateNode(PP, Pred->getState(), Pred);
1031 SVal ThisVal = Pred->getState()->getSVal(ThisPtr);
1048 ProgramStateRef State = Pred->getState();
1072 ProgramStateRef State = Pred->getState();
1136 ProgramStateRef State = Pred->getState();
1161 ProgramStateRef State = Node->getState();
1287 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState());
1323 ProgramStateRef state = Pred->getState();
1439 ProgramStateRef State = I->getState();
1474 ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result);
1525 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState());
1539 ProgramStateRef state = Pred->getState();
1570 ProgramStateRef State = Pred->getState();
1760 Bldr.generateSink(S, Pred, Pred->getState());
1802 ProgramStateRef state = Pred->getState();
1827 ProgramStateRef state = Pred->getState();
1887 ProgramStateRef NewNodeState = BeforeProcessingCall->getState();
1921 if (NewState != Pred->getState()) {
1929 if(isUnrolledState(Pred->getState()))
1945 getWidenedLoopState(Pred->getState(), LCtx, BlockCount, Term);
1954 nodeBuilder.generateSink(Pred->getState(), Pred, &tag);
2103 NullCondBldr.generateNode(Pred->getState(), true, Pred);
2127 ProgramStateRef PrevState = PredI->getState();
2195 ProgramStateRef state = Pred->getState();
2265 ProgramStateRef State = Pred->getState();
2270 Pred->getStackFrame(), Pred->getState()));
2301 if (State != Pred->getState()) {
2312 assert(areAllObjectsFullyConstructed(Pred->getState(),
2424 ProgramStateRef state = Pred->getState();
2532 ProgramStateRef state = Node->getState();
2580 ProgramStateRef state = I->getState();
2653 ProgramStateRef State = I->getState();
2780 ProgramStateRef state = Pred->getState();
2787 ProgramStateRef state = PredI->getState();
2862 state = I->getState();
2893 if (Pred->getState() != state) {
2937 ProgramStateRef state = Pred->getState();
2974 ProgramStateRef state = Pred->getState();
2990 Bldr.generateNode(A, Pred, Pred->getState());
3006 N->getState()->getStateManager().getOwningEngine()).getBugReporter();
3017 if (EN->getState() == N->getState() &&
3017 if (EN->getState() == N->getState() &&
3058 ProgramStateRef State = N->getState();
tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp 56 ProgramStateRef state = (*it)->getState();
139 state = (*I)->getState();
207 ProgramStateRef State = Pred->getState();
311 ProgramStateRef state = subExprNode->getState();
330 ProgramStateRef state = Pred->getState();
357 ProgramStateRef state = Pred->getState();
554 ProgramStateRef State = Pred->getState();
594 ProgramStateRef state = N->getState();
659 ProgramStateRef state = Pred->getState();
715 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());
724 X = evalBinOp(N->getState(), BO_NE,
737 ProgramStateRef state = Pred->getState();
789 ProgramStateRef state = Pred->getState();
806 SrcState = N->getState();
857 Pred->getState()->BindExpr(OOE, Pred->getLocationContext(),
897 ProgramStateRef state = (*I)->getState();
918 ProgramStateRef state = (*I)->getState();
954 ProgramStateRef state = (*I)->getState();
969 ProgramStateRef state = (*I)->getState();
983 ProgramStateRef State = (*I)->getState();
1008 ProgramStateRef state = (*I)->getState();
1068 ProgramStateRef state = Pred->getState();
1079 state = (*I)->getState();
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp 31 ProgramStateRef state = Pred->getState();
78 V = Pred->getState()->getSVal(*L);
88 ProgramStateRef State = (*I)->getState();
399 ProgramStateRef State = Pred->getState();
485 if (State != Pred->getState()) {
511 ProgramStateRef State = (*I)->getState();
578 Bldr.generateSink(CE, N, N->getState());
610 ProgramStateRef State = Pred->getState();
624 Bldr.generateNode(PP, Pred->getState(), Pred);
641 Pred->getState(), Pred);
671 ProgramStateRef State = Pred->getState();
706 ProgramStateRef State = I->getState();
732 CNE, *getObjectUnderConstruction(I->getState(), CNE, LCtx), Dst, I,
752 ProgramStateRef State = Pred->getState();
850 ProgramStateRef state = Pred->getState();
866 ProgramStateRef state = Pred->getState();
884 ProgramStateRef state = Pred->getState();
898 ProgramStateRef State = Pred->getState();
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp 56 ProgramStateRef state = Pred->getState();
213 ProgramStateRef state = CEBNode->getState();
308 ProgramStateRef CEEState = (*I == CEBNode) ? state : (*I)->getState();
334 *getObjectUnderConstruction(I->getState(), CNE,
506 = CEMgr.getSimpleCall(CE, Pred->getState(), Pred->getLocationContext());
552 ProgramStateRef State = Pred->getState();
1006 ProgramStateRef State = Pred->getState();
1062 ProgramStateRef State = Pred->getState();
1102 B.generateNode(RS, *it, (*it)->getState());
tools/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp 24 ProgramStateRef state = Pred->getState();
53 ProgramStateRef state = Pred->getState();
116 ProgramStateRef state = Pred->getState();
155 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext());
192 ProgramStateRef State = Pred->getState();
247 ProgramStateRef State = Pred->getState();
266 Bldr.generateSink(ME, Pred, Pred->getState());
tools/clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp 253 auto State = Pred->getState();