svf-lib 1.0.1794 → 1.0.1796

package/SVF-linux/svf-llvm/include/SVF-LLVM/LLVMUtil.h

@@ -444,6 +444,7 @@ const Argument* getConstructorThisPtr(const Function* fun);
 const Value* getVCallThisPtr(const CallBase* cs);
 const Value* getVCallVtblPtr(const CallBase* cs);
 s32_t getVCallIdx(const CallBase* cs);
+bool classTyHasVTable(const StructType* ty);
 std::string getClassNameFromType(const StructType* ty);
 std::string getClassNameOfThisPtr(const CallBase* cs);
 std::string getFunNameOfVCallSite(const CallBase* cs);

package/SVF-osx/svf/include/AbstractExecution/SVFIR2ConsExeState.h

@@ -97,8 +97,6 @@ public:
     /// Init ConZ3Expr for ObjVar
     void initObjVar(const ObjVar *objVar, u32_t varId);
 
-    void initValVar(const ValVar *objVar, u32_t varId);
-
     void initSVFVar(u32_t varId);
 
     void moveToGlobal();

package/SVF-osx/svf/include/AbstractExecution/SVFIR2ItvExeState.h

@@ -93,9 +93,6 @@ public:
 
     void applySummary(IntervalExeState &es);
 
-    /// Init ValVar
-    void initValVar(const ValVar *valVar, u32_t varId);
-
     /// Init ObjVar
     void initObjVar(const ObjVar *objVar, u32_t varId);
 

package/SVF-osx/svf/include/SVFIR/SymbolTableInfo.h

@@ -456,7 +456,6 @@ public:
     bool isConstantArray() const;
     bool isConstDataOrConstGlobal() const;
     bool isConstDataOrAggData() const;
-    bool hasPtrObj() const;
     //@}
 
     /// Operator overloading
@@ -492,7 +491,6 @@ public:
         CONST_ARRAY_OBJ = 0x100,  // constant array
         CONST_GLOBAL_OBJ = 0x200,  // global constant object
         CONST_DATA = 0x400,  // constant object str e.g. 5, 10, 1.0
-        HASPTR_OBJ = 0x800		// the object stores a pointer address
     } MEMTYPE;
 
 private:
@@ -642,10 +640,6 @@ public:
     {
         return hasFlag(CONST_DATA);
     }
-    inline bool hasPtrObj()
-    {
-        return hasFlag(HASPTR_OBJ);
-    }
     //@}
 };
 

package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMUtil.h

@@ -353,27 +353,6 @@ void removeUnusedGlobalVariables(Module* module);
 /// Delete unused functions, annotations and global variables in extapi.bc
 void removeUnusedFuncsAndAnnotationsAndGlobalVariables(std::vector<Function*> removedFuncList);
 
-inline u32_t SVFType2ByteSize(const SVFType* type)
-{
-    const llvm::Type* llvm_rhs = LLVMModuleSet::getLLVMModuleSet()->getLLVMType(type);
-    const llvm::PointerType* llvm_rhs_ptr = SVFUtil::dyn_cast<PointerType>(llvm_rhs);
-    assert(llvm_rhs_ptr && "not a pointer type?");
-    // TODO: getPtrElementType need type inference
-    const Type *ptrElementType = getPtrElementType(llvm_rhs_ptr);
-    u32_t llvm_rhs_size = LLVMUtil::getTypeSizeInBytes(ptrElementType);
-    u32_t llvm_elem_size = -1;
-    if (ptrElementType->isArrayTy() && llvm_rhs_size > 0)
-    {
-        size_t array_len = ptrElementType->getArrayNumElements();
-        llvm_elem_size = llvm_rhs_size / array_len;
-    }
-    else
-    {
-        llvm_elem_size =llvm_rhs_size;
-    }
-    return llvm_elem_size;
-}
-
 /// Get the corresponding Function based on its name
 inline const SVFFunction* getFunction(const std::string& name)
 {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.1794",
+  "version": "1.0.1796",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {