|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Declarations
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h 411 set(typename ProgramStateTrait<T>::key_type K,
References
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp 923 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption);
1042 State = State->set<ContainerCountMap>(ContainerS, CountS);
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 750 return state->set<CStringLength>(MR, strLength);
786 state = state->set<CStringLength>(MR, strLength);
2304 state = state->set<CStringLength>(MR, strLength);
tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp 299 State = State->set<UnreleasedIvarMap>(SelfSymbol, RequiredReleases);
587 State = State->set<UnreleasedIvarMap>(SelfSym, NewUnreleased);
880 return State->set<UnreleasedIvarMap>(Instance, NewUnreleased);
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp 478 State = State->set<MostSpecializedTypeArgsMap>(Sym, StaticLowerBound);
484 State = State->set<MostSpecializedTypeArgsMap>(Sym, WithMostInfo);
502 State = State->set<MostSpecializedTypeArgsMap>(Sym, WithMostInfo);
510 State = State->set<MostSpecializedTypeArgsMap>(Sym, WithMostInfo);
840 State = State->set<MostSpecializedTypeArgsMap>(RetSym, InferredType);
894 State = State->set<MostSpecializedTypeArgsMap>(RetSym, ResultPtrType);
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp 336 C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E));
tools/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp 217 State = State->set<RawPtrMap>(ObjRegion, Set);
253 : State->set<RawPtrMap>(Entry.first, CleanedUpSet);
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp 1995 return State->set<ContainerMap>(Cont, CData);
2015 return State->set<IteratorRegionMap>(Reg, Pos);
2017 return State->set<IteratorSymbolMap>(Sym, Pos);
2019 return State->set<IteratorRegionMap>(LCVal->getRegion(), Pos);
tools/clang/lib/StaticAnalyzer/Checkers/LocalizationChecker.cpp 701 C.getState()->set<LocalizedMemMap>(mt, LocalizedState::getLocalized());
711 ProgramStateRef State = C.getState()->set<LocalizedMemMap>(
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp 51 State = State->set<RequestMap>(MR, Request::State::Nonblocking);
81 State = State->set<RequestMap>(ReqRegion, Request::State::Wait);
tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp 440 State = State->set<AllocatedData>(V, AllocationState(ArgExpr, idx,
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1277 return TrueState->set<RegionState>(Sym,
1575 return State->set<RegionState>(Sym, RefState::getAllocated(Family, E));
1887 State = State->set<FreeReturnValue>(SymBase, RetStatusSymbol);
1896 return State->set<RegionState>(SymBase,
1900 return State->set<RegionState>(SymBase,
2488 stateRealloc = stateRealloc->set<ReallocPairs>(ToPtr,
2830 State = State->set<RegionState>(Sym, RefState::getEscaped(RS));
2908 state = state->set<RegionState>(ReallocSym,
3138 State = State->set<RegionState>(sym, RefState::getEscaped(RS));
3387 return State->set<RegionState>(Sym, RefState::getReleased(Family, Origin));
tools/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp 386 State = State->set<TrackedRegionMap>(Region, RegionState::getReported());
490 State = State->set<TrackedRegionMap>(ArgRegion, RegionState::getMoved());
tools/clang/lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp 184 C.addTransition(state->set<T>(sym, true));
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 631 State = State->set<NullabilityMap>(Region,
734 State = State->set<NullabilityMap>(
769 State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
779 State = State->set<NullabilityMap>(Region, Nullability::Nullable);
849 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);
859 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted);
871 State = State->set<NullabilityMap>(ReturnRegion,
899 State = State->set<NullabilityMap>(
921 State = State->set<NullabilityMap>(
960 State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
972 State = State->set<NullabilityMap>(Region,
980 State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
1156 State = State->set<NullabilityMap>(
1164 State = State->set<NullabilityMap>(
tools/clang/lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp 83 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>()));
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp 121 state = state->set<SelfFlag>(sym, getSelfFlags(val, state) | flag);
tools/clang/lib/StaticAnalyzer/Checkers/PointerArithChecker.cpp 236 State = State->set<RegionState>(Region, AllocKind::Array);
253 State = State->set<RegionState>(Region, Kind);
271 State = State->set<RegionState>(Region, AllocKind::Reinterpreted);
292 State = State->set<RegionState>(Region, AllocKind::Array);
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp 173 state = state->set<LockMap>(lockR, LockState::getUnlocked());
175 state = state->set<LockMap>(lockR, LockState::getDestroyed());
284 lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());
342 state = state->set<LockMap>(lockR, LockState::getUnlocked());
371 State = State->set<DestroyRetVal>(LockR, sym);
373 State = State->set<LockMap>(
376 State = State->set<LockMap>(
383 State = State->set<LockMap>(LockR, LockState::getDestroyed());
423 State = State->set<LockMap>(LockR, LockState::getUnlocked());
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 39 return State->set<RefBindings>(Sym, Val);
tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp 132 State = State->set<StreamMap>(FileDesc, StreamState::getOpened());
158 State = State->set<StreamMap>(FileDesc, StreamState::getClosed());
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp 232 stateNotNull->set<StreamMap>(Sym,StreamState::getOpened(CE));
234 stateNull->set<StreamMap>(Sym, StreamState::getOpenFailed(CE));
385 return state->set<StreamMap>(Sym, StreamState::getClosed(CE));
tools/clang/lib/StaticAnalyzer/Checkers/Taint.cpp 92 ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind);
115 ProgramStateRef NewState = State->set<DerivedSymTaint>(ParentSym, Regs);
tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp 122 State = State->set<NonNullImplicationMap>(RetS, ArgS);
126 State = State->set<NullImplicationMap>(ArgS, RetS);
tools/clang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp 180 State = State->set<CtorDtorMap>(Reg, ObjectState::CtorCalled);
194 State = State->set<CtorDtorMap>(Reg, ObjectState::DtorCalled);
tools/clang/lib/StaticAnalyzer/Core/DynamicType.cpp 81 State = State->set<DynamicTypeMap>(MR->StripCasts(), NewTy);
102 State = State->set<DynamicTypeMap>(MR, CastToTy);
115 State = State->set<DynamicCastMap>(MR, Set);
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 470 return State->set<ObjectsUnderConstruction>(Key, V);
496 return State->set<ObjectsUnderConstruction>(Key, UnknownVal());
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp 1080 State->set<DynamicDispatchBifurcationMap>(BifurReg,
1085 State->set<DynamicDispatchBifurcationMap>(BifurReg,
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp 570 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
585 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
621 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
657 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
693 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
736 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
746 return Out.isEmpty() ? nullptr : State->set<ConstraintRange>(Sym, Out);
755 return New.isEmpty() ? nullptr : State->set<ConstraintRange>(Sym, New);