svf-lib 1.0.1793 → 1.0.1795

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.
Files changed (13) hide show
  1. package/SVF-linux/Release-build/svf/libSvfCore.a +0 -0
  2. package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  3. package/SVF-linux/svf/include/AbstractExecution/SVFIR2ConsExeState.h +0 -1
  4. package/SVF-linux/svf/include/AbstractExecution/SVFIR2ItvExeState.h +0 -2
  5. package/SVF-linux/svf/include/SVFIR/SymbolTableInfo.h +0 -6
  6. package/SVF-linux/svf-llvm/include/SVF-LLVM/LLVMUtil.h +0 -21
  7. package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
  8. package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  9. package/SVF-osx/svf/include/AbstractExecution/SVFIR2ConsExeState.h +0 -2
  10. package/SVF-osx/svf/include/AbstractExecution/SVFIR2ItvExeState.h +0 -3
  11. package/SVF-osx/svf/include/SVFIR/SymbolTableInfo.h +0 -6
  12. package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMUtil.h +0 -21
  13. package/package.json +1 -1
package/SVF-linux/svf/include/AbstractExecution/SVFIR2ConsExeState.h CHANGED
@@ -97,7 +97,6 @@ public:
97
97
  /// Init ConZ3Expr for ObjVar
98
98
  void initObjVar(const ObjVar *objVar, u32_t varId);
99
99
 
100
- void initValVar(const ValVar *objVar, u32_t varId);
101
100
 
102
101
  void initSVFVar(u32_t varId);
103
102
 
package/SVF-linux/svf/include/AbstractExecution/SVFIR2ItvExeState.h CHANGED
@@ -94,8 +94,6 @@ public:
94
94
 
95
95
  void applySummary(IntervalExeState &es);
96
96
 
97
- /// Init ValVar
98
- void initValVar(const ValVar *valVar, u32_t varId);
99
97
 
100
98
  /// Init ObjVar
101
99
  void initObjVar(const ObjVar *objVar, u32_t varId);
package/SVF-linux/svf/include/SVFIR/SymbolTableInfo.h CHANGED
@@ -460,7 +460,6 @@ public:
460
460
  bool isConstantArray() const;
461
461
  bool isConstDataOrConstGlobal() const;
462
462
  bool isConstDataOrAggData() const;
463
- bool hasPtrObj() const;
464
463
  //@}
465
464
 
466
465
  /// Operator overloading
@@ -496,7 +495,6 @@ public:
496
495
  CONST_ARRAY_OBJ = 0x100, // constant array
497
496
  CONST_GLOBAL_OBJ = 0x200, // global constant object
498
497
  CONST_DATA = 0x400, // constant object str e.g. 5, 10, 1.0
499
- HASPTR_OBJ = 0x800 // the object stores a pointer address
500
498
  } MEMTYPE;
501
499
 
502
500
  private:
@@ -646,10 +644,6 @@ public:
646
644
  {
647
645
  return hasFlag(CONST_DATA);
648
646
  }
649
- inline bool hasPtrObj()
650
- {
651
- return hasFlag(HASPTR_OBJ);
652
- }
653
647
  //@}
654
648
  };
655
649
 
package/SVF-linux/svf-llvm/include/SVF-LLVM/LLVMUtil.h CHANGED
@@ -353,27 +353,6 @@ void removeUnusedGlobalVariables(Module* module);
353
353
  /// Delete unused functions, annotations and global variables in extapi.bc
354
354
  void removeUnusedFuncsAndAnnotationsAndGlobalVariables(std::vector<Function*> removedFuncList);
355
355
 
356
- inline u32_t SVFType2ByteSize(const SVFType* type)
357
- {
358
- const llvm::Type* llvm_rhs = LLVMModuleSet::getLLVMModuleSet()->getLLVMType(type);
359
- const llvm::PointerType* llvm_rhs_ptr = SVFUtil::dyn_cast<PointerType>(llvm_rhs);
360
- assert(llvm_rhs_ptr && "not a pointer type?");
361
- // TODO: getPtrElementType need type inference
362
- const Type *ptrElementType = getPtrElementType(llvm_rhs_ptr);
363
- u32_t llvm_rhs_size = LLVMUtil::getTypeSizeInBytes(ptrElementType);
364
- u32_t llvm_elem_size = -1;
365
- if (ptrElementType->isArrayTy() && llvm_rhs_size > 0)
366
- {
367
- size_t array_len = ptrElementType->getArrayNumElements();
368
- llvm_elem_size = llvm_rhs_size / array_len;
369
- }
370
- else
371
- {
372
- llvm_elem_size =llvm_rhs_size;
373
- }
374
- return llvm_elem_size;
375
- }
376
-
377
356
  /// Get the corresponding Function based on its name
