|
reference, declaration → definition
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/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/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/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/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 34 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicCastMap, const clang::ento::MemRegion *,
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 193 REGISTER_TRAIT_WITH_PROGRAMSTATE(ObjectsUnderConstruction,
tools/lldb/include/lldb/Symbol/ClangUtil.h 18 namespace clang {