reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Definitions

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
  633   template <typename T>
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h
  128 class ConstraintRange {};
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
   24 REGISTER_TRAIT_WITH_PROGRAMSTATE(ConstraintSMT, ConstraintSMTType)
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
  804 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerCountMap, SymbolRef, SymbolRef)
  805 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerNonEmptyMap, SymbolRef, bool)
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
  261 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)
tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp
  184 REGISTER_MAP_WITH_PROGRAMSTATE(UnreleasedIvarMap, SymbolRef, SymbolSet)
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
   46 REGISTER_MAP_WITH_PROGRAMSTATE(MostSpecializedTypeArgsMap, SymbolRef,
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
   64 REGISTER_SET_WITH_PROGRAMSTATE(MarkedSymbols, SymbolRef)
   65 REGISTER_MAP_WITH_PROGRAMSTATE(DenotedSymbols, SymbolRef, const StringLiteral *)
tools/clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
  301 REGISTER_SET_WITH_PROGRAMSTATE(TaintArgsOnPostVisit, unsigned)
tools/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp
   29 REGISTER_MAP_WITH_PROGRAMSTATE(RawPtrMap, const MemRegion *, PtrSet)
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
  265 REGISTER_MAP_WITH_PROGRAMSTATE(IteratorSymbolMap, SymbolRef, IteratorPosition)
  266 REGISTER_MAP_WITH_PROGRAMSTATE(IteratorRegionMap, const MemRegion *,
  269 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerMap, const MemRegion *, ContainerData)
tools/clang/lib/StaticAnalyzer/Checkers/LocalizationChecker.cpp
  106 REGISTER_MAP_WITH_PROGRAMSTATE(LocalizedMemMap, const MemRegion *,
tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp
  115 REGISTER_SET_WITH_PROGRAMSTATE(RefCountedParameters, const ParmVarDecl *)
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPITypes.h
   48 struct RequestMap {};
tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp
  155 REGISTER_MAP_WITH_PROGRAMSTATE(AllocatedData,
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
  200 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
  220 REGISTER_SET_WITH_PROGRAMSTATE(ReallocSizeZeroSymbols, SymbolRef)
  266 REGISTER_MAP_WITH_PROGRAMSTATE(ReallocPairs, SymbolRef, ReallocPair)
  798 REGISTER_MAP_WITH_PROGRAMSTATE(FreeReturnValue, SymbolRef, SymbolRef)
tools/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp
  228 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState)
tools/clang/lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp
  169 REGISTER_TRAIT_WITH_PROGRAMSTATE(NSErrorOut, ErrorOutFlag)
  170 REGISTER_TRAIT_WITH_PROGRAMSTATE(CFErrorOut, ErrorOutFlag)
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
  231 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,
tools/clang/lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp
   66 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal)
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp
   97 REGISTER_MAP_WITH_PROGRAMSTATE(SelfFlag, SymbolRef, unsigned)
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp
   61 REGISTER_SET_WITH_PROGRAMSTATE(CalledSuperDealloc, SymbolRef)
tools/clang/lib/StaticAnalyzer/Checkers/PointerArithChecker.cpp
   74 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind)
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
  101 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *)
  104 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState)
  107 REGISTER_MAP_WITH_PROGRAMSTATE(DestroyRetVal, const MemRegion *, SymbolRef)
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp
   22 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)
tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp
   89 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
  104 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
tools/clang/lib/StaticAnalyzer/Checkers/Taint.cpp
   22 REGISTER_MAP_WITH_PROGRAMSTATE(TaintMap, SymbolRef, TaintTagType)
   27 REGISTER_MAP_WITH_PROGRAMSTATE(DerivedSymTaint, SymbolRef, TaintedSubRegions)
tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp
   93 REGISTER_SET_WITH_PROGRAMSTATE(DivZeroMap, ZeroState)
tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp
   37 REGISTER_MAP_WITH_PROGRAMSTATE(NonNullImplicationMap, SymbolRef, SymbolRef)
   41 REGISTER_MAP_WITH_PROGRAMSTATE(NullImplicationMap, SymbolRef, SymbolRef)
tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp
   35 REGISTER_SET_WITH_PROGRAMSTATE(AnalyzedRegions, const MemRegion *)
tools/clang/lib/StaticAnalyzer/Checkers/ValistChecker.cpp
   24 REGISTER_SET_WITH_PROGRAMSTATE(InitializedVALists, const MemRegion *)
tools/clang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp
   59 REGISTER_MAP_WITH_PROGRAMSTATE(CtorDtorMap, const MemRegion *, ObjectState)
tools/clang/lib/StaticAnalyzer/Core/DynamicType.cpp
   27 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicTypeMap, const clang::ento::MemRegion *,
   34 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicCastMap, const clang::ento::MemRegion *,
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
  193 REGISTER_TRAIT_WITH_PROGRAMSTATE(ObjectsUnderConstruction,
 2182 REGISTER_TRAIT_WITH_PROGRAMSTATE(InitializedGlobalsSet,
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
  427 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicDispatchBifurcationMap,
tools/clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp
   66 REGISTER_LIST_WITH_PROGRAMSTATE(LoopStack, LoopState)