378
357
  inline const SVFFunction* getFunction(const std::string& name)
379
358
  {
package/SVF-osx/svf/include/AbstractExecution/SVFIR2ConsExeState.h CHANGED
@@ -97,8 +97,6 @@ public:
97
97
  /// Init ConZ3Expr for ObjVar
98
98
  void initObjVar(const ObjVar *objVar, u32_t varId);
99
99
 
100
- void initValVar(const ValVar *objVar, u32_t varId);
101
-
102
100
  void initSVFVar(u32_t varId);
103
101
 
104
102
  void moveToGlobal();
package/SVF-osx/svf/include/AbstractExecution/SVFIR2ItvExeState.h CHANGED
@@ -93,9 +93,6 @@ public:
93
93
 
94
94
  void applySummary(IntervalExeState &es);
95
95
 
96
- /// Init ValVar
97
- void initValVar(const ValVar *valVar, u32_t varId);
98
-
99
96
  /// Init ObjVar
100
97
  void initObjVar(const ObjVar *objVar, u32_t varId);
101
98
 
package/SVF-osx/svf/include/SVFIR/SymbolTableInfo.h CHANGED
@@ -456,7 +456,6 @@ public:
456
456
  bool isConstantArray() const;
457
457
  bool isConstDataOrConstGlobal() const;
458
458
  bool isConstDataOrAggData() const;
459
- bool hasPtrObj() const;
460
459
  //@}
461
460
 
462
461
  /// Operator overloading
@@ -492,7 +491,6 @@ public:
492
491
  CONST_ARRAY_OBJ = 0x100, // constant array
493
492
  CONST_GLOBAL_OBJ = 0x200, // global constant object
494
493
  CONST_DATA = 0x400, // constant object str e.g. 5, 10, 1.0
495
- HASPTR_OBJ = 0x800 // the object stores a pointer address
496
494
  } MEMTYPE;
497
495
 
498
496
  private:
@@ -642,10 +640,6 @@ public:
642
640
  {
643
641
  return hasFlag(CONST_DATA);
644
642
  }
645
- inline bool hasPtrObj()
646
- {
647
- return hasFlag(HASPTR_OBJ);
648
- }
649
643
  //@}
650
644
  };
651
645
 
package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMUtil.h CHANGED
@@ -353,27 +353,6 @@ void removeUnusedGlobalVariables(Module* module);
353
353
  /// Delete unused functions, annotations and global variables in extapi.bc
354
354
  void removeUnusedFuncsAndAnnotationsAndGlobalVariables(std::vector<Function*> removedFuncList);
355
355
 
356
- inline u32_t SVFType2ByteSize(const SVFType* type)
357
- {
358
- const llvm::Type* llvm_rhs = LLVMModuleSet::getLLVMModuleSet()->getLLVMType(type);
359
- const llvm::PointerType* llvm_rhs_ptr = SVFUtil::dyn_cast<PointerType>(llvm_rhs);
360
- assert(llvm_rhs_ptr && "not a pointer type?");
361
- // TODO: getPtrElementType need type inference
362
- const Type *ptrElementType = getPtrElementType(llvm_rhs_ptr);
363
- u32_t llvm_rhs_size = LLVMUtil::getTypeSizeInBytes(ptrElementType);
364
- u32_t llvm_elem_size = -1;
365
- if (ptrElementType->isArrayTy() && llvm_rhs_size > 0)
366
- {
367
- size_t array_len = ptrElementType->getArrayNumElements();
368
- llvm_elem_size = llvm_rhs_size / array_len;
369
- }
370
- else
371
- {
372
- llvm_elem_size =llvm_rhs_size;
373
- }
374
- return llvm_elem_size;
375
- }
376
-
377
356
  /// Get the corresponding Function based on its name
378
357
  inline const SVFFunction* getFunction(const std::string& name)
379
358
  {
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1793",
3
+ "version": "1.0.1795",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {