svf-lib 1.0.1259 → 1.0.1261

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/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/CFL/CFLAlias.h +2 -3
  3. package/SVF-linux/include/CFL/CFLGrammar.h +2 -0
  4. package/SVF-linux/include/CFL/CFLGrammar.txt +28 -28
  5. package/SVF-linux/include/CFL/PEGGrammar.txt +7 -7
  6. package/SVF-linux/include/CFL/VFG.txt +3 -3
  7. package/SVF-osx/Release-build/lib/libSvf.a +0 -0
  8. package/SVF-osx/include/CFL/CFLAlias.h +2 -3
  9. package/SVF-osx/include/CFL/CFLGrammar.h +2 -0
  10. package/SVF-osx/include/CFL/CFLGrammar.txt +28 -28
  11. package/SVF-osx/include/CFL/PEGGrammar.txt +7 -7
  12. package/SVF-osx/include/CFL/VFG.txt +3 -3
  13. package/package.json +1 -1
package/SVF-linux/include/CFL/CFLAlias.h CHANGED
@@ -107,10 +107,9 @@ public:
107
107
  if (edge != nullptr )
108
108
  {
109
109
  return false;
110
-
111
110
  }
112
- CFLGrammar::Kind copyKind = grammar->str2Kind("Copy");
113
- CFLGrammar::Kind copybarKind = grammar->str2Kind("Copybar");
111
+ CFLGrammar::Kind copyKind = grammar->str2Kind("copy");
112
+ CFLGrammar::Kind copybarKind = grammar->str2Kind("copybar");
114
113
  solver->pushIntoWorklist(graph->addCFLEdge(graph->getGNode(src),graph->getGNode(dst), copyKind));
115
114
  solver->pushIntoWorklist(graph->addCFLEdge(graph->getGNode(dst),graph->getGNode(src), copybarKind));
116
115
  return true;
package/SVF-linux/include/CFL/CFLGrammar.h CHANGED
@@ -246,6 +246,8 @@ public:
246
246
 
247
247
  Symbol insertNonTerminalSymbol(std::string strLit);
248
248
 
249
+ Symbol insertTerminalSymbol(std::string strLit);
250
+
249
251
  void insertAttribute(Kind kind, Attribute a);
250
252
 
251
253
  inline static Kind getAttributedKind(Attribute attribute, Kind kind)
package/SVF-linux/include/CFL/CFLGrammar.txt CHANGED
@@ -1,39 +1,39 @@
1
1
  Start:
2
2
  V
3
3
  Terminal:
4
- Addr Copy Store Load Gep Vgep
4
+ addr copy store load gep vgep
5
5
  Productions:
6
6
  F -> epsilon;
7
- F -> F Copy;
8
- F -> Addr Memflow;
9
- F -> F Store V Load;
10
- F -> Store Memflow Load;
7
+ F -> F copy;
8
+ F -> addr Memflow;
9
+ F -> F store V load;
10
+ F -> store Memflow load;
11
11
  Fbar -> epsilon;
12
- Fbar -> Copybar Fbar;
13
- Fbar -> Memflowbar Addrbar;
14
- Fbar -> Loadbar V Storebar Fbar;
15
- Fbar -> Loadbar Memflowbar Storebar;
12
+ Fbar -> copybar Fbar;
13
+ Fbar -> Memflowbar addrbar;
14
+ Fbar -> loadbar V storebar Fbar;
15
+ Fbar -> loadbar Memflowbar storebar;
16
16
  V -> Fbar V F;
17
- V -> Addrbar Addr;
18
- V -> Gepbar_i V Gep_i;
19
- V -> Gepbarpath V Gep_0;
20
- V -> Gepbar_i F Gep_i;
21
- V -> Gepbar_i Fbar Gep_i;
22
- Copy -> Vgep;
23
- Copybar -> Vgepbar;
24
- Gep_1 -> Gep_0 F Gep_1;
25
- Gepbar_1 -> Gepbar_1 Fbar Gepbar_0;
26
- Gep_1 -> Gep_0 F Vgep;
27
- Gepbar_1 -> Vgepbar Fbar Gepbar_0;
28
- Gepbarpath -> Gepbar_0 Gepbar_0;
29
- Gepbarpath -> Gepbarpath Gepbar_0;
30
- Memflow -> Load Store;
17
+ V -> addrbar addr;
18
+ V -> gepbar_i V gep_i;
19
+ V -> gepbarpath V gep_0;
20
+ V -> gepbar_i F gep_i;
21
+ V -> gepbar_i Fbar gep_i;
22
+ copy -> vgep;
23
+ copybar -> vgepbar;
24
+ gep_1 -> gep_0 F gep_1;
25
+ gepbar_1 -> gepbar_1 Fbar gepbar_0;
26
+ gep_1 -> gep_0 F vgep;
27
+ gepbar_1 -> vgepbar Fbar gepbar_0;
28
+ gepbarpath -> gepbar_0 gepbar_0;
29
+ gepbarpath -> gepbarpath gepbar_0;
30
+ Memflow -> load store;
31
31
  Memflow -> Fbar Memflow;
