|
1
|
|
|
<?php |
|
2
|
|
|
|
|
3
|
|
|
namespace Trapdirector; |
|
4
|
|
|
|
|
5
|
|
|
use Exception; |
|
6
|
|
|
|
|
7
|
|
|
class Rule |
|
8
|
|
|
{ |
|
9
|
|
|
|
|
10
|
|
|
/** @var Logging $logging logging class*/ |
|
11
|
|
|
protected $logging; |
|
12
|
|
|
|
|
13
|
|
|
/** @var Trap $trapClass */ |
|
14
|
|
|
protected $trapClass; |
|
15
|
|
|
|
|
16
|
|
|
/** |
|
17
|
|
|
* Setup Rule Class |
|
18
|
|
|
* @param Trap $trapClass : To get logging class & plugin class |
|
19
|
|
|
*/ |
|
20
|
|
|
function __construct($trapClass) |
|
21
|
|
|
{ |
|
22
|
|
|
$this->trapClass=$trapClass; |
|
23
|
|
|
$this->logging=$trapClass->logging; |
|
24
|
|
|
} |
|
25
|
|
|
|
|
26
|
|
|
/** |
|
27
|
|
|
* Get full number |
|
28
|
|
|
* @return array<number,string> |
|
29
|
|
|
*/ |
|
30
|
|
|
private function get_number($rule,&$item) |
|
31
|
|
|
{ |
|
32
|
|
|
$item2=$item+1; |
|
33
|
|
|
while ( |
|
34
|
|
|
($item2!=strlen($rule)) |
|
35
|
|
|
&& (preg_match('/[\-0-9\.]/',$rule[$item2]))) |
|
36
|
|
|
{ |
|
37
|
|
|
$item2++ ; |
|
38
|
|
|
} |
|
39
|
|
|
$val=substr($rule,$item,$item2-$item); |
|
40
|
|
|
$item=$item2; |
|
41
|
|
|
//echo "number ".$val."\n"; |
|
42
|
|
|
|
|
43
|
|
|
return array(0,$val); |
|
44
|
|
|
} |
|
45
|
|
|
|
|
46
|
|
|
private function get_string($rule,&$item) |
|
47
|
|
|
{ |
|
48
|
|
|
$item++; |
|
49
|
|
|
$item2=$this->eval_getNext($rule,$item,'"'); |
|
50
|
|
|
$val=substr($rule,$item,$item2-$item-1); |
|
51
|
|
|
$item=$item2; |
|
52
|
|
|
//echo "string : ".$val."\n"; |
|
53
|
|
|
return array(1,$val); |
|
54
|
|
|
|
|
55
|
|
|
} |
|
56
|
|
|
|
|
57
|
|
|
/** |
|
58
|
|
|
* Parse elements inside () : jumps over "" and count parenthesis. |
|
59
|
|
|
* Ex : ( "test" != ")test" & (1==2) ) will return "test" != ")test" & (1==2) |
|
60
|
|
|
* @param string $rule : the current rule |
|
61
|
|
|
* @param int $item : actual position in rule |
|
62
|
|
|
* @throws Exception |
|
63
|
|
|
* @return string : everything inside parenthesis |
|
64
|
|
|
*/ |
|
65
|
|
|
private function parse_parenthesis(string $rule,int &$item) : string |
|
66
|
|
|
{ |
|
67
|
|
|
$item++; |
|
68
|
|
|
$start=$item; |
|
69
|
|
|
$parenthesis_count=0; |
|
70
|
|
|
while (($item < strlen($rule)) // Not end of string AND |
|
71
|
|
|
&& ( ($rule[$item] != ')' ) || $parenthesis_count > 0) ) // Closing ')' or embeded () |
|
72
|
|
|
{ |
|
73
|
|
|
if ($rule[$item] == '"' ) |
|
74
|
|
|
{ // pass through string |
|
75
|
|
|
$item++; |
|
76
|
|
|
$item=$this->eval_getNext($rule,$item,'"'); |
|
77
|
|
|
} |
|
78
|
|
|
else{ |
|
79
|
|
|
if ($rule[$item] == '(') |
|
80
|
|
|
{ |
|
81
|
|
|
$parenthesis_count++; |
|
82
|
|
|
} |
|
83
|
|
|
if ($rule[$item] == ')') |
|
84
|
|
|
{ |
|
85
|
|
|
$parenthesis_count--; |
|
86
|
|
|
} |
|
87
|
|
|
$item++; |
|
88
|
|
|
} |
|
89
|
|
|
} |
|
90
|
|
|
|
|
91
|
|
|
if ($item==strlen($rule)) {throw new Exception("no closing () in ".$rule ." at " .$item);} |
|
92
|
|
|
$val=substr($rule,$start,$item-$start); |
|
93
|
|
|
$item++; |
|
94
|
|
|
return $val; |
|
95
|
|
|
} |
|
96
|
|
|
|
|
97
|
|
|
|
|
98
|
|
|
/** |
|
99
|
|
|
* Get and eval a grouped condition - ex : (1==1) |
|
100
|
|
|
* @param string $rule |
|
101
|
|
|
* @param int $item |
|
102
|
|
|
* @return array |
|
103
|
|
|
*/ |
|
104
|
|
|
private function get_group(string $rule,int &$item) : array |
|
105
|
|
|
{ |
|
106
|
|
|
// gets eveything inside parenthesis |
|
107
|
|
|
$val=$this->parse_parenthesis($rule, $item); |
|
108
|
|
|
// Returns boolean with evaluation of all inside parenthesis |
|
109
|
|
|
$start=0; |
|
110
|
|
|
return array(2,$this->evaluation($val,$start)); |
|
111
|
|
|
} |
|
112
|
|
|
|
|
113
|
|
|
private function get_function(string $rule,int &$item) : array |
|
114
|
|
|
{ |
|
115
|
|
|
// function is : __function(param1,param2...) |
|
116
|
|
|
$start=$item; |
|
117
|
|
|
while (($item < strlen($rule)) && ($rule[$item] != '(' )) // Not end of string AND not opening '(' |
|
118
|
|
|
{ |
|
119
|
|
|
$item++; |
|
120
|
|
|
} |
|
121
|
|
|
if ($item==strlen($rule)) {throw new Exception("no opening () for function in ".$rule ." at " .$item);} |
|
122
|
|
|
|
|
123
|
|
|
// get parameters between parenthesis |
|
124
|
|
|
|
|
125
|
|
|
$this->parse_parenthesis($rule, $item); |
|
126
|
|
|
|
|
127
|
|
|
$val=substr($rule,$start,$item-$start); |
|
128
|
|
|
|
|
129
|
|
|
$this->logging->log('got function ' . $val,DEBUG); |
|
130
|
|
|
|
|
131
|
|
|
return array(2,$this->trapClass->pluginClass->evaluateFunctionString($val)); |
|
132
|
|
|
|
|
133
|
|
|
} |
|
134
|
|
|
|
|
135
|
|
|
protected function eval_getElement($rule,&$item) |
|
136
|
|
|
{ |
|
137
|
|
|
if ($item >= strlen($rule)) |
|
138
|
|
|
{ |
|
139
|
|
|
throw new Exception("Early end of string ".$rule ." at " .$item ); |
|
140
|
|
|
} |
|
141
|
|
|
while ($rule[$item]==' ') $item++; |
|
142
|
|
|
if (preg_match('/[\-0-9\.]/',$rule[$item])) |
|
143
|
|
|
{ // number |
|
144
|
|
|
return $this->get_number($rule, $item); |
|
145
|
|
|
} |
|
146
|
|
|
if ($rule[$item] == '"') |
|
147
|
|
|
{ // string |
|
148
|
|
|
return $this->get_string($rule, $item); |
|
149
|
|
|
} |
|
150
|
|
|
|
|
151
|
|
|
if ($rule[$item] == '(') |
|
152
|
|
|
{ // grouping |
|
153
|
|
|
return $this->get_group($rule, $item); |
|
154
|
|
|
} |
|
155
|
|
|
if ($rule[$item] == '_') |
|
156
|
|
|
{ // function |
|
157
|
|
|
return $this->get_function($rule, $item); |
|
158
|
|
|
} |
|
159
|
|
|
throw new Exception("number/string not found in ".$rule ." at " .$item . ' : ' .$rule[$item]); |
|
160
|
|
|
|
|
161
|
|
|
} |
|
162
|
|
|
|
|
163
|
|
|
protected function eval_getNext($rule,$item,$tok) |
|
164
|
|
|
{ |
|
165
|
|
|
while ( |
|
166
|
|
|
($rule[$item] != $tok ) |
|
167
|
|
|
&& ($item < strlen($rule))) |
|
168
|
|
|
{ |
|
169
|
|
|
$item++; |
|
170
|
|
|
} |
|
171
|
|
|
if ($item==strlen($rule)) { |
|
172
|
|
|
throw new Exception("closing '".$tok."' not found in ".$rule ." at " .$item); |
|
173
|
|
|
} |
|
174
|
|
|
return $item+1; |
|
175
|
|
|
} |
|
176
|
|
|
|
|
177
|
|
|
protected function eval_getOper($rule,&$item) |
|
178
|
|
|
{ |
|
179
|
|
|
while ($rule[$item]==' ') $item++; |
|
180
|
|
|
switch ($rule[$item]) |
|
181
|
|
|
{ |
|
182
|
|
|
case '<': |
|
183
|
|
|
if ($rule[$item+1]=='=') { $item+=2; return array(0,"<=");} |
|
184
|
|
|
$item++; return array(0,"<"); |
|
185
|
|
|
case '>': |
|
186
|
|
|
if ($rule[$item+1]=='=') { $item+=2; return array(0,">=");} |
|
187
|
|
|
$item++; return array(0,">"); |
|
188
|
|
|
case '=': |
|
189
|
|
|
$item++; return array(0,"="); |
|
190
|
|
|
case '!': |
|
191
|
|
|
if ($rule[$item+1]=='=') { $item+=2; return array(0,"!=");} |
|
192
|
|
|
throw new Exception("Erreur in expr - incorrect operator '!' found in ".$rule ." at " .$item); |
|
193
|
|
|
case '~': |
|
194
|
|
|
$item++; return array(0,"~"); |
|
195
|
|
|
case '|': |
|
196
|
|
|
$item++; return array(1,"|"); |
|
197
|
|
|
case '&': |
|
198
|
|
|
$item++; return array(1,"&"); |
|
199
|
|
|
default : |
|
200
|
|
|
throw new Exception("Erreur in expr - operator not found in ".$rule ." at " .$item); |
|
201
|
|
|
} |
|
202
|
|
|
} |
|
203
|
|
|
|
|
204
|
|
|
private function check_negate_first($rule,&$item) |
|
205
|
|
|
{ |
|
206
|
|
|
if ( $rule[$item] == '!') // If '!' found, negate next expression. |
|
207
|
|
|
{ |
|
208
|
|
|
$item++; |
|
209
|
|
|
return true; |
|
210
|
|
|
} |
|
211
|
|
|
else |
|
212
|
|
|
{ |
|
213
|
|
|
return false; |
|
214
|
|
|
} |
|
215
|
|
|
} |
|
216
|
|
|
|
|
217
|
|
|
private function do_compare($val1,$val2,$comp,$negate) |
|
218
|
|
|
{ |
|
219
|
|
|
switch ($comp){ |
|
220
|
|
|
case '<': $retVal= ($val1 < $val2); break; |
|
221
|
|
|
case '<=': $retVal= ($val1 <= $val2); break; |
|
222
|
|
|
case '>': $retVal= ($val1 > $val2); break; |
|
223
|
|
|
case '>=': $retVal= ($val1 >= $val2); break; |
|
224
|
|
|
case '=': $retVal= ($val1 == $val2); break; |
|
225
|
|
|
case '!=': $retVal= ($val1 != $val2); break; |
|
226
|
|
|
case '~': $retVal= (preg_match('/'.preg_replace('/"/','',$val2).'/',$val1)); break; |
|
227
|
|
|
case '|': $retVal= ($val1 || $val2); break; |
|
228
|
|
|
case '&': $retVal= ($val1 && $val2); break; |
|
229
|
|
|
default: throw new Exception("Error in expression - unknown comp : ".$comp); |
|
230
|
|
|
} |
|
231
|
|
|
if ($negate === true) $retVal = ! $retVal; // Inverse result if negate before expression |
|
232
|
|
|
|
|
233
|
|
|
return $retVal; |
|
234
|
|
|
} |
|
235
|
|
|
|
|
236
|
|
|
/** Evaluation : makes token and evaluate. |
|
237
|
|
|
* Public function for expressions testing |
|
238
|
|
|
* accepts : < > = <= >= != (typec = 0) |
|
239
|
|
|
* operators : & | (typec=1) |
|
240
|
|
|
* with : integers/float (type 0) or strings "" (type 1) or results (type 2) |
|
241
|
|
|
* comparison int vs strings will return null (error) |
|
242
|
|
|
* return : bool or null on error |
|
243
|
|
|
*/ |
|
244
|
|
|
public function evaluation($rule,&$item) |
|
245
|
|
|
{ |
|
246
|
|
|
//echo "Evaluation of ".substr($rule,$item)."\n"; |
|
247
|
|
|
$negate=$this->check_negate_first($rule, $item); |
|
248
|
|
|
// First element : number, string or () |
|
249
|
|
|
list($type1,$val1) = $this->eval_getElement($rule,$item); |
|
250
|
|
|
//echo "Elmt1: ".$val1."/".$type1." : ".substr($rule,$item)."\n"; |
|
251
|
|
|
|
|
252
|
|
|
if ($item==strlen($rule)) // If only element, return value, but only boolean |
|
253
|
|
|
{ |
|
254
|
|
|
if ($type1 != 2) throw new Exception("Cannot use num/string as boolean : ".$rule); |
|
255
|
|
|
if ($negate === true) $val1= ! $val1; |
|
256
|
|
|
return $val1; |
|
257
|
|
|
} |
|
258
|
|
|
|
|
259
|
|
|
// Second element : operator |
|
260
|
|
|
list($typec,$comp) = $this->eval_getOper($rule,$item); |
|
261
|
|
|
//echo "Comp : ".$comp." : ".substr($rule,$item)."\n"; |
|
262
|
|
|
|
|
263
|
|
|
// Third element : number, string or () |
|
264
|
|
|
if ( $rule[$item] == '!') // starts with a ! so evaluate whats next |
|
265
|
|
|
{ |
|
266
|
|
|
$item++; |
|
267
|
|
|
if ($typec != 1) throw new Exception("Mixing boolean and comparison : ".$rule); |
|
268
|
|
|
$val2= ! $this->evaluation($rule,$item); |
|
269
|
|
|
$type2=2; // result is a boolean |
|
270
|
|
|
} |
|
271
|
|
|
else |
|
272
|
|
|
{ |
|
273
|
|
|
list($type2,$val2) = $this->eval_getElement($rule,$item); |
|
274
|
|
|
} |
|
275
|
|
|
//echo "Elmt2: ".$val2."/".$type2." : ".substr($rule,$item)."\n"; |
|
276
|
|
|
|
|
277
|
|
|
if ($type1!=$type2) // cannot compare different types |
|
278
|
|
|
{ |
|
279
|
|
|
throw new Exception("Cannot compare string & number : ".$rule); |
|
280
|
|
|
} |
|
281
|
|
|
if ($typec==1 && $type1 !=2) // cannot use & or | with string/number |
|
282
|
|
|
{ |
|
283
|
|
|
throw new Exception("Cannot use boolean operators with string & number : ".$rule); |
|
284
|
|
|
} |
|
285
|
|
|
|
|
286
|
|
|
$retVal = $this->do_compare($val1, $val2, $comp, $negate); |
|
287
|
|
|
|
|
288
|
|
|
if ($item==strlen($rule)) return $retVal; // End of string : return evaluation |
|
289
|
|
|
// check for logical operator : |
|
290
|
|
|
switch ($rule[$item]) |
|
291
|
|
|
{ |
|
292
|
|
|
case '|': $item++; return ($retVal || $this->evaluation($rule,$item) ); |
|
293
|
|
|
case '&': $item++; return ($retVal && $this->evaluation($rule,$item) ); |
|
294
|
|
|
|
|
295
|
|
|
default: throw new Exception("Erreur in expr - garbadge at end of expression : ".$rule[$item]); |
|
296
|
|
|
} |
|
297
|
|
|
} |
|
298
|
|
|
|
|
299
|
|
|
// Remove all whitespaces (when not quoted) |
|
300
|
|
|
public function eval_cleanup($rule) |
|
301
|
|
|
{ |
|
302
|
|
|
$item=0; |
|
303
|
|
|
$rule2=''; |
|
304
|
|
|
while ($item < strlen($rule)) |
|
305
|
|
|
{ |
|
306
|
|
|
if ($rule[$item]==' ') { $item++; continue; } |
|
307
|
|
|
if ($rule[$item]=='"') |
|
308
|
|
|
{ |
|
309
|
|
|
$rule2.=$rule[$item]; |
|
310
|
|
|
$item++; |
|
311
|
|
|
while (($item < strlen($rule)) && ($rule[$item]!='"') ) |
|
312
|
|
|
{ |
|
313
|
|
|
$rule2.=$rule[$item]; |
|
314
|
|
|
$item++; |
|
315
|
|
|
} |
|
316
|
|
|
if ($item == strlen ($rule)) throw new Exception("closing '\"' not found in ".$rule ." at " .$item); |
|
317
|
|
|
$rule2.=$rule[$item]; |
|
318
|
|
|
$item++; |
|
319
|
|
|
continue; |
|
320
|
|
|
} |
|
321
|
|
|
|
|
322
|
|
|
$rule2.=$rule[$item]; |
|
323
|
|
|
$item++; |
|
324
|
|
|
} |
|
325
|
|
|
|
|
326
|
|
|
return $rule2; |
|
327
|
|
|
} |
|
328
|
|
|
|
|
329
|
|
|
|
|
330
|
|
|
/** |
|
331
|
|
|
* Get '*' or '**' and transform in [0-9]+ or .* in return string |
|
332
|
|
|
* @param string $oid OID in normal or regexp format. '*' will be escaped ('\*') |
|
333
|
|
|
* @return string correct regexp format |
|
334
|
|
|
*/ |
|
335
|
|
|
public function regexp_eval(string &$oid) |
|
336
|
|
|
{ |
|
337
|
|
|
// ** replaced by .* |
|
338
|
|
|
$oidR=preg_replace('/\*\*/', '.*', $oid); |
|
339
|
|
|
// * replaced by [0-9]+ |
|
340
|
|
|
$oidR=preg_replace('/\*/', '[0-9]+', $oidR); |
|
341
|
|
|
|
|
342
|
|
|
// replace * with \* in oid for preg_replace |
|
343
|
|
|
$oid=preg_replace('/\*/', '\*', $oid); |
|
344
|
|
|
|
|
345
|
|
|
$this->logging->log('Regexp eval : '.$oid.' / '.$oidR,DEBUG ); |
|
346
|
|
|
|
|
347
|
|
|
return $oidR; |
|
348
|
|
|
} |
|
349
|
|
|
|
|
350
|
|
|
|
|
351
|
|
|
/** Evaluation rule (uses eval_* functions recursively) |
|
352
|
|
|
* @param string $rule : rule ( _OID(.1.3.6.1.4.1.8072.2.3.2.1)=_OID(.1.3.6.1.2.1.1.3.0) ) |
|
353
|
|
|
* @param array $oidList : OIDs values to sustitute. |
|
354
|
|
|
* @return bool : true : rule match, false : rule don't match , throw exception on error. |
|
355
|
|
|
*/ |
|
356
|
|
|
public function eval_rule($rule,$oidList) |
|
357
|
|
|
{ |
|
358
|
|
|
if ($rule==null || $rule == '') // Empty rule is always true |
|
359
|
|
|
{ |
|
360
|
|
|
return true; |
|
361
|
|
|
} |
|
362
|
|
|
$matches=array(); |
|
363
|
|
|
while (preg_match('/_OID\(([0-9\.\*]+)\)/',$rule,$matches) == 1) |
|
364
|
|
|
{ |
|
365
|
|
|
$oid=$matches[1]; |
|
366
|
|
|
$found=0; |
|
367
|
|
|
// Test and transform regexp |
|
368
|
|
|
$oidR = $this->regexp_eval($oid); |
|
369
|
|
|
|
|
370
|
|
|
foreach($oidList as $val) |
|
371
|
|
|
{ |
|
372
|
|
|
if (preg_match("/^$oidR$/",$val->oid) == 1) |
|
373
|
|
|
{ |
|
374
|
|
|
if (!preg_match('/^-?[0-9]*\.?[0-9]+$/',$val->value)) |
|
375
|
|
|
{ // If not a number, change " to ' and put " around it |
|
376
|
|
|
$val->value=preg_replace('/"/',"'",$val->value); |
|
377
|
|
|
$val->value='"'.$val->value.'"'; |
|
378
|
|
|
} |
|
379
|
|
|
$rep=0; |
|
380
|
|
|
$rule=preg_replace('/_OID\('.$oid.'\)/',$val->value,$rule,-1,$rep); |
|
381
|
|
|
if ($rep==0) |
|
382
|
|
|
{ |
|
383
|
|
|
$this->logging->log("Error in rule_eval",WARN,''); |
|
384
|
|
|
return false; |
|
385
|
|
|
} |
|
386
|
|
|
$found=1; |
|
387
|
|
|
break; |
|
388
|
|
|
} |
|
389
|
|
|
} |
|
390
|
|
|
if ($found==0) |
|
391
|
|
|
{ // OID not found : throw error |
|
392
|
|
|
throw new Exception('OID '.$oid.' not found in trap'); |
|
393
|
|
|
} |
|
394
|
|
|
} |
|
395
|
|
|
$item=0; |
|
396
|
|
|
$rule=$this->eval_cleanup($rule); |
|
397
|
|
|
$this->logging->log('Rule after clenup: '.$rule,INFO ); |
|
398
|
|
|
|
|
399
|
|
|
return $this->evaluation($rule,$item); |
|
400
|
|
|
} |
|
401
|
|
|
|
|
402
|
|
|
} |