1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
|
(*
* This file is part of Coccinelle, lincensed under the terms of the GPL v2.
* See copyright.txt in the Coccinelle source code for more information.
* The Coccinelle source code can be obtained at http://coccinelle.lip6.fr
*)
(*****************************************************************************)
(* Cocci vs C *)
(*****************************************************************************)
(* This module was introduced to factorize code between
* pattern.ml and transformation.ml. In both cases we need
* to "compare" a piece of C with a piece of Cocci, and depending
* if we want just to pattern or transform, we perform different
* actions on the tokens. So, the common code is in this module
* and the module specific actions are in pattern.ml and transformation.ml.
*
* We could have used a visitor approach as in visitor_c but I prefer
* this time to use a functor. The specific actions are passed
* via a module to the functor.
*
* If the functor is too complex too understand, you can look at
* the comments in pattern.ml and transformation.ml to look at
* how it was done before, which may help to understand how
* it is done now.
*
* You can also look at the papers on parser combinators in haskell
* (cf a pearl by meijer in ICFP) to understand our monadic
* approach to matching/unifying.
*)
(* should be used as less as possible. Most of the time the code in
* cocci_vs_c should be the same if we pattern or transform *)
type mode = PatternMode | TransformMode
(* used in both pattern and transform, in envf *)
val equal_metavarval :
Ast_c.metavar_binding_kind -> Ast_c.metavar_binding_kind -> bool
(* for inherited metavariables. no declaration link on expressions *)
val equal_inh_metavarval :
Ast_c.metavar_binding_kind -> Ast_c.metavar_binding_kind -> bool
(*****************************************************************************)
(* The parameter of the functor (the specific actions) *)
(*****************************************************************************)
module type PARAM =
sig
type tin
type 'a tout
(* a matcher between 'a' and 'b' take 'a' and 'b' in parameter,
* and "something" (tin; a state that is threaded across calls),
* and return a new 'a' and 'b' encapsulated in "something" (tout)
*)
type ('a, 'b) matcher = 'a -> 'b -> tin -> ('a * 'b) tout
val constraint_checker:
(Ast_cocci.meta_name -> Ast_c.metavar_binding_kind ->
(Ast_cocci.meta_name -> Ast_c.metavar_binding_kind) ->
Ast_cocci.constraints -> tin -> (unit * unit) tout) ref
val mode : mode
(* -------------------------------------------------------------------- *)
(* The monadic combinators *)
(* -------------------------------------------------------------------- *)
(* it kinds of take a matcher in parameter, and another matcher,
* and returns a matcher, so =~ matcher -> matcher -> matcher
*)
val ( >>= ) :
(tin -> ('a * 'b) tout) ->
('a -> 'b -> tin -> ('c * 'd) tout) ->
tin -> ('c * 'd) tout
val return : 'a * 'b -> tin -> ('a * 'b) tout
val fail : tin -> ('a * 'b) tout
val ( >||> ) : (tin -> 'a tout) -> (tin -> 'a tout) -> tin -> 'a tout
val ( >|+|> ) : (tin -> 'a tout) -> (tin -> 'a tout) -> tin -> 'a tout
val ( >&&> ) : (tin -> bool) -> (tin -> 'a tout) -> tin -> 'a tout
val mnot : (tin -> 'a tout) -> 'a -> tin -> 'a tout
(* -------------------------------------------------------------------- *)
(* Tokens tagging *)
(* -------------------------------------------------------------------- *)
val tokenf : ('a Ast_cocci.mcode, Ast_c.info) matcher
val tokenf_mck : (Ast_cocci.mcodekind, Ast_c.info) matcher
(* -------------------------------------------------------------------- *)
(* Distr_f functions, to tag a range of tokens *)
(* -------------------------------------------------------------------- *)
val distrf_e :
(Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.expression) matcher
val distrf_assignOp :
(Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.assignOp) matcher
val distrf_binaryOp :
(Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.binaryOp) matcher
val distrf_args :
(Ast_cocci.meta_name Ast_cocci.mcode,
(Ast_c.argument, Ast_c.il) Common.either list)
matcher
val distrf_type :
(Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.fullType) matcher
val distrf_params :
(Ast_cocci.meta_name Ast_cocci.mcode,
(Ast_c.parameterType, Ast_c.il) Common.either list)
matcher
val distrf_param :
(Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.parameterType) matcher
val distrf_ini :
(Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.initialiser) matcher
val distrf_inis :
(Ast_cocci.meta_name Ast_cocci.mcode,
(Ast_c.initialiser, Ast_c.il) Common.either list) matcher
val distrf_decl :
(Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.declaration) matcher
val distrf_field :
(Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.field) matcher
val distrf_node :
(Ast_cocci.meta_name Ast_cocci.mcode, Control_flow_c.node) matcher
val distrf_fragments :
(Ast_cocci.meta_name Ast_cocci.mcode,
(Ast_c.string_fragment, Ast_c.il) Common.either list) matcher
val distrf_format :
(Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.string_format) matcher
val distrf_define_params :
(Ast_cocci.meta_name Ast_cocci.mcode,
(string Ast_c.wrap, Ast_c.il) Common.either list)
matcher
val distrf_enum_fields :
(Ast_cocci.meta_name Ast_cocci.mcode,
(Ast_c.oneEnumType, Ast_c.il) Common.either list) matcher
val distrf_struct_fields :
(Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.field list)
matcher
val distrf_cst :
(Ast_cocci.meta_name Ast_cocci.mcode,
(Ast_c.constant, string) Common.either Ast_c.wrap)
matcher
val distrf_ident_list :
(Ast_cocci.meta_name Ast_cocci.mcode,
(Ast_c.name, Ast_c.il) Common.either list) matcher
val distrf_exec_code_list :
(Ast_cocci.meta_name Ast_cocci.mcode,
(Ast_c.exec_code, Ast_c.il) Common.either list) matcher
val distrf_attr_arg :
(Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.attr_arg) matcher
val distrf_attr :
(Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.attribute) matcher
val distrf_attrs :
(Ast_cocci.meta_name Ast_cocci.mcode,
(Ast_c.attribute, Ast_c.il) Common.either list) matcher
(* -------------------------------------------------------------------- *)
(* Modifying nested expression and nested types, with Exp and Ty *)
(* -------------------------------------------------------------------- *)
val cocciExp :
(Ast_cocci.expression, Ast_c.expression) matcher ->
(Ast_cocci.expression, Control_flow_c.node) matcher
val cocciExpExp :
Ast_cocci.mcodekind ->
(Ast_cocci.expression, Ast_c.expression) matcher ->
(Ast_cocci.expression, Ast_c.expression) matcher
val cocciTy :
(Ast_cocci.fullType, Ast_c.fullType) matcher ->
(Ast_cocci.fullType, Control_flow_c.node) matcher
val cocciId :
(Ast_cocci.ident, Ast_c.name) matcher ->
(Ast_cocci.ident, Control_flow_c.node) matcher
val cocciInit :
(Ast_cocci.initialiser, Ast_c.initialiser) matcher ->
(Ast_cocci.initialiser, Control_flow_c.node) matcher
(* -------------------------------------------------------------------- *)
(* Environment manipulation. Extract info from tin, the "something" *)
(* -------------------------------------------------------------------- *)
val envf :
Ast_cocci.keep_binding ->
Ast_cocci.inherited ->
Ast_cocci.meta_name Ast_cocci.mcode * Ast_c.metavar_binding_kind *
(* pos info, if needed *)
(unit -> Ast_c.info list) ->
(unit -> tin -> 'x tout) -> (tin -> 'x tout)
val check_constraints :
Ast_cocci.meta_name -> Ast_c.metavar_binding_kind ->
Ast_cocci.constraints -> (unit -> tin -> 'x tout) -> tin -> 'x tout
val check_re_constraints :
Ast_cocci.meta_name -> Ast_cocci.constraints ->
(unit -> tin -> 'x tout) -> tin -> 'x tout
val check_constraints_ne :
('a, 'b) matcher -> 'a list -> 'b ->
(unit -> tin -> 'x tout) -> (tin -> 'x tout)
val all_bound : Ast_cocci.meta_name list -> tin -> bool
val optional_storage_flag : (bool -> tin -> 'x tout) -> (tin -> 'x tout)
val optional_qualifier_flag : (bool -> tin -> 'x tout) -> (tin -> 'x tout)
val value_format_flag: (bool -> tin -> 'x tout) -> (tin -> 'x tout)
val optional_declarer_semicolon_flag :
(bool -> tin -> 'x tout) -> (tin -> 'x tout)
val optional_attributes_flag :
(bool -> tin -> 'x tout) -> (tin -> 'x tout)
end
(*****************************************************************************)
(* The functor itself *)
(*****************************************************************************)
module COCCI_VS_C :
functor (X : PARAM) ->
sig
type ('a, 'b) matcher = 'a -> 'b -> X.tin -> ('a * 'b) X.tout
val rule_elem_node : (Ast_cocci.rule_elem, Control_flow_c.node) matcher
(* there are far more functions in this functor but they do not have
* to be exported
*)
end
|