32
32
  Memflow -> F Memflow Fbar;
33
- Memflow -> Gep_i Memflow Gepbar_i;
34
- Memflow -> Gepbar_i Memflow Gep_i;
35
- Memflowbar -> Storebar Loadbar;
33
+ Memflow -> gep_i Memflow gepbar_i;
34
+ Memflow -> gepbar_i Memflow gep_i;
35
+ Memflowbar -> storebar loadbar;
36
36
  Memflowbar -> Memflowbar F;
37
37
  Memflowbar -> F Memflowbar Fbar;
38
- Memflowbar -> Gep_i Memflowbar Gepbar_i;
39
- Memflowbar -> Gepbar_i Memflowbar Gep_i;
38
+ Memflowbar -> gep_i Memflowbar gepbar_i;
39
+ Memflowbar -> gepbar_i Memflowbar gep_i;
package/SVF-linux/include/CFL/PEGGrammar.txt CHANGED
@@ -1,11 +1,11 @@
1
1
  Start:
2
2
  V
3
3
  Terminal:
4
- Addr Copy Store Load Gep
4
+ addr copy store load gep
5
5
  Productions:
6
- F -> ( Copy M ? ) *;
7
- Fbar -> ( M ? Copybar ) *;
8
- M -> Addr V Addrbar;
9
- V -> Fbar V F | Gepbar_i V Gep_i | M | epsilon | Gepbar_i Memcpy Gep_i | Gep_i Memcpy Gepbar_i | ArrayPath V Gep_0;
10
- ArrayPath -> Gepbar_0 Gepbar_0 | ArrayPath Gepbar_0;
11
- Memcpy -> Addrbar V Addr | Gep_i Memcpy Gepbar_i | F Memcpy Fbar;
6
+ F -> ( copy M ? ) *;
7
+ Fbar -> ( M ? copybar ) *;
8
+ M -> addr V addrbar;
9
+ V -> Fbar V F | gepbar_i V gep_i | M | epsilon | gepbar_i Memcpy gep_i | gep_i Memcpy gepbar_i | ArrayPath V gep_0;
10
+ ArrayPath -> gepbar_0 gepbar_0 | ArrayPath gepbar_0;
11
+ Memcpy -> addrbar V addr | gep_i Memcpy gepbar_i | F Memcpy Fbar;
package/SVF-linux/include/CFL/VFG.txt CHANGED
@@ -1,7 +1,7 @@
1
1
  Start:
2
2
  A
3
3
  Terminal:
4
- a Call Ret
4
+ a call ret
5
5
  Productions:
6
- A -> A A | a | Call_i A Ret_i | epsilon;
7
- Abar -> Abar Abar | abar | Retbar_i Abar Callbar_i | epsilon;
6
+ A -> A A | a | call_i A ret_i | epsilon;
7
+ Abar -> Abar Abar | abar | retbar_i Abar callbar_i | epsilon;
package/SVF-osx/Release-build/lib/libSvf.a CHANGED
Binary file
package/SVF-osx/include/CFL/CFLAlias.h CHANGED
@@ -107,10 +107,9 @@ public:
107
107
  if (edge != nullptr )
108
108
  {
109
109
  return false;
110
-
111
110
  }
112
- CFLGrammar::Kind copyKind = grammar->str2Kind("Copy");
113
- CFLGrammar::Kind copybarKind = grammar->str2Kind("Copybar");
111
+ CFLGrammar::Kind copyKind = grammar->str2Kind("copy");
112
+ CFLGrammar::Kind copybarKind = grammar->str2Kind("copybar");
114
113
  solver->pushIntoWorklist(graph->addCFLEdge(graph->getGNode(src),graph->getGNode(dst), copyKind));
115
114
  solver->pushIntoWorklist(graph->addCFLEdge(graph->getGNode(dst),graph->getGNode(src), copybarKind));
116
115
  return true;
package/SVF-osx/include/CFL/CFLGrammar.h CHANGED
@@ -246,6 +246,8 @@ public:
246
246
 
247
247
  Symbol insertNonTerminalSymbol(std::string strLit);
248
248
 
249
+ Symbol insertTerminalSymbol(std::string strLit);
250
+
249
251
  void insertAttribute(Kind kind, Attribute a);
250
252
 
251
253
  inline static Kind getAttributedKind(Attribute attribute, Kind kind)
package/SVF-osx/include/CFL/CFLGrammar.txt CHANGED
@@ -1,39 +1,39 @@
1
1
  Start:
2
2
  V
3
3
  Terminal:
4
- Addr Copy Store Load Gep Vgep
4
+ addr copy store load gep vgep
5
5
  Productions:
6
6
  F -> epsilon;
7
- F -> F Copy;
8
- F -> Addr Memflow;
9
- F -> F Store V Load;
10
- F -> Store Memflow Load;
7
+ F -> F copy;
8
+ F -> addr Memflow;
9
+ F -> F store V load;
10
+ F -> store Memflow load;
11
11
  Fbar -> epsilon;
