svf-lib 1.0.1661 → 1.0.1663

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/ConsExeState.h +2 -0
  4. package/SVF-linux/svf/include/AbstractExecution/IntervalExeState.h +2 -0
  5. package/SVF-linux/svf/include/Graphs/ICFGWrapper.h +2 -1
  6. package/SVF-linux/svf/include/SVFIR/SVFType.h +1 -1
  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/ConsExeState.h +2 -0
  10. package/SVF-osx/svf/include/AbstractExecution/IntervalExeState.h +2 -0
  11. package/SVF-osx/svf/include/Graphs/ICFGWrapper.h +2 -1
  12. package/SVF-osx/svf/include/SVFIR/SVFType.h +1 -1
  13. package/package.json +1 -1
package/SVF-linux/svf/include/AbstractExecution/ConsExeState.h CHANGED
@@ -99,6 +99,8 @@ public:
99
99
  return "ConstantExpr";
100
100
  }
101
101
 
102
+ using ExeState::operator==;
103
+ using ExeState::operator!=;
102
104
  /// Exposed APIs
103
105
  //{%
104
106
  bool operator==(const ConsExeState &rhs) const;
package/SVF-linux/svf/include/AbstractExecution/IntervalExeState.h CHANGED
@@ -418,6 +418,8 @@ public:
418
418
  return true;
419
419
  }
420
420
 
421
+ using ExeState::operator==;
422
+ using ExeState::operator!=;
421
423
  bool operator==(const IntervalExeState &rhs) const
422
424
  {
423
425
  return ExeState::operator==(rhs) && eqVarToValMap(_varToItvVal, rhs.getVarToVal()) &&
package/SVF-linux/svf/include/Graphs/ICFGWrapper.h CHANGED
@@ -88,6 +88,7 @@ public:
88
88
  _icfgEdge = edge;
89
89
  }
90
90
 
91
+ using SVF::GenericEdge<NodeType>::operator==;
91
92
  /// Add the hash function for std::set (we also can overload operator< to implement this)
92
93
  // and duplicated elements in the set are not inserted (binary tree comparison)
93
94
  //@{
@@ -724,4 +725,4 @@ struct DOTGraphTraits<SVF::ICFGWrapper *> : public DOTGraphTraits<SVF::SVFIR *>
724
725
 
725
726
  } // End namespace SVF
726
727
 
727
- #endif //SVF_ICFGWRAPPER_H
728
+ #endif //SVF_ICFGWRAPPER_H
package/SVF-linux/svf/include/SVFIR/SVFType.h CHANGED
@@ -31,7 +31,7 @@
31
31
  #define INCLUDE_SVFIR_SVFTYPE_H_
32
32
 
33
33
  #include "Util/SparseBitVector.h"
34
-
34
+ #include <cstdint>
35
35
  #include <deque>
36
36
  #include <iostream>
37
37
  #include <list>
package/SVF-osx/svf/include/AbstractExecution/ConsExeState.h CHANGED
@@ -98,6 +98,8 @@ public:
98
98
  return "ConstantExpr";
99
99
  }
100
100
 
101
+ using ExeState::operator==;
102
+ using ExeState::operator!=;
101
103
  /// Exposed APIs
102
104
  //{%
103
105
  bool operator==(const ConsExeState &rhs) const;
package/SVF-osx/svf/include/AbstractExecution/IntervalExeState.h CHANGED
@@ -414,6 +414,8 @@ public:
414
414
  return true;
415
415
  }
416
416
 
417
+ using ExeState::operator==;
418
+ using ExeState::operator!=;
417
419
  bool operator==(const IntervalExeState &rhs) const
418
420
  {
419
421
  return ExeState::operator==(rhs) && eqVarToValMap(_varToItvVal, rhs.getVarToVal()) &&
package/SVF-osx/svf/include/Graphs/ICFGWrapper.h CHANGED
@@ -87,6 +87,7 @@ public:
87
87
  _icfgEdge = edge;
88
88
  }
89
89
 
90
+ using SVF::GenericEdge<NodeType>::operator==;
90
91
  /// Add the hash function for std::set (we also can overload operator< to implement this)
91
92
  // and duplicated elements in the set are not inserted (binary tree comparison)
92
93
  //@{
@@ -722,4 +723,4 @@ struct DOTGraphTraits<SVF::ICFGWrapper *> : public DOTGraphTraits<SVF::SVFIR *>
722
723
 
723
724
  } // End namespace SVF
724
725
 
725
- #endif //SVF_ICFGWRAPPER_H
726
+ #endif //SVF_ICFGWRAPPER_H
package/SVF-osx/svf/include/SVFIR/SVFType.h CHANGED
@@ -31,7 +31,7 @@
31
31
  #define INCLUDE_SVFIR_SVFTYPE_H_
32
32
 
33
33
  #include "Util/SparseBitVector.h"
34
-
34
+ #include <cstdint>
35
35
  #include <deque>
36
36
  #include <iostream>
37
37
  #include <list>
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1661",
3
+ "version": "1.0.1663",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {