blob: 3cd7123b350308aeb51e312cc6556a82a5957995 (
plain)
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
|
module F = Filename
type value_constraint = Regex of string | External of string * string option
exception Bad_validator of string
let validate_value dir value_constraint value =
match value_constraint with
| Regex s ->
(try
let _ = Pcre.exec ~pat:s value in true
with Not_found -> false)
| External (v, c) ->
(* XXX: Using Unix.system is a bad idea on multiple levels,
especially when the input comes directly from the user...
We should do something about it.
*)
let validator = F.concat dir v in
let arg = BatOption.default "" c in
let danger = "[\",\\$,`]" in
let allowable = "'.*'" in
match Pcre.pmatch ~rex:(Pcre.regexp danger) validator with
|true -> false
|false ->
(match Pcre.pmatch ~rex:(Pcre.regexp danger) arg with
|false -> true
|true -> (try let _ = Pcre.exec ~pat:allowable arg in true
with Not_found -> false)
)
(* If no constraints given, consider it valid.
Otherwise consider it valid if it satisfies at least
one constraint *)
let validate_any validators constraints value =
let rec aux validators constraints value =
match constraints with
| [] -> false
| c :: cs -> if validate_value validators c value then true
else aux validators cs value
in
match constraints with
| [] -> true
| _ -> aux validators constraints value
|
