|
1
|
1 |
|
from time import strftime, localtime |
|
2
|
|
|
|
|
3
|
1 |
|
from spike.model import db |
|
4
|
1 |
|
from shlex import shlex |
|
5
|
|
|
|
|
6
|
|
|
|
|
7
|
1 |
|
class NaxsiRules(db.Model): |
|
8
|
1 |
|
__bind_key__ = 'rules' |
|
9
|
1 |
|
__tablename__ = 'naxsi_rules' |
|
10
|
|
|
|
|
11
|
1 |
|
id = db.Column(db.Integer, primary_key=True) |
|
12
|
1 |
|
msg = db.Column(db.String(), nullable=False) |
|
13
|
1 |
|
detection = db.Column(db.String(1024), nullable=False) |
|
14
|
1 |
|
mz = db.Column(db.String(1024), nullable=False) |
|
15
|
1 |
|
score = db.Column(db.String(1024), nullable=False) |
|
16
|
1 |
|
sid = db.Column(db.Integer, nullable=False, unique=True) |
|
17
|
1 |
|
ruleset = db.Column(db.String(1024), nullable=False) |
|
18
|
1 |
|
rmks = db.Column(db.Text, nullable=True, server_default="") |
|
19
|
1 |
|
active = db.Column(db.Integer, nullable=False, server_default="1") |
|
20
|
1 |
|
negative = db.Column(db.Integer, nullable=False, server_default='0') |
|
21
|
1 |
|
timestamp = db.Column(db.Integer, nullable=False) |
|
22
|
|
|
|
|
23
|
1 |
|
mr_kw = ["MainRule", "BasicRule", "main_rule", "basic_rule"] |
|
24
|
1 |
|
static_mz = {"$ARGS_VAR", "$BODY_VAR", "$URL", "$HEADERS_VAR"} |
|
25
|
1 |
|
full_zones = {"ARGS", "BODY", "URL", "HEADERS", "FILE_EXT", "RAW_BODY"} |
|
26
|
1 |
|
rx_mz = {"$ARGS_VAR_X", "$BODY_VAR_X", "$URL_X", "$HEADERS_VAR_X"} |
|
27
|
1 |
|
sub_mz = list(static_mz) + list(full_zones) + list(rx_mz) |
|
28
|
|
|
|
|
29
|
1 |
|
def __init__(self, msg="", detection="", mz="", score="", sid=42000, ruleset="", rmks="", active=0, negative=0, |
|
30
|
|
|
timestamp=0): |
|
31
|
1 |
|
self.msg = msg |
|
32
|
1 |
|
self.detection = detection |
|
33
|
1 |
|
self.mz = mz |
|
34
|
1 |
|
self.score = score |
|
35
|
1 |
|
self.sid = sid |
|
36
|
1 |
|
self.ruleset = ruleset |
|
37
|
1 |
|
self.rmks = rmks |
|
38
|
1 |
|
self.active = active |
|
39
|
1 |
|
self.negative = 1 if negative == 'checked' else 0 |
|
40
|
1 |
|
self.timestamp = timestamp |
|
41
|
1 |
|
self.warnings = [] |
|
42
|
1 |
|
self.error = [] |
|
43
|
|
|
|
|
44
|
1 |
|
def fullstr(self): |
|
45
|
1 |
|
rdate = strftime("%F - %H:%M", localtime(float(str(self.timestamp)))) |
|
46
|
1 |
|
rmks = "# ".join(self.rmks.strip().split("\n")) |
|
47
|
1 |
|
return "#\n# sid: {0} | date: {1}\n#\n# {2}\n#\n{3}".format(self.sid, rdate, rmks, self.__str__()) |
|
48
|
|
|
|
|
49
|
1 |
|
def __str__(self): |
|
50
|
1 |
|
negate = 'negative' if self.negative == 1 else '' |
|
51
|
1 |
|
return 'MainRule {} "{}" "msg:{}" "mz:{}" "s:{}" id:{} ;'.format( |
|
52
|
|
|
negate, self.detection, self.msg, self.mz, self.score, self.sid) |
|
53
|
|
|
|
|
54
|
1 |
|
def explain(self): |
|
55
|
|
|
""" Return a string explaining the rule |
|
56
|
|
|
|
|
57
|
|
|
:return str: A textual explanation of the rule |
|
58
|
|
|
""" |
|
59
|
1 |
|
translation = {'ARGS': 'argument', 'BODY': 'body', 'URL': 'url', 'HEADER': 'header'} |
|
60
|
1 |
|
explanation = 'The rule number <strong>%d</strong> is ' % self.sid |
|
61
|
1 |
|
if self.negative: |
|
62
|
|
|
explanation += '<strong>not</strong> ' |
|
63
|
1 |
|
explanation += 'setting the ' |
|
64
|
|
|
|
|
65
|
1 |
|
scores = [] |
|
66
|
1 |
|
for score in self.score.split(','): |
|
67
|
1 |
|
scores.append('<strong>{0}</strong> to <strong>{1}</strong> '.format(*score.split(':', 1))) |
|
68
|
1 |
|
explanation += ', '.join(scores) + 'when it ' |
|
69
|
1 |
|
if self.detection.startswith('str:'): |
|
70
|
1 |
|
explanation += 'finds the string <strong>{}</strong> '.format(self.detection[4:]) |
|
71
|
|
|
else: |
|
72
|
|
|
explanation += 'matches the regexp <strong>{}</strong> '.format(self.detection[3:]) |
|
73
|
|
|
|
|
74
|
1 |
|
zones = [] |
|
75
|
1 |
|
for mz in self.mz.split('|'): |
|
76
|
1 |
|
if mz.startswith('$'): |
|
77
|
|
|
current_zone, arg = mz.split(":", 1) |
|
78
|
|
|
zone_name = "?" |
|
79
|
|
|
|
|
80
|
|
|
for translated_name in translation: # translate zone names |
|
81
|
|
|
if translated_name in current_zone: |
|
82
|
|
|
zone_name = translation[translated_name] |
|
83
|
|
|
|
|
84
|
|
|
if "$URL" in current_zone: |
|
85
|
|
|
regexp = "matching regex" if current_zone == "$URL_X" else "" |
|
86
|
|
|
explanation += "on the URL {} '{}' ".format(regexp, arg) |
|
87
|
|
|
else: |
|
88
|
|
|
regexp = "matching regex" if current_zone.endswith("_X") else "" |
|
89
|
|
|
explanation += "in the var with name {} '{}' of {} ".format(regexp, arg, zone_name) |
|
90
|
|
|
else: |
|
91
|
1 |
|
zones.append('the <strong>{0}</strong>'.format(translation[mz])) |
|
92
|
1 |
|
return explanation |
|
93
|
|
|
|
|
94
|
1 |
|
def validate(self): |
|
95
|
1 |
|
self.__validate_matchzone(self.mz) |
|
96
|
1 |
|
self.__validate_id(self.sid) |
|
97
|
1 |
|
self.__validate_detection(self.detection) |
|
98
|
|
|
|
|
99
|
1 |
|
if not self.msg: |
|
100
|
|
|
self.warnings.append("Rule has no 'msg:'.") |
|
101
|
1 |
|
if not self.score: |
|
102
|
|
|
self.error.append("Rule has no score.") |
|
103
|
|
|
|
|
104
|
1 |
|
def __fail(self, msg): |
|
105
|
1 |
|
self.error.append(msg) |
|
106
|
1 |
|
return False |
|
107
|
|
|
|
|
108
|
|
|
# Bellow are parsers for specific parts of a rule |
|
109
|
|
|
|
|
110
|
1 |
|
def __validate_detection(self, p_str, label="", assign=False): |
|
111
|
1 |
|
p_str = label + p_str |
|
112
|
1 |
|
if not p_str.islower(): |
|
113
|
1 |
|
self.warnings.append("detection {} is not lower-case. naxsi is case-insensitive".format(p_str)) |
|
114
|
1 |
|
if p_str.startswith("str:") or p_str.startswith("rx:"): |
|
115
|
1 |
|
if assign is True: |
|
116
|
1 |
|
self.detection = p_str |
|
117
|
|
|
else: |
|
118
|
1 |
|
return self.__fail("detection {} is neither rx: or str:".format(p_str)) |
|
119
|
1 |
|
return True |
|
120
|
|
|
|
|
121
|
1 |
|
def __validate_genericstr(self, p_str, label="", assign=False): |
|
122
|
1 |
|
if assign is False: |
|
123
|
|
|
return True |
|
124
|
1 |
|
if label == "s:": |
|
125
|
1 |
|
self.score = p_str |
|
126
|
1 |
|
elif label == "msg:": |
|
127
|
1 |
|
self.msg = p_str |
|
128
|
|
|
elif label == "negative": |
|
129
|
|
|
self.negative = 1 |
|
130
|
|
|
elif label != "": |
|
131
|
|
|
return self.__fail("Unknown fragment {}".format(label+p_str)) |
|
132
|
1 |
|
return True |
|
133
|
|
|
|
|
134
|
1 |
|
def __validate_matchzone(self, p_str, label="", assign=False): |
|
135
|
1 |
|
has_zone = False |
|
136
|
1 |
|
mz_state = set() |
|
137
|
1 |
|
for loc in p_str.split('|'): |
|
138
|
1 |
|
keyword, arg = loc, None |
|
139
|
1 |
|
if loc.startswith("$"): |
|
140
|
1 |
|
if loc.find(":") == -1: |
|
141
|
|
|
return self.__fail("Missing 2nd part after ':' in {0}".format(loc)) |
|
142
|
1 |
|
keyword, arg = loc.split(":") |
|
143
|
|
|
|
|
144
|
1 |
|
if keyword not in self.sub_mz: # check if `keyword` is a valid keyword |
|
145
|
|
|
return self.__fail("'{0}' no a known sub-part of mz : {1}".format(keyword, self.sub_mz)) |
|
146
|
|
|
|
|
147
|
1 |
|
mz_state.add(keyword) |
|
148
|
|
|
|
|
149
|
|
|
# verify that the rule doesn't attempt to target REGEX and STATIC _VAR/URL at the same time |
|
150
|
1 |
|
if len(self.rx_mz & mz_state) and len(self.static_mz & mz_state): |
|
151
|
1 |
|
return self.__fail("You can't mix static $* with regex $*_X ({})".format(', '.join(mz_state))) |
|
152
|
|
|
|
|
153
|
1 |
|
if arg and not arg.islower(): # just a gentle reminder |
|
154
|
1 |
|
self.warnings.append("{0} in {1} is not lowercase. naxsi is case-insensitive".format(arg, loc)) |
|
155
|
|
|
|
|
156
|
|
|
# the rule targets an actual zone |
|
157
|
1 |
|
if keyword not in ["$URL", "$URL_X"] and keyword in (self.rx_mz | self.full_zones | self.static_mz): |
|
|
|
|
|
|
158
|
1 |
|
has_zone = True |
|
159
|
|
|
|
|
160
|
1 |
|
if has_zone is False: |
|
161
|
|
|
return self.__fail("The rule/whitelist doesn't target any zone.") |
|
162
|
|
|
|
|
163
|
1 |
|
if assign is True: |
|
164
|
1 |
|
self.mz = p_str |
|
165
|
|
|
|
|
166
|
1 |
|
return True |
|
167
|
|
|
|
|
168
|
1 |
|
def __validate_id(self, p_str, label="", assign=False): |
|
169
|
1 |
|
try: |
|
170
|
1 |
|
num = int(p_str) |
|
171
|
1 |
|
if num < 10000: |
|
172
|
1 |
|
self.warnings.append("rule IDs below 10k are reserved ({0})".format(num)) |
|
173
|
|
|
except ValueError: |
|
174
|
|
|
self.error.append("id:{0} is not numeric".format(p_str)) |
|
175
|
|
|
return False |
|
176
|
1 |
|
if assign is True: |
|
177
|
1 |
|
self.sid = num |
|
178
|
1 |
|
return True |
|
179
|
|
|
|
|
180
|
1 |
|
@staticmethod |
|
181
|
|
|
def splitter(s): |
|
|
|
|
|
|
182
|
1 |
|
lexer = shlex(s) |
|
183
|
1 |
|
lexer.whitespace_split = True |
|
184
|
1 |
|
return list(iter(lexer.get_token, '')) |
|
185
|
|
|
|
|
186
|
1 |
|
def parse_rule(self, full_str): |
|
187
|
|
|
""" |
|
188
|
|
|
Parse and validate a full naxsi rule |
|
189
|
|
|
:param full_str: raw rule |
|
190
|
|
|
:return: [True|False, dict] |
|
191
|
|
|
""" |
|
192
|
1 |
|
self.warnings = [] |
|
193
|
1 |
|
self.error = [] |
|
194
|
|
|
|
|
195
|
1 |
|
func_map = {"id:": self.__validate_id, "str:": self.__validate_detection, |
|
196
|
|
|
"rx:": self.__validate_detection, "msg:": self.__validate_genericstr, |
|
197
|
|
|
"mz:": self.__validate_matchzone, "negative": self.__validate_genericstr, |
|
198
|
|
|
"s:": self.__validate_genericstr} |
|
199
|
1 |
|
ret = False |
|
200
|
1 |
|
split = self.splitter(full_str) # parse string |
|
201
|
1 |
|
intersection = set(split).intersection(set(self.mr_kw)) |
|
202
|
|
|
|
|
203
|
1 |
|
if not intersection: |
|
204
|
|
|
return self.__fail("No mainrule/basicrule keyword.") |
|
205
|
1 |
|
elif len(intersection) > 1: |
|
206
|
|
|
return self.__fail("Multiple mainrule/basicrule keywords.") |
|
207
|
|
|
|
|
208
|
1 |
|
split.remove(intersection.pop()) # remove the mainrule/basicrule keyword |
|
209
|
|
|
|
|
210
|
1 |
|
if ";" in split: |
|
211
|
1 |
|
split.remove(";") |
|
212
|
|
|
|
|
213
|
1 |
|
while split: # iterate while there is data, as handlers can defer |
|
214
|
1 |
|
for keyword in split: |
|
215
|
1 |
|
orig_kw = keyword |
|
216
|
1 |
|
keyword = keyword.strip() |
|
217
|
|
|
|
|
218
|
1 |
|
if keyword.endswith(";"): # remove semi-colons |
|
219
|
1 |
|
keyword = keyword[:-1] |
|
220
|
1 |
|
if keyword.startswith(('"', "'")) and (keyword[0] == keyword[-1]): # remove (double-)quotes |
|
221
|
1 |
|
keyword = keyword[1:-1] |
|
222
|
|
|
|
|
223
|
1 |
|
for frag_kw in func_map: |
|
224
|
1 |
|
ret = False |
|
225
|
1 |
|
if keyword.startswith(frag_kw): |
|
226
|
|
|
# parser funcs returns True/False |
|
227
|
1 |
|
ret = func_map[frag_kw](keyword[len(frag_kw):], label=frag_kw, assign=True) |
|
228
|
1 |
|
if ret is True: |
|
229
|
1 |
|
split.remove(orig_kw) |
|
230
|
|
|
else: |
|
231
|
1 |
|
return self.__fail("parsing of element '{0}' failed.".format(keyword)) |
|
232
|
1 |
|
break |
|
233
|
|
|
|
|
234
|
1 |
|
if orig_kw in split and ret is not None: # we have an item that wasn't successfully parsed |
|
235
|
|
|
return False |
|
236
|
|
|
return True |
|
237
|
|
|
|