svf-lib 1.0.910 → 1.0.913
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/lib/libSvf.a +0 -0
- package/SVF-linux/include/MemoryModel/SymbolTableInfo.h +4 -1
- package/SVF-linux/include/SVF-FE/LLVMUtil.h +3 -0
- package/SVF-linux/include/SVF-FE/SymbolTableBuilder.h +1 -3
- package/SVF-osx/Release-build/lib/CUDD/libCudd.a +0 -0
- package/SVF-osx/Release-build/lib/libSvf.a +0 -0
- package/SVF-osx/include/MemoryModel/SymbolTableInfo.h +4 -1
- package/SVF-osx/include/SVF-FE/SymbolTableBuilder.h +1 -1
- package/package.json +1 -1
|
Binary file
|
|
@@ -439,6 +439,9 @@ public:
|
|
|
439
439
|
/// Get obj type
|
|
440
440
|
const Type* getType() const;
|
|
441
441
|
|
|
442
|
+
/// Get the number of elements of this object
|
|
443
|
+
u32_t getNumOfElements() const;
|
|
444
|
+
|
|
442
445
|
/// Get max field offset limit
|
|
443
446
|
u32_t getMaxFieldOffsetLimit() const;
|
|
444
447
|
|
|
@@ -646,7 +649,7 @@ public:
|
|
|
646
649
|
}
|
|
647
650
|
|
|
648
651
|
/// Get the number of elements of this object
|
|
649
|
-
inline u32_t getNumOfElements()
|
|
652
|
+
inline u32_t getNumOfElements() const
|
|
650
653
|
{
|
|
651
654
|
return elemNum;
|
|
652
655
|
}
|
|
@@ -517,6 +517,9 @@ const Value *stripAllCasts(const Value *val) ;
|
|
|
517
517
|
/// Get the type of the heap allocation
|
|
518
518
|
const Type *getTypeOfHeapAlloc(const llvm::Instruction *inst) ;
|
|
519
519
|
|
|
520
|
+
/// Return the bitcast instruction which is val's only use site, otherwise return nullptr
|
|
521
|
+
const Value* getUniqueUseViaCastInst(const Value* val);
|
|
522
|
+
|
|
520
523
|
/// Return corresponding constant expression, otherwise return nullptr
|
|
521
524
|
//@{
|
|
522
525
|
inline const ConstantExpr *isGepConstantExpr(const Value *val)
|
|
@@ -84,11 +84,9 @@ public:
|
|
|
84
84
|
void analyzeHeapObjType(ObjTypeInfo* typeinfo, const Value* val);
|
|
85
85
|
/// Analyse types of heap and static objects
|
|
86
86
|
void analyzeStaticObjType(ObjTypeInfo* typeinfo, const Value* val);
|
|
87
|
-
/// Return the bitcast instruction which is val's only use site, otherwise return nullptr
|
|
88
|
-
const Value* getUniqueUseViaCastInst(const Value* val);
|
|
89
87
|
|
|
90
88
|
/// Return size of this object based on LLVM value
|
|
91
|
-
u32_t getObjSize(const
|
|
89
|
+
u32_t getObjSize(const Type* type);
|
|
92
90
|
};
|
|
93
91
|
|
|
94
92
|
}
|
|
Binary file
|
|
Binary file
|
|
@@ -439,6 +439,9 @@ public:
|
|
|
439
439
|
/// Get obj type
|
|
440
440
|
const Type* getType() const;
|
|
441
441
|
|
|
442
|
+
/// Get the number of elements of this object
|
|
443
|
+
u32_t getNumOfElements() const;
|
|
444
|
+
|
|
442
445
|
/// Get max field offset limit
|
|
443
446
|
u32_t getMaxFieldOffsetLimit() const;
|
|
444
447
|
|
|
@@ -646,7 +649,7 @@ public:
|
|
|
646
649
|
}
|
|
647
650
|
|
|
648
651
|
/// Get the number of elements of this object
|
|
649
|
-
inline u32_t getNumOfElements()
|
|
652
|
+
inline u32_t getNumOfElements() const
|
|
650
653
|
{
|
|
651
654
|
return elemNum;
|
|
652
655
|
}
|