svf-lib 1.0.1763 → 1.0.1765
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-linux/svf-llvm/include/SVF-LLVM/LLVMUtil.h +5 -8
- package/SVF-linux/svf-llvm/include/SVF-LLVM/SymbolTableBuilder.h +1 -1
- package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMUtil.h +4 -8
- package/SVF-osx/svf-llvm/include/SVF-LLVM/SymbolTableBuilder.h +1 -1
- package/package.json +1 -1
|
Binary file
|
|
@@ -496,7 +496,7 @@ const Argument* getConstructorThisPtr(const Function* fun);
|
|
|
496
496
|
const Value* getVCallThisPtr(const CallBase* cs);
|
|
497
497
|
const Value* getVCallVtblPtr(const CallBase* cs);
|
|
498
498
|
s32_t getVCallIdx(const CallBase* cs);
|
|
499
|
-
std::string getClassNameFromType(const
|
|
499
|
+
std::string getClassNameFromType(const StructType* ty);
|
|
500
500
|
std::string getClassNameOfThisPtr(const CallBase* cs);
|
|
501
501
|
std::string getFunNameOfVCallSite(const CallBase* cs);
|
|
502
502
|
bool VCallInCtorOrDtor(const CallBase* cs);
|
|
@@ -513,13 +513,10 @@ bool VCallInCtorOrDtor(const CallBase* cs);
|
|
|
513
513
|
bool isSameThisPtrInConstructor(const Argument* thisPtr1,
|
|
514
514
|
const Value* thisPtr2);
|
|
515
515
|
|
|
516
|
-
|
|
517
|
-
|
|
518
|
-
|
|
519
|
-
|
|
520
|
-
llvm::raw_string_ostream(str) << val;
|
|
521
|
-
return str;
|
|
522
|
-
}
|
|
516
|
+
std::string dumpValue(const Value* val);
|
|
517
|
+
|
|
518
|
+
std::string dumpType(const Type* type);
|
|
519
|
+
|
|
523
520
|
|
|
524
521
|
/**
|
|
525
522
|
* See more: https://github.com/SVF-tools/SVF/pull/1191
|
|
@@ -90,7 +90,7 @@ protected:
|
|
|
90
90
|
/// Analyse types of all flattened fields of this object
|
|
91
91
|
void analyzeObjType(ObjTypeInfo* typeinfo, const Value* val);
|
|
92
92
|
/// Analyse types of heap and static objects
|
|
93
|
-
|
|
93
|
+
u32_t analyzeHeapObjType(ObjTypeInfo* typeinfo, const Value* val);
|
|
94
94
|
/// Analyse types of heap and static objects
|
|
95
95
|
void analyzeStaticObjType(ObjTypeInfo* typeinfo, const Value* val);
|
|
96
96
|
|
|
Binary file
|
|
Binary file
|
|
@@ -496,7 +496,7 @@ const Argument* getConstructorThisPtr(const Function* fun);
|
|
|
496
496
|
const Value* getVCallThisPtr(const CallBase* cs);
|
|
497
497
|
const Value* getVCallVtblPtr(const CallBase* cs);
|
|
498
498
|
s32_t getVCallIdx(const CallBase* cs);
|
|
499
|
-
std::string getClassNameFromType(const
|
|
499
|
+
std::string getClassNameFromType(const StructType* ty);
|
|
500
500
|
std::string getClassNameOfThisPtr(const CallBase* cs);
|
|
501
501
|
std::string getFunNameOfVCallSite(const CallBase* cs);
|
|
502
502
|
bool VCallInCtorOrDtor(const CallBase* cs);
|
|
@@ -513,13 +513,9 @@ bool VCallInCtorOrDtor(const CallBase* cs);
|
|
|
513
513
|
bool isSameThisPtrInConstructor(const Argument* thisPtr1,
|
|
514
514
|
const Value* thisPtr2);
|
|
515
515
|
|
|
516
|
-
|
|
517
|
-
|
|
518
|
-
|
|
519
|
-
std::string str;
|
|
520
|
-
llvm::raw_string_ostream(str) << val;
|
|
521
|
-
return str;
|
|
522
|
-
}
|
|
516
|
+
std::string dumpValue(const Value* val);
|
|
517
|
+
|
|
518
|
+
std::string dumpType(const Type* type);
|
|
523
519
|
|
|
524
520
|
/**
|
|
525
521
|
* See more: https://github.com/SVF-tools/SVF/pull/1191
|
|
@@ -89,7 +89,7 @@ protected:
|
|
|
89
89
|
/// Analyse types of all flattened fields of this object
|
|
90
90
|
void analyzeObjType(ObjTypeInfo* typeinfo, const Value* val);
|
|
91
91
|
/// Analyse types of heap and static objects
|
|
92
|
-
|
|
92
|
+
u32_t analyzeHeapObjType(ObjTypeInfo* typeinfo, const Value* val);
|
|
93
93
|
/// Analyse types of heap and static objects
|
|
94
94
|
void analyzeStaticObjType(ObjTypeInfo* typeinfo, const Value* val);
|
|
95
95
|
|