svf-lib 1.0.2404 → 1.0.2406

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 (6) hide show
  1. package/SVF-linux-x86_64/include/AE/Core/AbstractState.h +2 -2
  2. package/SVF-linux-x86_64/lib/libSvfCore.so.3.2 +0 -0
  3. package/SVF-osx/bin/ae +0 -0
  4. package/SVF-osx/include/AE/Core/AddressValue.h +1 -1
  5. package/SVF-osx/lib/libSvfCore.3.2.dylib +0 -0
  6. package/package.json +1 -1
package/SVF-linux-x86_64/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/SVF-osx/bin/ae CHANGED
Binary file
package/SVF-osx/include/AE/Core/AddressValue.h CHANGED
@@ -217,7 +217,7 @@ public:
217
217
  /// Check bit value of val start with 0x7F000000, filter by 0xFF000000
218
218
  static inline bool isVirtualMemAddress(u32_t val)
219
219
  {
220
- return (val & 0xff000000) == AddressMask && val != AddressMask + 0;
220
+ return (val & 0xff000000) == AddressMask;
221
221
  }
222
222
 
223
223
  };
package/SVF-osx/lib/libSvfCore.3.2.dylib CHANGED
Binary file
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2404",
3
+ "version": "1.0.2406",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {