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
|
The coccinelle modules are linked in the following order:
commons/commons.cma:
ocamlextra/dumper.cmo
ocamlextra/setb.cmo
ocamlextra/mapb.cmo
ocamlextra/setPt.cmo
commands.cmo
common.cmo
interfaces.cmo
objet.cmo
ocollection.cmo
seti.cmo
oset.cmo
oassoc.cmo
osequence.cmo
ocollection/osetb.cmo
ocollection/oassocb.cmo
oarray.cmo
ograph_simple.cmo
ograph_extended.cmo
glimpse.cmo
parser_combinators.cmo
ocamlextra/enum.cmo
ocamlextra/dynArray.cmo
ocamlextra/suffix_tree.cmo
ocamlextra/suffix_tree_ext.cmo
globals/globals.cma:
config.cmo
flag.cmo
iteration.cmo
regexp_pcre.cmo
regexp.cmo
ctl/ctl.cma:
flag_ctl.cmo
ast_ctl.cmo
pretty_print_ctl.cmo
ctl_engine.cmo
wrapper_ctl.cmo
parsing_cocci/cocci_parser.cma:
menhirLib.cmo
flag_parsing_cocci.cmo
type_cocci.cmo
ast_cocci.cmo
ast0_cocci.cmo
pretty_print_cocci.cmo
unparse_ast0.cmo
visitor_ast0_types.cmo
visitor_ast.cmo
visitor_ast0.cmo
compute_lines.cmo
comm_assoc.cmo
iso_pattern.cmo
iso_compile.cmo
single_statement.cmo
simple_assignments.cmo
get_metas.cmo
stmtlist.cmo
ast0toast.cmo
check_meta.cmo
top_level.cmo
type_infer.cmo
test_exps.cmo
unitary_ast0.cmo
arity.cmo
index.cmo
context_neg.cmo
adjust_pragmas.cmo
insert_plus.cmo
function_prototypes.cmo
unify_ast.cmo
semantic_cocci.cmo
data.cmo
free_vars.cmo
safe_for_multi_decls.cmo
parse_printf.cmo
parse_aux.cmo
disjdistr.cmo
lexer_cocci.cmo
parser_cocci_menhir.cmo
lexer_cli.cmo
lexer_script.cmo
cocci_grep.cmo
dpll.cmo
get_constants2.cmo
id_utils.cmo
git_grep.cmo
adjacency.cmo
commas_on_lists.cmo
parse_cocci.cmo
command_line.cmo
parsing_c/parsing_c.cma:
token_annot.cmo
flag_parsing_c.cmo
parsing_stat.cmo
token_c.cmo
ast_c.cmo
control_flow_c.cmo
visitor_c.cmo
lib_parsing_c.cmo
control_flow_c_build.cmo
pretty_print_c.cmo
semantic_c.cmo
lexer_parser.cmo
parser_c.cmo
lexer_c.cmo
parse_string_c.cmo
token_helpers.cmo
token_views_c.cmo
cpp_token_c.cmo
parsing_hacks.cmo
cpp_analysis_c.cmo
unparse_cocci.cmo
unparse_c.cmo
unparse_hrule.cmo
parsing_recovery_c.cmo
parsing_consistency_c.cmo
danger.cmo
parse_c.cmo
type_c.cmo
cpp_ast_c.cmo
type_annoter_c.cmo
comment_annotater_c.cmo
compare_c.cmo
test_parsing_c.cmo
engine/cocciengine.cma:
flag_matcher.cmo
lib_engine.cmo
pretty_print_engine.cmo
check_exhaustive_pattern.cmo
check_reachability.cmo
c_vs_c.cmo
isomorphisms_c_c.cmo
cocci_vs_c.cmo
pattern_c.cmo
transformation_c.cmo
asttomember.cmo
asttoctl2.cmo
ctltotex.cmo
postprocess_transinfo.cmo
ctlcocci_integration.cmo
popl09/popl.cma:
ast_popl.cmo
asttopopl.cmo
insert_quantifiers.cmo
pretty_print_popl.cmo
flag_popl.cmo
popltoctl.cmo
popl.cmo
extra/extra.cma:
classic_patch.cmo
kbuild.cmo
maintainers.cmo
python/coccipython.cma:
pycocci_aux.cmo
yes_pycocci.cmo # or no_pycocci.cmo
pycocci.cmo
ocaml/cocciocaml.cma:
externalanalysis.cmo
exposed_modules.cmo
coccilib.cmo
ocamlcocci_aux.cmo
yes_prepare_ocamlcocci.cmo # or no_prepare_ocamlcocci.cmo
prepare_ocamlcocci.cmo
run_ocamlcocci.cmo
flag_cocci.cmo
cocci.cmo
testing.cmo
read_options.cmo
main.cmo
|
