svf-lib 1.0.756 → 1.0.760

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 (10) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/MemoryModel/PointerAnalysis.h +1 -1
  3. package/SVF-linux/include/MemoryModel/SymbolTableInfo.h +0 -6
  4. package/SVF-linux/include/SVF-FE/SVFIRBuilder.h +6 -1
  5. package/SVF-osx/Release-build/lib/CUDD/libCudd.a +0 -0
  6. package/SVF-osx/Release-build/lib/libSvf.a +0 -0
  7. package/SVF-osx/include/MemoryModel/PointerAnalysis.h +1 -1
  8. package/SVF-osx/include/MemoryModel/SymbolTableInfo.h +0 -6
  9. package/SVF-osx/include/SVF-FE/SVFIRBuilder.h +6 -1
  10. package/package.json +1 -1
package/SVF-linux/include/MemoryModel/PointerAnalysis.h CHANGED
@@ -160,7 +160,7 @@ protected:
160
160
  /// Interprocedural control-flow graph
161
161
  ICFG* icfg;
162
162
  /// CHGraph
163
- static CommonCHGraph *chgraph;
163
+ CommonCHGraph *chgraph;
164
164
  /// TypeSystem
165
165
  TypeSystem *typeSystem;
166
166
 
package/SVF-linux/include/MemoryModel/SymbolTableInfo.h CHANGED
@@ -371,12 +371,6 @@ public:
371
371
  const Type* getOrigSubTypeWithByteOffset(const Type* baseType, u32_t byteOffset);
372
372
  //@}
373
373
 
374
- /// Compute gep offset
375
- virtual bool computeGepOffset(const User *V, LocationSet& ls);
376
- /// Get the base type and max offset
377
- const Type *getBaseTypeAndFlattenedFields(const Value *V, std::vector<LocationSet> &fields);
378
- /// Replace fields with flatten fields of T if the number of its fields is larger than msz.
379
- u32_t getFields(std::vector<LocationSet>& fields, const Type* T, u32_t msz);
380
374
  /// Collect type info
381
375
  void collectTypeInfo(const Type* T);
382
376
  /// Given an offset from a Gep Instruction, return it modulus offset by considering memory layout
package/SVF-linux/include/SVF-FE/SVFIRBuilder.h CHANGED
@@ -124,6 +124,12 @@ public:
124
124
  /// Compute offset of a gep instruction or gep constant expression
125
125
  bool computeGepOffset(const User *V, LocationSet& ls);
126
126
 
127
+ /// Get the base type and max offset
128
+ const Type *getBaseTypeAndFlattenedFields(const Value *V, std::vector<LocationSet> &fields);
129
+
130
+ /// Replace fields with flatten fields of T if the number of its fields is larger than msz.
131
+ u32_t getFields(std::vector<LocationSet>& fields, const Type* T, u32_t msz);
132
+
127
133
  /// Handle direct call
128
134
  void handleDirectCall(CallSite cs, const SVFFunction *F);
129
135
 
@@ -133,7 +139,6 @@ public:
133
139
  /// Handle external call
134
140
  //@{
135
141
  virtual void handleExtCall(CallSite cs, const SVFFunction *F);
136
- const Type *getBaseTypeAndFlattenedFields(Value* v, std::vector<LocationSet> &fields);
137
142
  void addComplexConsForExt(Value *D, Value *S,u32_t sz = 0);
138
143
  //@}
139
144
 
package/SVF-osx/Release-build/lib/libSvf.a CHANGED
Binary file
package/SVF-osx/include/MemoryModel/PointerAnalysis.h CHANGED
@@ -160,7 +160,7 @@ protected:
160
160
  /// Interprocedural control-flow graph
161
161
  ICFG* icfg;
162
162
  /// CHGraph
163
- static CommonCHGraph *chgraph;
163
+ CommonCHGraph *chgraph;
164
164
  /// TypeSystem
165
165
  TypeSystem *typeSystem;
166
166
 
package/SVF-osx/include/MemoryModel/SymbolTableInfo.h CHANGED
@@ -371,12 +371,6 @@ public:
371
371
  const Type* getOrigSubTypeWithByteOffset(const Type* baseType, u32_t byteOffset);
372
372
  //@}
373
373
 
374
- /// Compute gep offset
375
- virtual bool computeGepOffset(const User *V, LocationSet& ls);
376
- /// Get the base type and max offset
377
- const Type *getBaseTypeAndFlattenedFields(const Value *V, std::vector<LocationSet> &fields);
378
- /// Replace fields with flatten fields of T if the number of its fields is larger than msz.
379
- u32_t getFields(std::vector<LocationSet>& fields, const Type* T, u32_t msz);
380
374
  /// Collect type info
381
375
  void collectTypeInfo(const Type* T);
382
376
  /// Given an offset from a Gep Instruction, return it modulus offset by considering memory layout
package/SVF-osx/include/SVF-FE/SVFIRBuilder.h CHANGED
@@ -124,6 +124,12 @@ public:
124
124
  /// Compute offset of a gep instruction or gep constant expression
125
125
  bool computeGepOffset(const User *V, LocationSet& ls);
126
126
 
127
+ /// Get the base type and max offset
128
+ const Type *getBaseTypeAndFlattenedFields(const Value *V, std::vector<LocationSet> &fields);
129
+
130
+ /// Replace fields with flatten fields of T if the number of its fields is larger than msz.
131
+ u32_t getFields(std::vector<LocationSet>& fields, const Type* T, u32_t msz);
132
+
127
133
  /// Handle direct call
128
134
  void handleDirectCall(CallSite cs, const SVFFunction *F);
129
135
 
@@ -133,7 +139,6 @@ public:
133
139
  /// Handle external call
134
140
  //@{
135
141
  virtual void handleExtCall(CallSite cs, const SVFFunction *F);
136
- const Type *getBaseTypeAndFlattenedFields(Value* v, std::vector<LocationSet> &fields);
137
142
  void addComplexConsForExt(Value *D, Value *S,u32_t sz = 0);
138
143
  //@}
139
144
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.756",
3
+ "version": "1.0.760",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {