svf-lib 1.0.2402 → 1.0.2403

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 (3) hide show
  1. package/SVF-linux-aarch64/include/AE/Core/AbstractState.h +2 -2
  2. package/SVF-linux-aarch64/lib/libSvfCore.so.3.2 +0 -0
  3. package/package.json +1 -1
package/SVF-linux-aarch64/include/AE/Core/AbstractState.h CHANGED
@@ -184,12 +184,12 @@ public:
184
184
 
185
185
  static inline bool isNullMem(u32_t addr)
186
186
  {
187
- return AddressValue::getInternalID(addr) == NullMemAddr;
187
+ return addr == NullMemAddr;
188
188
  }
189
189
 
190
190
  static inline bool isInvalidMem(u32_t addr)
191
191
  {
192
- return AddressValue::getInternalID(addr) == InvalidMemAddr;
192
+ return addr == InvalidMemAddr;
193
193
  }
194
194
 
195
195
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2402",
3
+ "version": "1.0.2403",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {