svf-lib 1.0.1269 → 1.0.1271

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 (9) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/CFL/CFLBase.h +4 -1
  3. package/SVF-linux/include/CFL/CFLGrammar.txt +2 -2
  4. package/SVF-linux/include/Util/ExtAPI.json +2 -2
  5. package/SVF-osx/Release-build/lib/libSvf.a +0 -0
  6. package/SVF-osx/include/CFL/CFLBase.h +4 -1
  7. package/SVF-osx/include/CFL/CFLGrammar.txt +2 -2
  8. package/SVF-osx/include/Util/ExtAPI.json +2 -2
  9. package/package.json +1 -1
package/SVF-linux/include/CFL/CFLBase.h CHANGED
@@ -79,6 +79,9 @@ public:
79
79
  /// Solving CFL Reachability
80
80
  virtual void solve();
81
81
 
82
+ /// Finalize extra stat info passing
83
+ virtual void finalize();
84
+
82
85
  /// Perform analyze (main part of CFLR Analysis)
83
86
  virtual void analyze();
84
87
 
@@ -95,7 +98,7 @@ public:
95
98
  static double numOfStartEdges; // Number of start nonterminal labeled edges
96
99
  // Solver
97
100
  static double numOfIteration; // Number solving Iteration
98
- static double numOfChecks; // Number of checks
101
+ static double numOfChecks; // Number of checks
99
102
  static double timeOfSolving; // time of solving CFL Reachability
100
103
  //@}
101
104
 
package/SVF-linux/include/CFL/CFLGrammar.txt CHANGED
@@ -6,10 +6,10 @@ Productions:
6
6
  F -> epsilon | F copy | addr Memflow | F store V load | store Memflow load;
7
7
  Fbar -> epsilon | copybar Fbar | Memflowbar addrbar | loadbar V storebar Fbar | loadbar Memflowbar storebar;
8
8
  V -> Fbar V F | addrbar addr | gepbar_i V gep_i | gepbarpath V gep_0 | gepbar_i F gep_i | gepbar_i Fbar gep_i;
9
- copy -> vgep；
9
+ copy -> vgep;
10
10
  copybar -> vgepbar;
11
11
  gep_1 -> gep_0 F vgep | gep_0 F gep_1;
12
12
  gepbar_1 -> gepbar_1 Fbar gepbar_0 | vgepbar Fbar gepbar_0;
13
13
  gepbarpath -> gepbar_0 gepbar_0 | gepbarpath gepbar_0;
14
- Memflow -> load store | Fbar Memflow | F Memflow Fbar | gep_i Memflow gepbar_i | gepbar_i Memflow gep_i;;
14
+ Memflow -> load store | Fbar Memflow | F Memflow Fbar | gep_i Memflow gepbar_i | gepbar_i Memflow gep_i;
15
15
  Memflowbar -> storebar loadbar | Memflowbar F | F Memflowbar Fbar | gep_i Memflowbar gepbar_i | gepbar_i Memflowbar gep_i;
package/SVF-linux/include/Util/ExtAPI.json CHANGED
@@ -5689,8 +5689,8 @@
5689
5689
  }
5690
5690
  },
5691
5691
  "_ZNSt5arrayIPK1ALm2EE4backEv":{
5692
- "return": "void",
5693
- "arguments": "()",
5692
+ "return": "%class.A** ",
5693
+ "arguments": "(%struct.std::array *)",
5694
5694
  "type": "CPP_EFT_DYNAMIC_CAST",
5695
5695
  "overwrite_app_function": 1,
5696
5696
  "GepStmt1": {
package/SVF-osx/Release-build/lib/libSvf.a CHANGED
Binary file
package/SVF-osx/include/CFL/CFLBase.h CHANGED
@@ -79,6 +79,9 @@ public:
79
79
  /// Solving CFL Reachability
80
80
  virtual void solve();
81
81
 
82
+ /// Finalize extra stat info passing
83
+ virtual void finalize();
84
+
82
85
  /// Perform analyze (main part of CFLR Analysis)
83
86
  virtual void analyze();
84
87
 
@@ -95,7 +98,7 @@ public:
95
98
  static double numOfStartEdges; // Number of start nonterminal labeled edges
96
99
  // Solver
97
100
  static double numOfIteration; // Number solving Iteration
98
- static double numOfChecks; // Number of checks
101
+ static double numOfChecks; // Number of checks
99
102
  static double timeOfSolving; // time of solving CFL Reachability
100
103
  //@}
101
104
 
package/SVF-osx/include/CFL/CFLGrammar.txt CHANGED
@@ -6,10 +6,10 @@ Productions:
6
6
  F -> epsilon | F copy | addr Memflow | F store V load | store Memflow load;
7
7
  Fbar -> epsilon | copybar Fbar | Memflowbar addrbar | loadbar V storebar Fbar | loadbar Memflowbar storebar;
8
8
  V -> Fbar V F | addrbar addr | gepbar_i V gep_i | gepbarpath V gep_0 | gepbar_i F gep_i | gepbar_i Fbar gep_i;
9
- copy -> vgep；
9
+ copy -> vgep;
10
10
  copybar -> vgepbar;
11
11
  gep_1 -> gep_0 F vgep | gep_0 F gep_1;
12
12
  gepbar_1 -> gepbar_1 Fbar gepbar_0 | vgepbar Fbar gepbar_0;
13
13
  gepbarpath -> gepbar_0 gepbar_0 | gepbarpath gepbar_0;
14
- Memflow -> load store | Fbar Memflow | F Memflow Fbar | gep_i Memflow gepbar_i | gepbar_i Memflow gep_i;;
14
+ Memflow -> load store | Fbar Memflow | F Memflow Fbar | gep_i Memflow gepbar_i | gepbar_i Memflow gep_i;
15
15
  Memflowbar -> storebar loadbar | Memflowbar F | F Memflowbar Fbar | gep_i Memflowbar gepbar_i | gepbar_i Memflowbar gep_i;
package/SVF-osx/include/Util/ExtAPI.json CHANGED
@@ -5689,8 +5689,8 @@
5689
5689
  }
5690
5690
  },
5691
5691
  "_ZNSt5arrayIPK1ALm2EE4backEv":{
5692
- "return": "void",
5693
- "arguments": "()",
5692
+ "return": "%class.A** ",
5693
+ "arguments": "(%struct.std::array *)",
5694
5694
  "type": "CPP_EFT_DYNAMIC_CAST",
5695
5695
  "overwrite_app_function": 1,
5696
5696
  "GepStmt1": {
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1269",
3
+ "version": "1.0.1271",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {