2017-06-04 22:51:48 +02:00
|
|
|
#!/usr/bin/env python
|
2013-10-16 18:15:51 +02:00
|
|
|
import os
|
|
|
|
|
import sys
|
2018-02-07 15:38:07 +01:00
|
|
|
import re
|
2013-10-16 18:15:51 +02:00
|
|
|
|
2018-02-13 09:26:11 +01:00
|
|
|
|
2013-10-16 18:15:51 +02:00
|
|
|
def readdate(data):
|
2013-10-18 17:35:59 +02:00
|
|
|
if data[:5] == 'DATE ':
|
|
|
|
|
datepos = 0
|
|
|
|
|
else:
|
|
|
|
|
datepos = data.find('\nDATE ')
|
|
|
|
|
if datepos >= 0:
|
2017-06-05 13:23:00 +02:00
|
|
|
datepos += 1
|
2013-10-16 18:15:51 +02:00
|
|
|
|
2013-10-18 17:35:59 +02:00
|
|
|
if datepos < 0:
|
|
|
|
|
return None
|
2013-10-16 18:15:51 +02:00
|
|
|
|
2013-10-18 17:35:59 +02:00
|
|
|
datestr = ''
|
2017-06-05 13:23:00 +02:00
|
|
|
datepos += 5
|
2013-10-18 17:35:59 +02:00
|
|
|
while True:
|
|
|
|
|
if datepos >= len(data):
|
|
|
|
|
return None
|
|
|
|
|
d = data[datepos]
|
2017-07-22 11:05:50 +02:00
|
|
|
if '0' <= d <= '9':
|
2017-06-05 13:23:00 +02:00
|
|
|
datestr += d
|
2015-04-29 17:23:24 +02:00
|
|
|
elif d == '\n' or d == '\r':
|
2013-10-18 17:35:59 +02:00
|
|
|
if len(datestr) == 8:
|
|
|
|
|
return datestr[:4] + '-' + datestr[4:6] + '-' + datestr[6:]
|
|
|
|
|
return None
|
|
|
|
|
elif d != ' ' and d != '-':
|
|
|
|
|
return None
|
2017-06-05 13:23:00 +02:00
|
|
|
datepos += 1
|
2013-10-16 18:15:51 +02:00
|
|
|
|
2018-02-13 09:26:11 +01:00
|
|
|
|
2018-02-15 21:21:43 +01:00
|
|
|
def summaryHtml(style, font, severity, categories, totalNumber):
|
2018-02-07 20:02:19 +01:00
|
|
|
font1 = ''
|
|
|
|
|
font2 = ''
|
|
|
|
|
if font:
|
2018-02-13 09:26:11 +01:00
|
|
|
font1 = font
|
2018-02-07 20:02:19 +01:00
|
|
|
font2 = '</font>'
|
2018-02-15 21:21:43 +01:00
|
|
|
ret = '<tr> '
|
|
|
|
|
ret = ret + '<td ' + style + '>' + font1 + severity + font2 + '</td> '
|
|
|
|
|
ret = ret + '<td ' + style + '>' + font1 + str(categories) + font2 + '</td> '
|
|
|
|
|
ret = ret + '<td ' + style + '>' + font1 + str(totalNumber) + font2 + '</td> '
|
|
|
|
|
ret = ret + '</tr>\n'
|
|
|
|
|
return ret
|
2018-02-07 20:02:19 +01:00
|
|
|
|
2018-06-29 07:30:20 +02:00
|
|
|
def getWarnings(filename):
|
|
|
|
|
ftp = ''
|
|
|
|
|
warnings = []
|
|
|
|
|
pattern = re.compile(r'.*: (error|warning|style|performance|portability):.* \[([a-zA-Z0-9_\\-]+)\]')
|
|
|
|
|
for line in open(filename, 'rt'):
|
|
|
|
|
line = line.strip('\r\n')
|
|
|
|
|
if line.startswith('ftp://'):
|
|
|
|
|
ftp = line
|
|
|
|
|
continue
|
|
|
|
|
if pattern.match(line):
|
|
|
|
|
warnings.append(ftp + '\n' + line)
|
|
|
|
|
return warnings
|
|
|
|
|
|
|
|
|
|
def getUnique(warnings1, warnings2):
|
|
|
|
|
ret = ''
|
|
|
|
|
count = 0
|
|
|
|
|
for w in warnings1:
|
|
|
|
|
if w not in warnings2:
|
|
|
|
|
ret = ret + w + '\n'
|
|
|
|
|
count = count + 1
|
|
|
|
|
return ret, count
|
|
|
|
|
|
|
|
|
|
def diffResults(reportpath):
|
|
|
|
|
warnings_base = []
|
|
|
|
|
warnings_head = []
|
|
|
|
|
|
|
|
|
|
for lib in ['', 'lib']:
|
|
|
|
|
for a in "0123456789abcdefghijklmnopqrstuvwxyz":
|
|
|
|
|
if not os.path.isfile(daca2folder + lib + a + '/results-1.84.txt'):
|
|
|
|
|
continue
|
|
|
|
|
if not os.path.isfile(daca2folder + lib + a + '/results-head.txt'):
|
|
|
|
|
continue
|
|
|
|
|
|
|
|
|
|
warnings_base.extend(getWarnings(daca2folder + lib + a + '/results-1.84.txt'))
|
|
|
|
|
warnings_head.extend(getWarnings(daca2folder + lib + a + '/results-head.txt'))
|
|
|
|
|
|
|
|
|
|
f = open(reportpath + 'negatives.txt', 'wt')
|
|
|
|
|
s, count_negatives = getUnique(warnings_base, warnings_head)
|
|
|
|
|
f.write(s)
|
|
|
|
|
f.close()
|
|
|
|
|
|
|
|
|
|
f = open(reportpath + 'positives.txt', 'wt')
|
|
|
|
|
s, count_positives = getUnique(warnings_base, warnings_head)
|
|
|
|
|
f.write(s)
|
|
|
|
|
f.close()
|
|
|
|
|
|
|
|
|
|
return count_negatives, count_positives
|
|
|
|
|
|
2017-06-03 11:34:11 +02:00
|
|
|
daca2folder = os.path.expanduser('~/daca2/')
|
|
|
|
|
path = ''
|
|
|
|
|
for arg in sys.argv[1:]:
|
|
|
|
|
if arg.startswith('--daca2='):
|
|
|
|
|
daca2folder = arg[8:]
|
2017-06-03 12:10:41 +02:00
|
|
|
if daca2folder[-1] != '/':
|
2017-06-05 13:23:00 +02:00
|
|
|
daca2folder += '/'
|
2017-06-03 12:10:41 +02:00
|
|
|
else:
|
2017-06-03 11:34:11 +02:00
|
|
|
path = arg
|
2017-06-03 12:10:41 +02:00
|
|
|
if path[-1] != '/':
|
2017-06-05 13:23:00 +02:00
|
|
|
path += '/'
|
2017-06-03 11:34:11 +02:00
|
|
|
|
2018-06-29 07:30:20 +02:00
|
|
|
count_negatives, count_positives = diffResults(path)
|
|
|
|
|
|
2017-06-03 11:34:11 +02:00
|
|
|
mainpage = open(path + 'daca2.html', 'wt')
|
2013-10-17 15:20:58 +02:00
|
|
|
mainpage.write('<!DOCTYPE html>\n')
|
2013-11-04 13:18:01 +01:00
|
|
|
mainpage.write('<html lang="en">\n')
|
|
|
|
|
mainpage.write('<head>\n')
|
2014-03-16 11:07:40 +01:00
|
|
|
mainpage.write('<meta charset="utf-8">\n')
|
2013-11-04 13:18:01 +01:00
|
|
|
mainpage.write('<title>DACA2</title>\n')
|
2014-03-21 19:36:42 +01:00
|
|
|
mainpage.write('<link rel="stylesheet" href="/site/css/daca2.css">\n')
|
2014-03-16 16:58:48 +01:00
|
|
|
mainpage.write('<script src="/site/js/sorttable.min.js"></script>\n')
|
2013-11-04 13:18:01 +01:00
|
|
|
mainpage.write('</head>\n')
|
2013-10-16 18:15:51 +02:00
|
|
|
mainpage.write('<body>\n')
|
|
|
|
|
mainpage.write('<h1>DACA2</h1>\n')
|
2014-03-09 08:32:29 +01:00
|
|
|
mainpage.write('<p>Results when running latest (git head) Cppcheck on Debian.</p>\n')
|
2017-06-04 22:51:48 +02:00
|
|
|
mainpage.write('<p>For performance reasons the analysis is limited. Files larger than 1mb are skipped. ' +
|
|
|
|
|
'If analysis of a file takes more than 10 minutes it may be stopped.</p>\n')
|
2018-06-29 07:30:20 +02:00
|
|
|
mainpage.write('<p>Negatives: <a href="negatives.txt">' + str(count_negatives) + '</a></p>\n')
|
|
|
|
|
mainpage.write('<p>Positives: <a href="positives.txt">' + str(count_positives) + '</a></p>\n')
|
2014-03-09 08:32:29 +01:00
|
|
|
mainpage.write('<table class="sortable">\n')
|
2013-11-04 13:18:01 +01:00
|
|
|
mainpage.write(
|
2013-11-24 10:47:12 +01:00
|
|
|
'<tr>' +
|
2014-03-09 08:32:29 +01:00
|
|
|
'<th>Name</th>' +
|
|
|
|
|
'<th>Date</th>' +
|
|
|
|
|
'<th>Error</th>' +
|
|
|
|
|
'<th>Warning</th>' +
|
|
|
|
|
'<th>Performance</th>' +
|
|
|
|
|
'<th>Portability</th>' +
|
|
|
|
|
'<th>Style</th>' +
|
2014-03-12 12:49:06 +01:00
|
|
|
'<th>Crashes</th>' +
|
|
|
|
|
'<th>VarID 0</th></tr>\n')
|
2013-10-16 18:15:51 +02:00
|
|
|
|
|
|
|
|
lastupdate = None
|
|
|
|
|
recent = []
|
|
|
|
|
|
2018-02-07 15:38:07 +01:00
|
|
|
totalNumber = {}
|
|
|
|
|
categories = {}
|
|
|
|
|
for severity in ['error', 'warning', 'style', 'portability', 'performance']:
|
2018-02-07 20:02:19 +01:00
|
|
|
totalNumber[severity] = 0
|
|
|
|
|
categories[severity] = []
|
2018-02-07 15:38:07 +01:00
|
|
|
|
2017-06-03 11:34:11 +02:00
|
|
|
daca2 = daca2folder
|
2018-05-07 22:18:05 +02:00
|
|
|
pattern = re.compile(r'.*: (error|warning|style|performance|portability):.* \[([a-zA-Z0-9_\\-]+)\]')
|
2018-06-28 22:35:48 +02:00
|
|
|
for lib in [False, True]:
|
2013-10-18 17:35:59 +02:00
|
|
|
for a in "0123456789abcdefghijklmnopqrstuvwxyz":
|
2017-06-04 22:51:48 +02:00
|
|
|
if lib:
|
2013-10-18 17:35:59 +02:00
|
|
|
a = "lib" + a
|
2018-06-28 22:35:48 +02:00
|
|
|
if not os.path.isfile(daca2 + a + '/results-head.txt'):
|
2017-06-03 14:03:16 +02:00
|
|
|
continue
|
|
|
|
|
|
2018-06-28 22:35:48 +02:00
|
|
|
f = open(daca2 + a + '/results-head.txt', 'rt')
|
2017-06-03 14:03:16 +02:00
|
|
|
data = f.read()
|
|
|
|
|
f.close()
|
|
|
|
|
|
2017-06-04 22:51:48 +02:00
|
|
|
if 'ftp://' not in data:
|
2017-06-03 14:03:16 +02:00
|
|
|
continue
|
|
|
|
|
|
|
|
|
|
datestr = readdate(data)
|
|
|
|
|
|
|
|
|
|
if datestr:
|
|
|
|
|
if not lastupdate or datestr > lastupdate:
|
|
|
|
|
lastupdate = datestr
|
|
|
|
|
recent = []
|
|
|
|
|
if datestr == lastupdate:
|
|
|
|
|
recent.append(a)
|
|
|
|
|
else:
|
|
|
|
|
datestr = ''
|
|
|
|
|
|
2018-02-07 15:38:07 +01:00
|
|
|
for line in data.split('\n'):
|
2018-05-07 22:18:05 +02:00
|
|
|
res = pattern.match(line)
|
2018-02-07 15:38:07 +01:00
|
|
|
if res is None:
|
|
|
|
|
continue
|
|
|
|
|
severity = res.group(1)
|
|
|
|
|
messageId = res.group(2)
|
2018-05-07 22:09:26 +02:00
|
|
|
if messageId in ['cppcheckError', 'internalAstError', 'preprocessorErrorDirective', 'syntaxError']:
|
2018-02-07 15:38:07 +01:00
|
|
|
continue
|
|
|
|
|
totalNumber[severity] = totalNumber[severity] + 1
|
2018-02-13 09:31:05 +01:00
|
|
|
if messageId not in categories[severity]:
|
2018-02-07 15:38:07 +01:00
|
|
|
categories[severity].append(messageId)
|
|
|
|
|
|
2017-06-03 14:03:16 +02:00
|
|
|
mainpage.write(
|
|
|
|
|
'<tr>' +
|
|
|
|
|
'<td><a href="daca2-' + a + '.html">' + a + '</a></td>' +
|
|
|
|
|
'<td>' + datestr + '</td>' +
|
|
|
|
|
'<td>' + str(data.count(': error:')) + '</td>' +
|
|
|
|
|
'<td>' + str(data.count(': warning:')) + '</td>' +
|
|
|
|
|
'<td>' + str(data.count(': performance:')) + '</td>' +
|
|
|
|
|
'<td>' + str(data.count(': portability:')) + '</td>' +
|
|
|
|
|
'<td>' + str(data.count(': style:')) + '</td>' +
|
|
|
|
|
'<td>' + str(data.count('Crash?')) + '</td>' +
|
|
|
|
|
'<td>' + str(data.count('with varid 0.')) + '</td>' +
|
|
|
|
|
'</tr>\n')
|
|
|
|
|
|
|
|
|
|
data = data.replace('&', '&')
|
|
|
|
|
data = data.replace('<', '<')
|
|
|
|
|
data = data.replace('>', '>')
|
|
|
|
|
|
|
|
|
|
f = open(path + 'daca2-' + a + '.html', 'wt')
|
|
|
|
|
f.write('<!DOCTYPE html>\n')
|
|
|
|
|
f.write('<html lang="en">\n')
|
|
|
|
|
f.write('<head>\n')
|
|
|
|
|
f.write('<meta charset="utf-8">\n')
|
|
|
|
|
f.write('<title>DACA2 - ' + a + '</title>\n')
|
|
|
|
|
f.write('</head>\n')
|
|
|
|
|
f.write('<body>\n')
|
|
|
|
|
f.write('<h1>DACA2 - ' + a + '</h1>')
|
|
|
|
|
f.write('<pre>\n' + data + '</pre>\n')
|
|
|
|
|
f.write('</body>\n')
|
|
|
|
|
f.write('</html>\n')
|
|
|
|
|
f.close()
|
2013-10-16 18:15:51 +02:00
|
|
|
|
2013-11-04 13:18:01 +01:00
|
|
|
mainpage.write('</table>\n')
|
|
|
|
|
|
2018-02-07 15:38:07 +01:00
|
|
|
mainpage.write('<b>Summary</b>\n')
|
|
|
|
|
mainpage.write('<table>\n')
|
2018-02-07 20:02:19 +01:00
|
|
|
mainpage.write(summaryHtml('style="background-color:#369"', '<font style="color:#eee">', 'Severity', 'Types', 'Amount'))
|
2018-02-15 21:21:43 +01:00
|
|
|
mainpage.write(summaryHtml('style="background-color:#fff"', None, 'Error (there is bug)', len(categories['error']), totalNumber['error']))
|
|
|
|
|
mainpage.write(summaryHtml('style="background-color:#ccccff"', None, 'Warning (potential bug)', len(categories['warning']), totalNumber['warning']))
|
|
|
|
|
mainpage.write(summaryHtml('style="background-color:#fff"', None, 'Style', len(categories['style']), totalNumber['style']))
|
|
|
|
|
mainpage.write(summaryHtml('style="background-color:#ccccff"', None, 'Portability', len(categories['portability']), totalNumber['portability']))
|
|
|
|
|
mainpage.write(summaryHtml('style="background-color:#fff"', None, 'Performance', len(categories['performance']), totalNumber['performance']))
|
2018-02-07 15:38:07 +01:00
|
|
|
mainpage.write('</table>\n')
|
|
|
|
|
|
2013-10-16 18:15:51 +02:00
|
|
|
if lastupdate:
|
2013-10-18 17:35:59 +02:00
|
|
|
mainpage.write('<p>Last update: ' + lastupdate + '</p>')
|
|
|
|
|
allrecent = ''
|
|
|
|
|
for r in recent:
|
2013-12-15 12:33:06 +01:00
|
|
|
allrecent = allrecent + ' <a href="daca2-' + r + '.html">' + r + '</a>'
|
|
|
|
|
mainpage.write('<p>Most recently updated:' + allrecent + '</p>')
|
2013-10-16 18:15:51 +02:00
|
|
|
|
|
|
|
|
mainpage.write('</body>\n')
|
|
|
|
|
mainpage.write('</html>\n')
|
