/usr/share/sigil/python3lib/sanitycheck.py is in sigil-data 0.9.9+dfsg-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 | #!/usr/bin/env python
# -*- coding: utf-8 -*-
# vim:ts=4:sw=4:softtabstop=4:smarttab:expandtab
from __future__ import unicode_literals, division, absolute_import, print_function
import sys
import os
PY3 = sys.version_info[0] == 3
if PY3:
binary_type = bytes
else:
binary_type = str
SPECIAL_HANDLING_TAGS = {
'?xml' : ('xmlheader', -1),
'!--' : ('comment', -3),
'!DOCTYPE' : ('doctype', -1),
'?' : ('pi', -1)
}
SPECIAL_HANDLING_TYPES = ['xmlheader', 'comment', 'doctype', 'pi']
MAX_TAG_LEN = 20
VOID_TAGS = ("area","base","basefont","bgsound","br","col","command",
"embed","event-source","frame","hr","img","input","keygen",
"link","menuitem","meta","param","source","spacer","track","wbr",
"mbp:pagebreak")
class SanityCheck(object):
def __init__(self, data, codec = 'utf-8'):
if data is None:
data = ''
if isinstance(data, binary_type):
data = data.decode(codec)
self.content = data
self.clen = len(self.content)
# parser position information
self.pos = 0
self.pp = 0
self.line = 1
self.col = 0
self.tag_start = (-1,-1)
# for basic structure sanity check
self.htmlcnt = 0
self.bodycnt = 0
self.headcnt = 0
self.xmldeclare = 0
self.doctype = 0
# to track tag nesting
self.tagpath = []
self.tagpositions = []
# error reporting
self.has_error = False
self.errors = []
def check(self):
for text, tp, tname, ttype, tattr in self.parse_iter():
if self.has_error:
break
if not self.has_error:
if self.htmlcnt != 1:
self.errors.append((1, 0, 'Missing or multiple "html" tags'))
self.has_error = True
if self.bodycnt != 1:
self.errors.append((1, 0, 'Missing or multiple "body" tags'))
self.has_error = True
if self.headcnt != 1:
self.errors.append((1, 0, 'Missing or multiple "head" tags'))
self.has_error = True
return (self.has_error, self.errors)
# parses string version of tag to identify its name,
# its type 'begin', 'end' or 'single', or one of the special handling types
# plus build a hashtable of its atributes
def parsetag(self, s):
if self.has_error:
return None, None, None
taglen = len(s)
p = 1
# get the tag name
tname = None
ttype = None
tattr = {}
while s[p:p+1] == ' ' : p += 1
if s[p:p+1] == '/':
ttype = 'end'
p += 1
while s[p:p+1] == ' ' : p += 1
b = p
# handle special case of comment as there may be no spaces to delimit name begin or end
if s[b:b+3] == "!--":
p = b+3
tname = "!--"
ttype, backstep = SPECIAL_HANDLING_TAGS[tname]
tattr['special'] = s[p:backstep]
return tname, ttype, tattr
# handle special case of generic xml processing instruction (pi)
if tname != "?xml" and s[b:b+1] == "?":
p = b+1
tname = "?"
ttype, backstep = SPECIAL_HANDLING_TAGS[tname]
tattr['special'] = s[p:backstep]
return tname, ttype, tattr
while s[p:p+1] not in ('>', '/', ' ', '"', "'", "\r", "\n") :
p += 1
if (p - b) > MAX_TAG_LEN or p >= taglen:
error_msg = 'Tag name not properly delimited: "' + s[b:p] + '"'
self.errors.append((self.tag_start[0], self.tag_start[1], error_msg))
self.has_error = True
return None, None, None
tname=s[b:p].lower()
if tname == '!doctype':
tname = '!DOCTYPE'
# other special cases
if tname in SPECIAL_HANDLING_TAGS:
ttype, backstep = SPECIAL_HANDLING_TAGS[tname]
tattr['special'] = s[p:backstep]
if ttype is None:
# parse any attributes
while s.find('=',p) != -1 :
while s[p:p+1] == ' ' : p += 1
b = p
while s[p:p+1] != '=' : p += 1
aname = s[b:p].lower()
aname = aname.rstrip(' ')
p += 1
while s[p:p+1] == ' ' : p += 1
if s[p:p+1] in ('"', "'") :
qt = s[p:p+1]
p = p + 1
b = p
while s[p:p+1] != qt:
p += 1
if p >= taglen:
error_msg = 'Attribute "' + aname + '" has unmatched quotes on attribute value'
self.errors.append((self.tag_start[0], self.tag_start[1], error_msg))
self.has_error = True
return None, None, None
val = s[b:p]
p += 1
else :
b = p
while s[p:p+1] not in ('>', '/', ' ') :
p += 1
if p >= taglen:
error_msg = 'Attribute "' + aname + '" has unterminated attribute value'
self.errors.append((self.tag_start[0], self.tag_start[1], error_msg))
self.has_error = True
return None, None, None
val = s[b:p]
tattr[aname] = val
# label beginning and single tags
if ttype is None:
ttype = 'begin'
if s.find('/',p) >= 0:
ttype = 'single'
return tname, ttype, tattr
# parse leading text of xhtml and tag
# returns as tuple (Leading Text, Tag)
# only one will have a value, the other will always be None
def parseml(self):
if self.has_error:
return None, None
self.pp = self.pos
p = self.pos
if p >= self.clen:
return None, None
if self.content[p] != '<':
res = self.content.find('<',p)
if res == -1 :
res = len(self.content)
self.pos = res
return self.content[p:res], None
# handle comment as a special case to deal with multi-line comments
if self.content[p:p+4] == '<!--':
tb = p
te = self.content.find('-->',p+1)
if te != -1:
te = te+2
else :
tb = p
te = self.content.find('>',p+1)
ntb = self.content.find('<',p+1)
if ntb != -1 and ntb < te:
self.pos = ntb
return self.content[p:ntb], None
self.pos = te + 1
return None, self.content[p:te+1]
# yields leading text, tagpath prefix, tag name, tag type, tag attributes
# tag prefix is a dotted history of all open parent ("begin') tags
# tag types are "single", "begin", "end", "comment", "xmlheader", and "doctype"
# tag attributes is a dictionary of key and value pairs
def parse_iter(self):
while True:
text, tag = self.parseml()
if self.has_error or text is None and tag is None:
break
tp = ".".join(self.tagpath)
if text is not None:
tname = ttype = tattr = None
# walk the text and keep track of line and col info
for c in text:
self.col += 1
if c == '\n':
self.line += 1
self.col = 0
if tag is not None:
# walk the text of the tag to keep track of line/col info
line = self.line
col = self.col
self.tag_start = (line, col)
for c in self.content[self.pp: self.pos]:
self.col += 1
if c == '\n':
self.line += 1
self.col = 0
text = None
tname, ttype, tattr = self.parsetag(tag)
if self.has_error:
break
# basic structure sanity check
if tname == "html" and ttype =='begin':
self.htmlcnt += 1
if self.bodycnt > 0:
error_msg = 'Tag "html" found after "body"'
self.errors.append((self.tag_start[0], self.tag_start[1], error_msg))
self.has_error = True
break
if tname == "body" and ttype =='begin':
self.bodycnt += 1
if self.htmlcnt == 0:
error_msg = 'Tag "body" found before "html"'
self.errors.append((self.tag_start[0], self.tag_start[1], error_msg))
self.has_error = True
break
if tname == "head" and ttype =='begin':
self.headcnt += 1
if self.bodycnt > 0:
error_msg = 'Tag "head" found after "body"'
self.errors.append((self.tag_start[0], self.tag_start[1], error_msg))
self.has_error = True
break
if tname == "p" and ttype =='begin':
if "p" in self.tagpath:
error_msg = 'Can not nest a "p" tag inside another "p" tag'
self.errors.append((self.tag_start[0], self.tag_start[1], error_msg))
self.has_error = True
break
if tname == "?xml":
self.xmldeclare += 1
if self.htmlcnt > 0 or self.doctype > 0:
error_msg = 'An xml declaration must come before the "html" tag and DOCTYPE'
self.errors.append((self.tag_start[0], self.tag_start[1], error_msg))
self.has_error = True
break
if tname == "!DOCTYPE":
self.doctype += 1
if self.htmlcnt > 0:
error_msg = 'A DOCTYPE must come before the "html" tag'
self.errors.append((self.tag_start[0], self.tag_start[1], error_msg))
self.has_error = True
break
# validate tag nesting
if ttype == 'end':
last_begin = self.tagpath[-1]
last_pos = self.tagpositions[-1]
if last_begin != tname:
error_msg = 'Improperly nested tags: parsing end tag "' + tname + '" but current parse path is "' + tp + '". See line %d col %d' % last_pos
self.errors.append((self.tag_start[0], self.tag_start[1], error_msg))
self.has_error = True
break
# validate void tags are self-closed
if tname in VOID_TAGS and ttype == "end":
error_msg = 'Void tag: ' + tname + ' has an illegal ending tag'
self.errors.append((self.tag_start[0], self.tag_start[1], error_msg))
self.has_error = True
break
yield text, tp, tname, ttype, tattr
if ttype is not None:
if ttype == 'begin':
self.tagpath.append(tname)
self.tagpositions.append(self.tag_start)
elif ttype == 'end':
self.tagpath.pop()
self.tagpositions.pop()
def perform_sanity_check(apath):
sep = chr(31)
data = ''
reslst = []
filename = os.path.split(apath)[1]
with open(apath,'rb') as f:
data = f.read()
p = SanityCheck(data)
has_error, errlist = p.check()
if has_error:
for line, col, msg in errlist:
msg += '. near column %d' % col
res = "%s%s%s%s%d%s%d%s%s" % ('error', sep, filename, sep, line, sep, -1, sep, msg)
reslst.append(res)
return reslst
def main():
samp1 = '<html>\n<head><title>testing & entities</title></head>\n'
samp1 += '<body>\n<p>this is the <i><b>copyright'
samp1 += '</i></b> symbol "©"</p>\n<br></br>\n</body>\n</html>\n'
samp2 = '''<html>
<head>
<title>testing & entities</title>
</head>
<body>
<p>this is the <b><i>copyright</i></b> symbol "©"</p>
<p><!--This_is_a_&<>comment--></p>
<!--This_is_another_&<>comment-->
<br></br>
</html>
'''
samp3 = '''
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title></title>
</head>
<body>
<p> </p>
<?dp n="241" folio="241" ?>
</body>
</html>
'''
p = SanityCheck(samp1)
has_error, errlist = p.check()
print(samp1)
print(has_error)
print(errlist)
p = SanityCheck(samp2)
has_error, errlist = p.check()
print(samp2)
print(has_error)
print(errlist)
p = SanityCheck(samp3)
has_error, errlist = p.check()
print(samp3)
print(has_error)
print(errlist)
return 0
if __name__ == '__main__':
sys.exit(main())
|