| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicType.cpp | 28 clang::ento::DynamicTypeInfo)
39 clang::ento::DynamicTypeInfo)
48 if (const DynamicTypeInfo *DTI = State->get<DynamicTypeMap>(MR)) in getDynamicTypeInfo()
53 return DynamicTypeInfo(TR->getLocationType(), /*CanBeSub=*/false); in getDynamicTypeInfo()
57 return DynamicTypeInfo(Sym->getType()); in getDynamicTypeInfo()
63 const DynamicTypeInfo *getRawDynamicTypeInfo(ProgramStateRef State, in getRawDynamicTypeInfo()
93 DynamicTypeInfo getClassObjectDynamicTypeInfo(ProgramStateRef State, in getClassObjectDynamicTypeInfo()
95 const DynamicTypeInfo *DTI = State->get<DynamicClassObjectMap>(Sym); in getClassObjectDynamicTypeInfo()
96 return DTI ? *DTI : DynamicTypeInfo{}; in getClassObjectDynamicTypeInfo()
100 DynamicTypeInfo NewTy) { in setDynamicTypeInfo()
[all …]
|
| H A D | CallEvent.cpp | 704 DynamicTypeInfo DynType = getDynamicTypeInfo(getState(), R); in getRuntimeDefinition()
1230 DynamicTypeInfo DTI = getDynamicTypeInfo(getState(), Receiver); in getRuntimeDefinition()
1260 DynamicTypeInfo DTI = in getRuntimeDefinition()
|
| /llvm-project-15.0.7/compiler-rt/lib/ubsan/ |
| H A D | ubsan_type_hash_win.cpp | 45 __ubsan::DynamicTypeInfo
54 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
59 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
69 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
72 return DynamicTypeInfo(0, 0, 0); in getDynamicTypeInfoFromVtable()
76 return DynamicTypeInfo(tinfo->name(), obj_locator->offset_to_top, in getDynamicTypeInfoFromVtable()
|
| H A D | ubsan_type_hash.h | 23 class DynamicTypeInfo {
29 DynamicTypeInfo(const char *MDTN, sptr Offset, const char *STN) in DynamicTypeInfo() function
43 DynamicTypeInfo getDynamicTypeInfoFromObject(void *Object);
46 DynamicTypeInfo getDynamicTypeInfoFromVtable(void *Vtable);
|
| H A D | ubsan_type_hash_itanium.cpp | 247 __ubsan::DynamicTypeInfo
251 return DynamicTypeInfo(nullptr, 0, nullptr); in getDynamicTypeInfoFromVtable()
253 return DynamicTypeInfo(nullptr, Vtable->Offset, nullptr); in getDynamicTypeInfoFromVtable()
257 return DynamicTypeInfo(Vtable->TypeInfo->__type_name, -Vtable->Offset, in getDynamicTypeInfoFromVtable()
|
| H A D | ubsan_handlers_cxx.cpp | 41 DynamicTypeInfo DTI = getDynamicTypeInfoFromObject((void*)Pointer); in HandleDynamicTypeCacheMiss()
107 DynamicTypeInfo DTI = ValidVtable in __ubsan_handle_cfi_bad_type()
109 : DynamicTypeInfo(0, 0, 0); in __ubsan_handle_cfi_bad_type()
|
| H A D | ubsan_type_hash.cpp | 28 __ubsan::DynamicTypeInfo __ubsan::getDynamicTypeInfoFromObject(void *Object) { in getDynamicTypeInfoFromObject()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | DynamicType.h | 32 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR);
36 const DynamicTypeInfo *getRawDynamicTypeInfo(ProgramStateRef State,
40 DynamicTypeInfo getClassObjectDynamicTypeInfo(ProgramStateRef State,
51 DynamicTypeInfo NewTy);
60 DynamicTypeInfo NewTy);
|
| H A D | DynamicTypeInfo.h | 19 class DynamicTypeInfo {
21 DynamicTypeInfo() {} in DynamicTypeInfo() function
23 DynamicTypeInfo(QualType Ty, bool CanBeSub = true)
38 bool operator==(const DynamicTypeInfo &RHS) const {
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DynamicTypeChecker.cpp | 96 DynamicTypeInfo TrackedType = getDynamicTypeInfo(State, Reg); in VisitNode()
97 DynamicTypeInfo TrackedTypePrev = getDynamicTypeInfo(StatePrev, Reg); in VisitNode()
165 DynamicTypeInfo DynTypeInfo = getDynamicTypeInfo(State, Region); in checkPostStmt()
|
| H A D | DynamicTypePropagation.cpp | 174 if (DynamicTypeInfo DTI = getDynamicTypeInfo(State, ReceiverRegion)) { in inferReceiverType()
188 if (DynamicTypeInfo DTI = in inferReceiverType()
351 DynamicTypeInfo RecDynType = getDynamicTypeInfo(State, RecReg); in checkPostCall()
|
| /llvm-project-15.0.7/clang/docs/analyzer/developer-docs/ |
| H A D | IPA.rst | 224 DynamicTypeInfo section in Basics of Implementation
231 Such type information is tracked as DynamicTypeInfo. This is path-sensitive
233 an (optional) DynamicTypeInfo.
235 If no DynamicTypeInfo has been explicitly set for a MemRegion, it will be lazily
242 The DynamicTypePropagation checker gathers and propagates DynamicTypeInfo,
247 DynamicTypeInfo, nor is it universally appropriate. In particular,
248 DynamicTypeInfo always applies to a region with all casts stripped
257 the CallEvents for dynamic calls will use the DynamicTypeInfo in their
336 are the cases when the DynamicTypeInfo of the object is considered precise
358 DynamicTypeInfo in the DynamicTypePropagation checker.
|
| /llvm-project-15.0.7/clang/docs/tools/ |
| H A D | clang-formatted-files.txt | 239 clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h
|