12
- Fbar -> Copybar Fbar;
13
- Fbar -> Memflowbar Addrbar;
14
- Fbar -> Loadbar V Storebar Fbar;
15
- Fbar -> Loadbar Memflowbar Storebar;
12
+ Fbar -> copybar Fbar;
13
+ Fbar -> Memflowbar addrbar;
14
+ Fbar -> loadbar V storebar Fbar;
15
+ Fbar -> loadbar Memflowbar storebar;
16
16
  V -> Fbar V F;
17
- V -> Addrbar Addr;
18
- V -> Gepbar_i V Gep_i;
19
- V -> Gepbarpath V Gep_0;
20
- V -> Gepbar_i F Gep_i;
21
- V -> Gepbar_i Fbar Gep_i;
22
- Copy -> Vgep;
23
- Copybar -> Vgepbar;
24
- Gep_1 -> Gep_0 F Gep_1;
25
- Gepbar_1 -> Gepbar_1 Fbar Gepbar_0;
26
- Gep_1 -> Gep_0 F Vgep;
27
- Gepbar_1 -> Vgepbar Fbar Gepbar_0;
28
- Gepbarpath -> Gepbar_0 Gepbar_0;
29
- Gepbarpath -> Gepbarpath Gepbar_0;
30
- Memflow -> Load Store;
17
+ V -> addrbar addr;
18
+ V -> gepbar_i V gep_i;
19
+ V -> gepbarpath V gep_0;
20
+ V -> gepbar_i F gep_i;
21
+ V -> gepbar_i Fbar gep_i;
22
+ copy -> vgep;
23
+ copybar -> vgepbar;
24
+ gep_1 -> gep_0 F gep_1;
25
+ gepbar_1 -> gepbar_1 Fbar gepbar_0;
26
+ gep_1 -> gep_0 F vgep;
27
+ gepbar_1 -> vgepbar Fbar gepbar_0;
28
+ gepbarpath -> gepbar_0 gepbar_0;
29
+ gepbarpath -> gepbarpath gepbar_0;
30
+ Memflow -> load store;
31
31
  Memflow -> Fbar Memflow;
32
32
  Memflow -> F Memflow Fbar;
33
- Memflow -> Gep_i Memflow Gepbar_i;
34
- Memflow -> Gepbar_i Memflow Gep_i;
35
- Memflowbar -> Storebar Loadbar;
33
+ Memflow -> gep_i Memflow gepbar_i;
34
+ Memflow -> gepbar_i Memflow gep_i;
35
+ Memflowbar -> storebar loadbar;
36
36
  Memflowbar -> Memflowbar F;
37
37
  Memflowbar -> F Memflowbar Fbar;
38
- Memflowbar -> Gep_i Memflowbar Gepbar_i;
39
- Memflowbar -> Gepbar_i Memflowbar Gep_i;
38
+ Memflowbar -> gep_i Memflowbar gepbar_i;
39
+ Memflowbar -> gepbar_i Memflowbar gep_i;
package/SVF-osx/include/CFL/PEGGrammar.txt CHANGED
@@ -1,11 +1,11 @@
1
1
  Start:
2
2
  V
3
3
  Terminal:
4
- Addr Copy Store Load Gep
4
+ addr copy store load gep
5
5
  Productions:
6
- F -> ( Copy M ? ) *;
7
- Fbar -> ( M ? Copybar ) *;
8
- M -> Addr V Addrbar;
9
- V -> Fbar V F | Gepbar_i V Gep_i | M | epsilon | Gepbar_i Memcpy Gep_i | Gep_i Memcpy Gepbar_i | ArrayPath V Gep_0;
10
- ArrayPath -> Gepbar_0 Gepbar_0 | ArrayPath Gepbar_0;
11
- Memcpy -> Addrbar V Addr | Gep_i Memcpy Gepbar_i | F Memcpy Fbar;
6
+ F -> ( copy M ? ) *;
7
+ Fbar -> ( M ? copybar ) *;
8
+ M -> addr V addrbar;
9
+ V -> Fbar V F | gepbar_i V gep_i | M | epsilon | gepbar_i Memcpy gep_i | gep_i Memcpy gepbar_i | ArrayPath V gep_0;
10
+ ArrayPath -> gepbar_0 gepbar_0 | ArrayPath gepbar_0;
11
+ Memcpy -> addrbar V addr | gep_i Memcpy gepbar_i | F Memcpy Fbar;
package/SVF-osx/include/CFL/VFG.txt CHANGED
@@ -1,7 +1,7 @@
1
1
  Start:
2
2
  A
3
3
  Terminal:
4
- a Call Ret
4
+ a call ret
5
5
  Productions:
6
- A -> A A | a | Call_i A Ret_i | epsilon;
7
- Abar -> Abar Abar | abar | Retbar_i Abar Callbar_i | epsilon;
6
+ A -> A A | a | call_i A ret_i | epsilon;
7
+ Abar -> Abar Abar | abar | retbar_i Abar callbar_i | epsilon;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1259",
3
+ "version": "1.0.1261",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {