mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-29 00:08:59 -04:00
396 lines
13 KiB
Python
396 lines
13 KiB
Python
import BaseHTTPServer
|
|
import SimpleHTTPServer
|
|
import os
|
|
import sys
|
|
import urllib, urlparse
|
|
import posixpath
|
|
import StringIO
|
|
import re
|
|
import shutil
|
|
import threading
|
|
import time
|
|
import socket
|
|
|
|
import Reporter
|
|
|
|
# Keys replaced by server.
|
|
|
|
kReportBugRE = re.compile('<!-- REPORTBUG id="report-(.*)\\.html" -->')
|
|
kReportBugRepl = '<td class="ReportBug"><a href="report/\\1">Report Bug</a></td>'
|
|
kBugKeyValueRE = re.compile('<!-- BUG([^ ]*) (.*) -->')
|
|
|
|
###
|
|
|
|
__version__ = "0.1"
|
|
|
|
__all__ = ["create_server"]
|
|
|
|
class ReporterThread(threading.Thread):
|
|
def __init__(self, report, reporter, parameters, server):
|
|
threading.Thread.__init__(self)
|
|
self.report = report
|
|
self.server = server
|
|
self.reporter = reporter
|
|
self.parameters = parameters
|
|
self.status = None
|
|
|
|
def run(self):
|
|
result = None
|
|
try:
|
|
if self.server.options.debug:
|
|
print >>sys.stderr, "%s: SERVER: submitting bug."%(sys.argv[0],)
|
|
result = self.reporter.fileReport(self.report, self.parameters)
|
|
time.sleep(3)
|
|
if self.server.options.debug:
|
|
print >>sys.stderr, "%s: SERVER: submission complete."%(sys.argv[0],)
|
|
except Reporter.ReportFailure,e:
|
|
s = StringIO.StringIO()
|
|
print >>s,'Submission Failed<br><pre>'
|
|
print >>s,e.value
|
|
print >>s,'</pre>'
|
|
self.status = s.getvalue()
|
|
return
|
|
except Exception,e:
|
|
s = StringIO.StringIO()
|
|
import traceback
|
|
print >>s,'Submission Failed<br><pre>'
|
|
traceback.print_exc(e,file=s)
|
|
print >>s,'</pre>'
|
|
self.status = s.getvalue()
|
|
return
|
|
|
|
s = StringIO.StringIO()
|
|
print >>s, 'Submission Complete!'
|
|
if result is not None:
|
|
print >>s, '<hr>'
|
|
print >>s, result
|
|
self.status = s.getvalue()
|
|
|
|
class ScanViewServer(BaseHTTPServer.HTTPServer):
|
|
def __init__(self, address, handler, root, reporters, options):
|
|
BaseHTTPServer.HTTPServer.__init__(self, address, handler)
|
|
self.root = root
|
|
self.reporters = reporters
|
|
self.options = options
|
|
self.halted = False
|
|
|
|
def halt(self):
|
|
self.halted = True
|
|
if self.options.debug:
|
|
print >>sys.stderr, "%s: SERVER: halting." % (sys.argv[0],)
|
|
|
|
def serve_forever(self):
|
|
while not self.halted:
|
|
if self.options.debug > 1:
|
|
print >>sys.stderr, "%s: SERVER: waiting..." % (sys.argv[0],)
|
|
try:
|
|
self.handle_request()
|
|
except OSError,e:
|
|
print 'OSError',e.errno
|
|
|
|
def handle_error(self, request, client_address):
|
|
# Ignore socket errors
|
|
info = sys.exc_info()
|
|
if info and isinstance(info[1], socket.error):
|
|
if self.options.debug > 1:
|
|
print >>sys.stderr, "%s: SERVER: ignored socket error." % (sys.argv[0],)
|
|
return
|
|
BaseHTTPServer.HTTPServer.handle_error(request, client_address)
|
|
|
|
# Borrowed from Quixote, with simplifications.
|
|
def parse_query(qs, fields=None):
|
|
if fields is None:
|
|
fields = {}
|
|
for chunk in filter(None, qs.split('&')):
|
|
if '=' not in chunk:
|
|
name = chunk
|
|
value = ''
|
|
else:
|
|
name, value = chunk.split('=', 1)
|
|
name = urllib.unquote(name.replace('+', ' '))
|
|
value = urllib.unquote(value.replace('+', ' '))
|
|
fields[name] = value
|
|
return fields
|
|
|
|
class ScanViewRequestHandler(SimpleHTTPServer.SimpleHTTPRequestHandler):
|
|
server_version = "ScanViewServer/" + __version__
|
|
|
|
def do_HEAD(self):
|
|
try:
|
|
SimpleHTTPServer.SimpleHTTPRequestHandler.do_HEAD(self)
|
|
except Exception,e:
|
|
self.handle_exception(e)
|
|
|
|
def do_GET(self):
|
|
try:
|
|
SimpleHTTPServer.SimpleHTTPRequestHandler.do_GET(self)
|
|
except Exception,e:
|
|
self.handle_exception(e)
|
|
|
|
def do_POST(self):
|
|
"""Serve a POST request."""
|
|
try:
|
|
length = self.headers.getheader('content-length') or "0"
|
|
try:
|
|
length = int(length)
|
|
except:
|
|
length = 0
|
|
content = self.rfile.read(length)
|
|
fields = parse_query(content)
|
|
f = self.send_head(fields)
|
|
if f:
|
|
self.copyfile(f, self.wfile)
|
|
f.close()
|
|
except Exception,e:
|
|
self.handle_exception(e)
|
|
|
|
def log_message(self, format, *args):
|
|
if self.server.options.debug:
|
|
sys.stderr.write("%s: SERVER: %s - - [%s] %s\n" %
|
|
(sys.argv[0],
|
|
self.address_string(),
|
|
self.log_date_time_string(),
|
|
format%args))
|
|
|
|
def load_report(self, report):
|
|
path = os.path.join(self.server.root, 'report-%s.html'%report)
|
|
data = open(path).read()
|
|
keys = {}
|
|
for item in kBugKeyValueRE.finditer(data):
|
|
k,v = item.groups()
|
|
keys[k] = v
|
|
return keys
|
|
|
|
def handle_exception(self, exc):
|
|
import traceback
|
|
s = StringIO.StringIO()
|
|
print >>s, "INTERNAL ERROR\n"
|
|
traceback.print_exc(exc, s)
|
|
f = self.send_string(s.getvalue(), 'text/plain')
|
|
if f:
|
|
self.copyfile(f, self.wfile)
|
|
f.close()
|
|
|
|
def send_internal_error(self, message):
|
|
return self.send_string('ERROR: %s'%(message,), 'text/plain')
|
|
|
|
def send_report_submit(self):
|
|
s = StringIO.StringIO()
|
|
report = self.fields.get('report')
|
|
reporter = self.fields.get('reporter')
|
|
title = self.fields.get('title')
|
|
description = self.fields.get('description')
|
|
|
|
# Get the reporter and parameters.
|
|
reporter = self.server.reporters[int(reporter)]
|
|
parameters = {}
|
|
for o in reporter.getParameterNames():
|
|
name = '%s_%s'%(reporter.getName(),o)
|
|
parameters[o] = self.fields.get(name)
|
|
|
|
# Create the report.
|
|
path = os.path.join(self.server.root, 'report-%s.html'%report)
|
|
files = [path]
|
|
br = Reporter.BugReport(title, description, files)
|
|
|
|
# Send back an initial response and wait for the report to
|
|
# finish.
|
|
initial_response = """<html>
|
|
<head><title>Filing Report</title></head>
|
|
<body>
|
|
<h1>Filing Report</h1>
|
|
<b>Report</b>: %(report)s<br>
|
|
<b>Title</b>: %(title)s<br>
|
|
<b>Description</b>: %(description)s<br>
|
|
<hr>
|
|
Submission in progress."""%locals()
|
|
|
|
self.send_response(200)
|
|
self.send_header("Content-type", 'text/html')
|
|
self.end_headers()
|
|
self.wfile.write(initial_response)
|
|
self.wfile.flush()
|
|
|
|
# Kick off a reporting thread.
|
|
t = ReporterThread(br, reporter, parameters, self.server)
|
|
t.start()
|
|
|
|
# Wait for thread to die...
|
|
while t.isAlive():
|
|
self.wfile.write('.')
|
|
self.wfile.flush()
|
|
time.sleep(.25)
|
|
submitStatus = t.status
|
|
|
|
end_response = """<br>
|
|
%(submitStatus)s
|
|
<hr>
|
|
<a href="/">Home</a>
|
|
</body>
|
|
</html>
|
|
"""%locals()
|
|
return self.send_string(end_response, headers=False)
|
|
|
|
def send_report(self, report):
|
|
try:
|
|
keys = self.load_report(report)
|
|
except IOError:
|
|
return self.send_internal_error('Invalid report.')
|
|
|
|
initialTitle = keys.get('DESC','')
|
|
initialDescription = 'Bug generated by the clang static analyzer.'
|
|
|
|
keysAndValues = '\n'.join(['<b>%s</b>: %s<br>'%(k,v) for k,v in keys.items()])
|
|
reporterSelections = []
|
|
reporterOptions = []
|
|
|
|
for i,r in enumerate(self.server.reporters):
|
|
reporterSelections.append('<option value="%d">%s</option>'%(i,r.getName()))
|
|
options = '\n'.join(['%s: <input type="text" name="%s_%s"><br>'%(o,r.getName(),o) for o in r.getParameterNames()])
|
|
if i==0:
|
|
display = 'inline'
|
|
else:
|
|
display = 'none'
|
|
reporterOptions.append('<div id="%sReporterOptions" style="display:%s">\n<h3>%s Options</h3>%s\n</div>'%(r.getName(),display,r.getName(),options))
|
|
reporterSelections = '\n'.join(reporterSelections)
|
|
reporterOptionsDivs = '\n'.join(reporterOptions)
|
|
reportersArray = '[%s]'%(','.join([`r.getName()` for r in self.server.reporters]))
|
|
|
|
result = """<html>
|
|
<head>
|
|
<title>File Report</title>
|
|
</head>
|
|
<script language="javascript" type="text/javascript">
|
|
var reporters = %(reportersArray)s;
|
|
function updateReporterOptions() {
|
|
index = document.getElementById('reporter').selectedIndex;
|
|
for (var i=0; i < reporters.length; ++i) {
|
|
o = document.getElementById(reporters[i] + "ReporterOptions");
|
|
if (i == index) {
|
|
o.style.display = "inline";
|
|
} else {
|
|
o.style.display = "none";
|
|
}
|
|
}
|
|
}
|
|
</script>
|
|
<body>
|
|
<h1>File Report</h1>
|
|
%(keysAndValues)s
|
|
<hr>
|
|
<form name="form" action="/report_submit" method="post">
|
|
Title:
|
|
<input type="text" name="title" size="50" value="%(initialTitle)s"><br>
|
|
Description:<br>
|
|
<textarea rows="10" cols="80" name="description">
|
|
%(initialDescription)s
|
|
</textarea><br>
|
|
<hr>
|
|
<input type="hidden" name="report" value="%(report)s">
|
|
Method: <select id="reporter" name="reporter" onChange="updateReporterOptions()">
|
|
%(reporterSelections)s
|
|
</select><br>
|
|
<hr>
|
|
%(reporterOptionsDivs)s
|
|
<hr>
|
|
<input type="submit" name="Submit" value="Submit">
|
|
</form>
|
|
</body>
|
|
</html>"""%locals()
|
|
return self.send_string(result)
|
|
|
|
def send_head(self, fields=None):
|
|
if fields is None:
|
|
fields = {}
|
|
self.fields = fields
|
|
|
|
o = urlparse.urlparse(self.path)
|
|
self.fields = parse_query(o.query, fields)
|
|
path = posixpath.normpath(urllib.unquote(o.path))
|
|
|
|
# Split the components and strip the root prefix.
|
|
components = path.split('/')[1:]
|
|
|
|
# Special case some top-level entries.
|
|
if components:
|
|
name = components[0]
|
|
if name=='quit':
|
|
self.server.halt()
|
|
return self.send_string('Goodbye.', 'text/plain')
|
|
elif name=='report':
|
|
if len(components)==2:
|
|
return self.send_report(components[1])
|
|
else:
|
|
return self.send_404()
|
|
elif name=='report_submit':
|
|
if len(components)==1:
|
|
return self.send_report_submit()
|
|
else:
|
|
return self.send_404()
|
|
|
|
# Match directory entries.
|
|
if components[-1] == '':
|
|
components[-1] = 'index.html'
|
|
|
|
path = posixpath.join(self.server.root, '/'.join(components))
|
|
if self.server.options.debug > 1:
|
|
print >>sys.stderr, '%s: SERVER: sending path "%s"'%(sys.argv[0],
|
|
path)
|
|
return self.send_path(path)
|
|
|
|
def send_404(self):
|
|
self.send_error(404, "File not found")
|
|
return None
|
|
|
|
def send_path(self, path):
|
|
ctype = self.guess_type(path)
|
|
if ctype.startswith('text/'):
|
|
# Patch file instead
|
|
return self.send_patched_file(path, ctype)
|
|
else:
|
|
mode = 'rb'
|
|
try:
|
|
f = open(path, mode)
|
|
except IOError:
|
|
return self.send_404()
|
|
return self.send_file(f, ctype)
|
|
|
|
def send_file(self, f, ctype):
|
|
# Patch files to add links, but skip binary files.
|
|
self.send_response(200)
|
|
self.send_header("Content-type", ctype)
|
|
fs = os.fstat(f.fileno())
|
|
self.send_header("Content-Length", str(fs[6]))
|
|
self.send_header("Last-Modified", self.date_time_string(fs.st_mtime))
|
|
self.end_headers()
|
|
return f
|
|
|
|
def send_string(self, s, ctype='text/html', headers=True, mtime=None):
|
|
if headers:
|
|
self.send_response(200)
|
|
self.send_header("Content-type", ctype)
|
|
self.send_header("Content-Length", str(len(s)))
|
|
if mtime:
|
|
self.send_header("Last-Modified", self.date_time_string(mtime))
|
|
self.end_headers()
|
|
return StringIO.StringIO(s)
|
|
|
|
def send_patched_file(self, path, ctype):
|
|
f = open(path,'r')
|
|
fs = os.fstat(f.fileno())
|
|
data = f.read()
|
|
data = kReportBugRE.sub(kReportBugRepl, data)
|
|
return self.send_string(data, ctype, mtime=fs.st_mtime)
|
|
|
|
|
|
def create_server(options, root):
|
|
import Reporter
|
|
|
|
reporters = Reporter.getReporters()
|
|
|
|
return ScanViewServer((options.host, options.port),
|
|
ScanViewRequestHandler,
|
|
root,
|
|
reporters,
|
|
options)
|