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
   52 template <typename T> struct ProgramStateTrait {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h
  132 struct ProgramStateTrait<ConstraintRange>
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
  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/DynamicTypePropagation.cpp
   46 REGISTER_MAP_WITH_PROGRAMSTATE(MostSpecializedTypeArgsMap, SymbolRef,
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
   65 REGISTER_MAP_WITH_PROGRAMSTATE(DenotedSymbols, SymbolRef, const StringLiteral *)
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)
  269 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerMap, const MemRegion *, ContainerData)
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPITypes.h
   56 struct ProgramStateTrait<mpi::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)
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/PointerArithChecker.cpp
   74 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind)
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
  107 REGISTER_MAP_WITH_PROGRAMSTATE(DestroyRetVal, const MemRegion *, SymbolRef)
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
   27 REGISTER_MAP_WITH_PROGRAMSTATE(DerivedSymTaint, SymbolRef, TaintedSubRegions)
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/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,
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
  427 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicDispatchBifurcationMap,
tools/lldb/include/lldb/Symbol/ClangUtil.h
   18 namespace clang {