svf-lib 1.0.1228 → 1.0.1230
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.
|
Binary file
|
|
@@ -97,6 +97,8 @@ typedef llvm::VAStartInst VAStartInst;
|
|
|
97
97
|
typedef llvm::BinaryOperator BinaryOperator;
|
|
98
98
|
typedef llvm::UnaryOperator UnaryOperator;
|
|
99
99
|
typedef llvm::UndefValue UndefValue;
|
|
100
|
+
|
|
101
|
+
#if LLVM_VERSION_MAJOR >= 13
|
|
100
102
|
typedef llvm::IntrinsicInst IntrinsicInst;
|
|
101
103
|
typedef llvm::DbgInfoIntrinsic DbgInfoIntrinsic;
|
|
102
104
|
typedef llvm::DbgVariableIntrinsic DbgVariableIntrinsic;
|
|
@@ -140,6 +142,7 @@ typedef llvm::GCProjectionInst GCProjectionInst;
|
|
|
140
142
|
typedef llvm::GCRelocateInst GCRelocateInst;
|
|
141
143
|
typedef llvm::GCResultInst GCResultInst;
|
|
142
144
|
typedef llvm::AssumeInst AssumeInst;
|
|
145
|
+
#endif
|
|
143
146
|
|
|
144
147
|
// LLVM Debug Information
|
|
145
148
|
typedef llvm::DIType DIType;
|
|
Binary file
|
|
@@ -36,7 +36,7 @@ namespace SVF
|
|
|
36
36
|
{
|
|
37
37
|
|
|
38
38
|
/*!
|
|
39
|
-
* Generate Normalized Grammar from a grammarbase
|
|
39
|
+
* Generate Normalized Grammar (backus naur form) from a grammarbase (Extended extended Backus–Naur form )
|
|
40
40
|
*
|
|
41
41
|
* To Do:
|
|
42
42
|
* Error Notice for ill formed production,
|
|
@@ -64,6 +64,8 @@ private:
|
|
|
64
64
|
|
|
65
65
|
void ebnfSignReplace(char sign, CFLGrammar *grammar);
|
|
66
66
|
|
|
67
|
+
void barReplace(CFLGrammar *grammar);
|
|
68
|
+
|
|
67
69
|
void insertToCFLGrammar(CFLGrammar *grammar, GrammarBase::Production &prod);
|
|
68
70
|
|
|
69
71
|
int ebnfBracketMatch(GrammarBase::Production& prod, int i, CFLGrammar *grammar) ;
|
|
@@ -3,22 +3,9 @@ Start:
|
|
|
3
3
|
Terminal:
|
|
4
4
|
Addr Copy Store Load Gep
|
|
5
5
|
Productions:
|
|
6
|
-
F ->
|
|
6
|
+
F -> ( Copy M ? ) *;
|
|
7
|
+
Fbar -> ( M ? Copybar ) *;
|
|
7
8
|
M -> Addr V Addrbar;
|
|
8
|
-
V -> Fbar V F;
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
V -> epsilon;
|
|
12
|
-
F -> F Copy;
|
|
13
|
-
F -> F Copy M;
|
|
14
|
-
Fbar -> epsilon;
|
|
15
|
-
Fbar -> Copybar Fbar;
|
|
16
|
-
Fbar -> M Copybar Fbar;
|
|
17
|
-
ArrayPath -> Gepbar_0 Gepbar_0;
|
|
18
|
-
ArrayPath -> ArrayPath Gepbar_0;
|
|
19
|
-
Memcpy -> Addrbar V Addr;
|
|
20
|
-
Memcpy -> Gep_i Memcpy Gepbar_i;
|
|
21
|
-
Memcpy -> F Memcpy Fbar;
|
|
22
|
-
V -> Gepbar_i Memcpy Gep_i;
|
|
23
|
-
V -> Gep_i Memcpy Gepbar_i;
|
|
24
|
-
V -> ArrayPath V Gep_0;
|
|
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;
|