|
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 166 return addTransitionImpl(State ? State : getState(), false, nullptr, Tag);
187 return addTransitionImpl(State ? State : getState(), true, Pred, Tag);
tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp 54 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp 128 ProgramStateRef state = checkerContext.getState();
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp 140 ProgramStateRef State = C.getState();
155 ProgramStateRef State = C.getState();
429 ProgramStateRef state = C.getState();
564 ProgramStateRef state = C.getState();
978 ProgramStateRef State = C.getState();
994 C.generateSink(C.getState(), C.getPredecessor());
995 else if (State != C.getState())
1039 ProgramStateRef State = C.getState();
1121 ProgramStateRef State = C.getState();
1158 C.addTransition(assumeExprIsNonNull(E, C.getState(), C));
1188 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/BlockInCriticalSectionChecker.cpp 152 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp 80 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp 34 ProgramStateRef state = C.getState();
56 C.generateSink(C.getState(), C.getPredecessor());
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 1244 ProgramStateRef state = C.getState();
1253 ProgramStateRef state = C.getState();
1262 ProgramStateRef state = C.getState();
1269 evalCopyCommon(C, CE, C.getState(),
1281 ProgramStateRef state = C.getState();
1361 ProgramStateRef state = C.getState();
1543 ProgramStateRef state = C.getState();
1907 ProgramStateRef state = C.getState();
2041 ProgramStateRef State = C.getState();
2104 ProgramStateRef State = C.getState();
2133 ProgramStateRef State = C.getState();
2182 ProgramStateRef State = C.getState();
2277 ProgramStateRef state = C.getState();
2381 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/CXXSelfAssignmentChecker.cpp 47 auto &State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp 173 const ProgramStateRef State = C.getState();
270 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(),
318 ProgramStateRef State = C.getState();
370 ProgramStateRef State = C.getState();
500 HandleNilReceiver(C, C.getState(), msg);
tools/clang/lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp 102 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp 159 ProgramStateRef State = C.getState()->assume(DV, IsNonNullParam);
280 if (ProgramStateRef State = C.getState()->assume(DV, false))
353 std::tie(NonNullState, NullState) = C.getState()->assume(DV);
369 std::tie(NonNullState, NullState) = C.getState()->assume(DV);
tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp 265 ProgramStateRef InitialState = C.getState();
488 ProgramStateRef State = C.getState();
841 ProgramStateRef InitialState = C.getState();
953 ProgramStateRef State = C.getState();
985 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/ChrootChecker.cpp 79 ProgramStateRef state = C.getState();
89 ProgramStateRef state = C.getState();
122 void *const* k = C.getState()->FindGDM(ChrootChecker::getTag());
tools/clang/lib/StaticAnalyzer/Checkers/ConversionChecker.cpp 107 ExplodedNode *N = C.generateNonFatalErrorNode(C.getState());
tools/clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp 217 ProgramStateRef state = C.getState();
260 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp 80 std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
88 bool TaintedD = isTainted(C.getState(), *DV);
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypeChecker.cpp 164 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp 116 ProgramStateRef State = removeDeadTypes(C.getState(), SR);
139 ProgramStateRef State = C.getState();
198 ProgramStateRef State = C.getState();
302 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(),
354 QualType OldDTy = getDynamicTypeInfo(C.getState(), ToR).getType();
534 ProgramStateRef State = C.getState();
706 ProgramStateRef State = C.getState();
823 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/EnumCastOutOfRangeChecker.cpp 42 : CompareValue(CompareValue), PS(C.getState()), SVB(C.getSValBuilder()) {}
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp 236 ProgramStateRef State = C.getState();
244 C.getState()->dump();
256 ProgramStateRef State = C.getState();
263 ProgramStateRef State = C.getState();
334 ProgramStateRef State = C.getState();
336 C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E));
403 SymbolExpressor V(C.getState());
tools/clang/lib/StaticAnalyzer/Checkers/GTestChecker.cpp 134 ProgramStateRef State = C.getState();
140 BooleanArgVal = C.getState()->getSVal(BooleanArgVal.castAs<Loc>());
169 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp 496 ProgramStateRef State = C.getState();
525 if (State != C.getState()) {
560 ProgramStateRef State = C.getState();
586 ProgramStateRef State = C.getState();
663 ProgramStateRef State = C.getState();
726 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp 196 ProgramStateRef State = C.getState();
236 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp 700 auto State = C.getState();
751 auto State = C.getState();
768 auto State = C.getState();
816 auto State = C.getState();
859 auto State = C.getState();
926 auto State = C.getState();
938 auto State = C.getState();
953 auto State = C.getState();
971 auto State = C.getState();
992 auto State = C.getState();
1027 auto State = C.getState();
1074 auto State = C.getState();
1103 auto State = C.getState();
1148 auto State = C.getState();
1170 auto State = C.getState();
1187 auto State = C.getState();
1207 auto State = C.getState();
1282 auto State = C.getState();
1308 auto State = C.getState();
1344 auto State = C.getState();
1383 auto State = C.getState();
1415 auto State = C.getState();
1442 auto State = C.getState();
1467 auto State = C.getState();
1496 auto State = C.getState();
1528 auto State = C.getState();
1549 auto State = C.getState();
1565 auto State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/LocalizationChecker.cpp 675 const LocalizedState *LS = C.getState()->get<LocalizedMemMap>(mt);
688 const LocalizedState *LS = C.getState()->get<LocalizedMemMap>(mt);
701 C.getState()->set<LocalizedMemMap>(mt, LocalizedState::getLocalized());
711 ProgramStateRef State = C.getState()->set<LocalizedMemMap>(
758 ExplodedNode *ErrNode = C.addTransition(C.getState(), C.getPredecessor(), &Tag);
tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp 190 C.addTransition(C.getState()->add<RefCountedParameters>(PVD));
205 ProgramStateRef State = C.getState();
226 ProgramStateRef State = C.getState();
237 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy));
265 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp 39 ProgramStateRef State = Ctx.getState();
74 ProgramStateRef State = Ctx.getState();
102 ProgramStateRef State = Ctx.getState();
164 Ctx.getState(), SuperRegion,
tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp 210 ProgramStateRef State = C.getState();
228 ProgramStateRef State = C.getState();
252 ProgramStateRef State = C.getState();
404 ProgramStateRef State = C.getState();
543 ProgramStateRef State = C.getState();
570 ExplodedNode *N = C.generateNonFatalErrorNode(C.getState(), &Tag);
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1049 ProgramStateRef State = C.getState();
1063 ProgramStateRef State = C.getState();
1349 ProgramStateRef State = C.getState();
1429 ProgramStateRef State = C.getState();
1474 FreeMemAux(C, Call.getArgExpr(0), Call.getOriginExpr(), C.getState(),
1950 if (C.getState()->contains<ReallocSizeZeroSymbols>(Sym))
1953 const RefState *RS = C.getState()->get<RegionState>(Sym);
2250 C.getState()->get<RegionState>(Sym)->getAllocationFamily();
2561 const RefState *RS = C.getState()->get<RegionState>(Sym);
2620 ProgramStateRef state = C.getState();
2638 C.getState()->get<ReallocPairs>());
2640 C.getState()->get<FreeReturnValue>());
2666 N = C.generateNonFatalErrorNode(C.getState(), &Tag);
2745 ProgramStateRef State = C.getState();
2774 ProgramStateRef state = C.getState();
2803 const RefState *RS = C.getState()->get<RegionState>(Sym);
2825 ProgramStateRef State = C.getState();
2851 if (const RefState *RS = C.getState()->get<RegionState>(Sym)) {
2855 else if (C.getState()->contains<ReallocSizeZeroSymbols>(Sym)) {
tools/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp 448 ProgramStateRef State = C.getState();
603 ProgramStateRef State = C.getState();
686 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp 210 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/NoReturnFunctionChecker.cpp 84 C.generateSink(C.getState(), C.getPredecessor());
93 C.generateSink(C.getState(), C.getPredecessor());
139 C.generateSink(C.getState(), C.getPredecessor());
tools/clang/lib/StaticAnalyzer/Checkers/NonNullParamChecker.cpp 76 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/NonnullGlobalConstantsChecker.cpp 74 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 451 ProgramStateRef State = C.getState();
531 ProgramStateRef State = C.getState();
645 ProgramStateRef State = C.getState();
756 ProgramStateRef State = C.getState();
825 ProgramStateRef State = C.getState();
940 ProgramStateRef State = C.getState();
1064 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp 40 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp 70 ProgramStateRef State = C.getState();
117 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp 114 return getSelfFlags(val, C.getState());
148 if (!C.getState()->get<CalledInit>())
178 ProgramStateRef state = C.getState();
244 ProgramStateRef state = C.getState();
272 ProgramStateRef state = C.getState();
309 ProgramStateRef state = C.getState();
329 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp 85 ProgramStateRef State = C.getState();
118 ProgramStateRef State = C.getState();
135 ProgramStateRef State = C.getState();
201 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/PointerArithChecker.cpp 108 ProgramStateRef State = C.getState();
130 ProgramStateRef State = C.getState();
155 ProgramStateRef State = C.getState();
219 ProgramStateRef State = C.getState();
248 ProgramStateRef State = C.getState();
263 ProgramStateRef State = C.getState();
281 ProgramStateRef State = C.getState();
325 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp 224 ProgramStateRef state = C.getState();
295 ProgramStateRef state = C.getState();
354 ProgramStateRef State = C.getState();
415 ProgramStateRef State = C.getState();
464 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 154 ProgramStateRef state = C.getState();
210 ProgramStateRef state = C.getState();
231 ProgramStateRef state = C.getState();
291 ProgramStateRef State = C.getState();
373 if (const RefVal *T = getRefBinding(C.getState(), Sym))
451 ProgramStateRef state = C.getState();
608 ProgramStateRef state = C.getState();
891 ProgramStateRef state = C.getState();
944 ProgramStateRef NullOutputState = C.getState();
982 ProgramStateRef state = C.getState();
1139 ProgramStateRef state = C.getState();
1343 ProgramStateRef state = Ctx.getState();
1413 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/ReturnPointerRangeChecker.cpp 36 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp 106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);
tools/clang/lib/StaticAnalyzer/Checkers/ReturnValueChecker.cpp 79 return C.getState()->isNull(*ReturnDV).isConstrainedTrue();
81 return C.getState()->isNull(*ReturnDV).isConstrainedFalse();
112 ProgramStateRef State = C.getState();
127 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp 131 ProgramStateRef State = C.getState();
150 ProgramStateRef State = C.getState();
176 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/SmartPtrModeling.cpp 50 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp 143 SVal Val = C.getState()->getSVal(I.getCapturedRegion());
295 ProgramStateRef State = Ctx.getState();
tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp 355 ProgramStateRef State = C.getState();
387 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp 215 ProgramStateRef state = C.getState();
242 ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C);
248 ProgramStateRef state = C.getState();
254 ProgramStateRef state = C.getState();
260 ProgramStateRef state = C.getState();
286 ProgramStateRef state = C.getState();
292 ProgramStateRef state = C.getState();
298 ProgramStateRef state = C.getState();
304 ProgramStateRef state = C.getState();
310 ProgramStateRef state = C.getState();
316 ProgramStateRef state = C.getState();
322 ProgramStateRef state = C.getState();
328 ProgramStateRef state = C.getState();
390 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/TaintTesterChecker.cpp 48 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp 141 return !CM.assume(C.getState(), *DSV, true);
149 ProgramStateRef State = C.getState();
162 return C.getState()->contains<DivZeroMap>(ZS);
166 if (ExplodedNode *N = C.generateErrorNode(C.getState())) {
183 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp 86 ProgramStateRef State = C.getState();
101 ProgramStateRef State = C.getState();
134 ProgramStateRef State = C.getState();
188 ConditionTruthVal TV = C.getState()->isNonNull(Receiver);
tools/clang/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp 56 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp 38 ProgramStateRef state = C.getState();
68 ProgramStateRef State = C.getState();
138 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS()));
155 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp 160 FindUninitializedFields F(Context.getState(), R, Opts);
218 ProgramStateRef State = C.getState();
464 SVal ObjectV = Context.getState()->getSVal(ThisLoc);
tools/clang/lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp 181 ProgramStateRef state = C.getState();
284 ProgramStateRef state = C.getState();
373 ProgramStateRef state = C.getState();
398 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp 97 ProgramStateRef state = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/ValistChecker.cpp 146 if (C.getState()->contains<InitializedVALists>(VAList))
178 Reg = C.getState()->getSVal(SV.castAs<Loc>()).getAsRegion();
188 ProgramStateRef State = C.getState();
205 ProgramStateRef State = C.getState();
316 ProgramStateRef State = C.getState();
368 if (!C.getState()->contains<InitializedVALists>(VAList)) {
373 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/VforkChecker.cpp 122 if (ExplodedNode *N = C.generateErrorNode(C.getState())) {
146 ProgramStateRef State = C.getState();
175 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal);
184 ProgramStateRef State = C.getState();
193 ProgramStateRef State = C.getState();
210 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp 107 ProgramStateRef State = C.getState();
171 ProgramStateRef State = C.getState();
tools/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp 125 return evalComparison(getSVal(E), BO_GE, V, getState());
130 return evalComparison(getSVal(E), BO_LT, V, getState());