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
|
(*
* This file is part of Coccinelle, licensed 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
*)
type regexp =
Pcre of int (* Pcre.regexp *)
| Str of Str.regexp
(* A table is used because PCRE regular expressions are not comparable.
They sit in constraints of rule_elems that get bound to exists v variables
in the matching process. It would be expensive to strip them at runtime,
and complex to strip them statically, because both stripped and unstripped
versions would be needed in cocci_vs_c. So instead we just replace them by
integers, which are comparable. *)
let pcre_table = Hashtbl.create 101
let pcre_ctr = ref 0
let pcre_support = ref true
let regexp string =
if !pcre_support
then
begin
let c = !pcre_ctr in
pcre_ctr := !pcre_ctr + 1;
Hashtbl.add pcre_table c (Pcre.regexp string);
Pcre c
end
else Str (Str.regexp string)
let string_match regexp string =
match regexp with
Pcre regexp ->
let regexp = Hashtbl.find pcre_table regexp in
Pcre.pmatch ~rex:regexp string
| Str regexp ->
try
ignore(Str.search_forward regexp string 0);
true
with _ -> false
|
