reference, declarationdefinition
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();