Home
last modified time | relevance | path

Searched refs:REGISTER_MAP_WITH_PROGRAMSTATE (Results 1 – 25 of 31) sorted by relevance

12

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DDynamicType.cpp27 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicTypeMap, const clang::ento::MemRegion *,
34 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicCastMap, const clang::ento::MemRegion *,
38 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicClassObjectMap, clang::ento::SymbolRef,
H A DDynamicExtent.cpp22 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicExtentMap, const clang::ento::MemRegion *,
H A DRangeConstraintManager.cpp881 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMap, SymbolRef, EquivalenceClass)
882 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMembers, EquivalenceClass, SymbolSet)
883 REGISTER_MAP_WITH_PROGRAMSTATE(ConstraintRange, EquivalenceClass, RangeSet)
886 REGISTER_MAP_WITH_PROGRAMSTATE(DisequalityMap, EquivalenceClass, ClassSet)
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DTrustNonnullChecker.cpp37 REGISTER_MAP_WITH_PROGRAMSTATE(NonNullImplicationMap, SymbolRef, SymbolRef)
41 REGISTER_MAP_WITH_PROGRAMSTATE(NullImplicationMap, SymbolRef, SymbolRef)
H A DTaint.cpp22 REGISTER_MAP_WITH_PROGRAMSTATE(TaintMap, SymbolRef, TaintTagType) in REGISTER_MAP_WITH_PROGRAMSTATE() function
27 REGISTER_MAP_WITH_PROGRAMSTATE(DerivedSymTaint, SymbolRef, TaintedSubRegions) in REGISTER_MAP_WITH_PROGRAMSTATE()
H A DObjCContainersChecker.cpp63 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal) in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DVirtualCallChecker.cpp60 REGISTER_MAP_WITH_PROGRAMSTATE(CtorDtorMap, const MemRegion *, ObjectState) in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DSimpleStreamChecker.cpp90 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DPthreadLockChecker.cpp254 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState) in REGISTER_LIST_WITH_PROGRAMSTATE()
257 REGISTER_MAP_WITH_PROGRAMSTATE(DestroyRetVal, const MemRegion *, SymbolRef) in REGISTER_LIST_WITH_PROGRAMSTATE()
H A DInnerPointerChecker.cpp30 REGISTER_MAP_WITH_PROGRAMSTATE(RawPtrMap, const MemRegion *, PtrSet)
H A DObjCSelfInitChecker.cpp97 REGISTER_MAP_WITH_PROGRAMSTATE(SelfFlag, SymbolRef, SelfFlagEnum) in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DPointerArithChecker.cpp74 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind) in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DBasicObjCFoundationChecks.cpp802 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerCountMap, SymbolRef, SymbolRef)
803 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerNonEmptyMap, SymbolRef, bool)
H A DMacOSKeychainAPIChecker.cpp155 REGISTER_MAP_WITH_PROGRAMSTATE(AllocatedData, in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DExprInspectionChecker.cpp78 REGISTER_MAP_WITH_PROGRAMSTATE(DenotedSymbols, SymbolRef, const StringLiteral *) in REGISTER_SET_WITH_PROGRAMSTATE()
H A DMoveChecker.cpp228 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState)
H A DFuchsiaHandleChecker.cpp230 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState) in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DCheckObjCDealloc.cpp184 REGISTER_MAP_WITH_PROGRAMSTATE(UnreleasedIvarMap, SymbolRef, SymbolSet) in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
H A DDynamicTypePropagation.cpp46 REGISTER_MAP_WITH_PROGRAMSTATE(MostSpecializedTypeArgsMap, SymbolRef,
H A DGenericTaintChecker.cpp423 REGISTER_MAP_WITH_PROGRAMSTATE(TaintArgsOnPostVisit, const LocationContext *, in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DSmartPtrModeling.cpp99 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DMallocChecker.cpp215 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
281 REGISTER_MAP_WITH_PROGRAMSTATE(ReallocPairs, SymbolRef, ReallocPair)
1064 REGISTER_MAP_WITH_PROGRAMSTATE(FreeReturnValue, SymbolRef, SymbolRef)
H A DNullabilityChecker.cpp235 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp89 REGISTER_MAP_WITH_PROGRAMSTATE(PreviousCallResultMap, const FunctionDecl *, in REGISTER_SET_WITH_PROGRAMSTATE()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramStateTrait.h87 #define REGISTER_MAP_WITH_PROGRAMSTATE(Name, Key, Value) \ macro

12