svf-lib 1.0.1944 → 1.0.1946

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/bin/ae +0 -0
  2. package/SVF-linux/Release-build/bin/svf-ex +0 -0
  3. package/SVF-linux/Release-build/include/AE/Svfexe/SVFIR2AbsState.h +14 -14
  4. package/SVF-linux/Release-build/lib/libSvfCore.a +0 -0
  5. package/SVF-osx/Release-build/bin/ae +0 -0
  6. package/SVF-osx/Release-build/bin/svf-ex +0 -0
  7. package/SVF-osx/Release-build/include/AE/Svfexe/SVFIR2AbsState.h +14 -14
  8. package/SVF-osx/Release-build/lib/libSvfCore.a +0 -0
  9. package/SVF-osx/Release-build/lib/libSvfLLVM.a +0 -0
  10. package/package.json +1 -1
package/SVF-linux/Release-build/bin/ae CHANGED
Binary file
package/SVF-linux/Release-build/bin/svf-ex CHANGED
Binary file
package/SVF-linux/Release-build/include/AE/Svfexe/SVFIR2AbsState.h CHANGED
@@ -67,24 +67,24 @@ public:
67
67
  /// Return the value range of Integer SVF Type, e.g. unsigned i8 Type->[0, 255], signed i8 Type->[-128, 127]
68
68
  AbstractValue getRangeLimitFromType(const SVFType* type);
69
69
 
70
- AbstractValue getZExtValue(AbstractState& es, const SVFVar* var);
71
- AbstractValue getSExtValue(AbstractState& es, const SVFVar* var);
72
- AbstractValue getFPToSIntValue(AbstractState& es, const SVFVar* var);
73
- AbstractValue getFPToUIntValue(AbstractState& es, const SVFVar* var);
74
- AbstractValue getSIntToFPValue(AbstractState& es, const SVFVar* var);
75
- AbstractValue getUIntToFPValue(AbstractState& es, const SVFVar* var);
76
- AbstractValue getTruncValue(AbstractState& es, const SVFVar* var, const SVFType* dstType);
77
- AbstractValue getFPTruncValue(AbstractState& es, const SVFVar* var, const SVFType* dstType);
70
+ AbstractValue getZExtValue(const AbstractState& es, const SVFVar* var);
71
+ AbstractValue getSExtValue(const AbstractState& es, const SVFVar* var);
72
+ AbstractValue getFPToSIntValue(const AbstractState& es, const SVFVar* var);
73
+ AbstractValue getFPToUIntValue(const AbstractState& es, const SVFVar* var);
74
+ AbstractValue getSIntToFPValue(const AbstractState& es, const SVFVar* var);
75
+ AbstractValue getUIntToFPValue(const AbstractState& es, const SVFVar* var);
76
+ AbstractValue getTruncValue(const AbstractState& es, const SVFVar* var, const SVFType* dstType);
77
+ AbstractValue getFPTruncValue(const AbstractState& es, const SVFVar* var, const SVFType* dstType);
78
78
 
79
79
  /// Return the byte offset expression of a GepStmt
80
80
  /// elemBytesize is the element byte size of an static alloc or heap alloc array
81
81
  /// e.g. GepStmt* gep = [i32*10], x, and x is [0,3]
82
82
  /// std::pair<s32_t, s32_t> byteOffset = getByteOffset(gep);
83
83
  /// byteOffset should be [0, 12] since i32 is 4 bytes.
84
- AbstractValue getByteOffset(AbstractState& es, const GepStmt *gep);
84
+ AbstractValue getByteOffset(const AbstractState& es, const GepStmt *gep);
85
85
 
86
86
  /// Return the offset expression of a GepStmt
87
- AbstractValue getItvOfFlattenedElemIndex(AbstractState& es, const GepStmt *gep);
87
+ AbstractValue getItvOfFlattenedElemIndex(const AbstractState& es, const GepStmt *gep);
88
88
 
89
89
 
90
90
  static z3::context &getContext()
@@ -111,26 +111,26 @@ public:
111
111
 
112
112
 
113
113
  /// whether the variable is in varToVal table
114
- inline bool inVarToValTable(AbstractState& es, u32_t id) const
114
+ inline bool inVarToValTable(const AbstractState& es, u32_t id) const
115
115
  {
116
116
  return es.inVarToValTable(id);
117
117
  }
118
118
 
119
119
  /// whether the variable is in varToAddrs table
120
- inline bool inVarToAddrsTable(AbstractState& es, u32_t id) const
120
+ inline bool inVarToAddrsTable(const AbstractState& es, u32_t id) const
121
121
  {
122
122
  return es.inVarToAddrsTable(id);
123
123
  }
124
124
 
125
125
 
126
126
  /// whether the memory address stores a interval value
127
- inline bool inLocToValTable(AbstractState& es, u32_t id) const
127
+ inline bool inLocToValTable(const AbstractState& es, u32_t id) const
128
128
  {
129
129
  return es.inLocToValTable(id);
130
130
  }
131
131
 
132
132
  /// whether the memory address stores memory addresses
133
- inline bool inLocToAddrsTable(AbstractState& es, u32_t id) const
133
+ inline bool inLocToAddrsTable(const AbstractState& es, u32_t id) const
134
134
  {
135
135
  return es.inLocToAddrsTable(id);
136
136
  }
package/SVF-osx/Release-build/bin/ae CHANGED
Binary file
package/SVF-osx/Release-build/bin/svf-ex CHANGED
Binary file
package/SVF-osx/Release-build/include/AE/Svfexe/SVFIR2AbsState.h CHANGED
@@ -67,24 +67,24 @@ public:
67
67
  /// Return the value range of Integer SVF Type, e.g. unsigned i8 Type->[0, 255], signed i8 Type->[-128, 127]
68
68
  AbstractValue getRangeLimitFromType(const SVFType* type);
69
69
 
70
- AbstractValue getZExtValue(AbstractState& es, const SVFVar* var);
71
- AbstractValue getSExtValue(AbstractState& es, const SVFVar* var);
72
- AbstractValue getFPToSIntValue(AbstractState& es, const SVFVar* var);
73
- AbstractValue getFPToUIntValue(AbstractState& es, const SVFVar* var);
74
- AbstractValue getSIntToFPValue(AbstractState& es, const SVFVar* var);
75
- AbstractValue getUIntToFPValue(AbstractState& es, const SVFVar* var);
76
- AbstractValue getTruncValue(AbstractState& es, const SVFVar* var, const SVFType* dstType);
77
- AbstractValue getFPTruncValue(AbstractState& es, const SVFVar* var, const SVFType* dstType);
70
+ AbstractValue getZExtValue(const AbstractState& es, const SVFVar* var);
71
+ AbstractValue getSExtValue(const AbstractState& es, const SVFVar* var);
72
+ AbstractValue getFPToSIntValue(const AbstractState& es, const SVFVar* var);
73
+ AbstractValue getFPToUIntValue(const AbstractState& es, const SVFVar* var);
74
+ AbstractValue getSIntToFPValue(const AbstractState& es, const SVFVar* var);
75
+ AbstractValue getUIntToFPValue(const AbstractState& es, const SVFVar* var);
76
+ AbstractValue getTruncValue(const AbstractState& es, const SVFVar* var, const SVFType* dstType);
77
+ AbstractValue getFPTruncValue(const AbstractState& es, const SVFVar* var, const SVFType* dstType);
78
78
 
79
79
  /// Return the byte offset expression of a GepStmt
80
80
  /// elemBytesize is the element byte size of an static alloc or heap alloc array
81
81
  /// e.g. GepStmt* gep = [i32*10], x, and x is [0,3]
82
82
  /// std::pair<s32_t, s32_t> byteOffset = getByteOffset(gep);
83
83
  /// byteOffset should be [0, 12] since i32 is 4 bytes.
84
- AbstractValue getByteOffset(AbstractState& es, const GepStmt *gep);
84
+ AbstractValue getByteOffset(const AbstractState& es, const GepStmt *gep);
85
85
 
86
86
  /// Return the offset expression of a GepStmt
87
- AbstractValue getItvOfFlattenedElemIndex(AbstractState& es, const GepStmt *gep);
87
+ AbstractValue getItvOfFlattenedElemIndex(const AbstractState& es, const GepStmt *gep);
88
88
 
89
89
 
90
90
  static z3::context &getContext()
@@ -111,26 +111,26 @@ public:
111
111
 
112
112
 
113
113
  /// whether the variable is in varToVal table
114
- inline bool inVarToValTable(AbstractState& es, u32_t id) const
114
+ inline bool inVarToValTable(const AbstractState& es, u32_t id) const
115
115
  {
116
116
  return es.inVarToValTable(id);
117
117
  }
118
118
 
119
119
  /// whether the variable is in varToAddrs table
120
- inline bool inVarToAddrsTable(AbstractState& es, u32_t id) const
120
+ inline bool inVarToAddrsTable(const AbstractState& es, u32_t id) const
121
121
  {
122
122
  return es.inVarToAddrsTable(id);
123
123
  }
124
124
 
125
125
 
126
126
  /// whether the memory address stores a interval value
127
- inline bool inLocToValTable(AbstractState& es, u32_t id) const
127
+ inline bool inLocToValTable(const AbstractState& es, u32_t id) const
128
128
  {
129
129
  return es.inLocToValTable(id);
130
130
  }
131
131
 
132
132
  /// whether the memory address stores memory addresses
133
- inline bool inLocToAddrsTable(AbstractState& es, u32_t id) const
133
+ inline bool inLocToAddrsTable(const AbstractState& es, u32_t id) const
134
134
  {
135
135
  return es.inLocToAddrsTable(id);
136
136
  }
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1944",
3
+ "version": "1.0.1946",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {