summaryrefslogtreecommitdiffstats
path: root/js/src/devtools/rootAnalysis/t/testlib.py
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/devtools/rootAnalysis/t/testlib.py')
-rw-r--r--js/src/devtools/rootAnalysis/t/testlib.py120
1 files changed, 120 insertions, 0 deletions
diff --git a/js/src/devtools/rootAnalysis/t/testlib.py b/js/src/devtools/rootAnalysis/t/testlib.py
new file mode 100644
index 000000000..438398f1e
--- /dev/null
+++ b/js/src/devtools/rootAnalysis/t/testlib.py
@@ -0,0 +1,120 @@
+import json
+import os
+import re
+import subprocess
+
+from sixgill import Body
+from collections import defaultdict, namedtuple
+
+scriptdir = os.path.abspath(os.path.join(os.path.dirname(__file__), ".."))
+
+HazardSummary = namedtuple('HazardSummary', ['function', 'variable', 'type', 'GCFunction', 'location'])
+
+
+def equal(got, expected):
+ if got != expected:
+ print("Got '%s', expected '%s'" % (got, expected))
+
+def extract_unmangled(func):
+ return func.split('$')[-1]
+
+
+class Test(object):
+ def __init__(self, indir, outdir, cfg):
+ self.indir = indir
+ self.outdir = outdir
+ self.cfg = cfg
+
+ def infile(self, path):
+ return os.path.join(self.indir, path)
+
+ def binpath(self, prog):
+ return os.path.join(self.cfg.sixgill_bin, prog)
+
+ def compile(self, source, options = ''):
+ cmd = "{CXX} -c {source} -O3 -std=c++11 -fplugin={sixgill} -fplugin-arg-xgill-mangle=1 {options}".format(
+ source=self.infile(source),
+ CXX=self.cfg.cxx, sixgill=self.cfg.sixgill_plugin,
+ options=options)
+ if self.cfg.verbose:
+ print("Running %s" % cmd)
+ subprocess.check_call(["sh", "-c", cmd])
+
+ def load_db_entry(self, dbname, pattern):
+ '''Look up an entry from an XDB database file, 'pattern' may be an exact
+ matching string, or an re pattern object matching a single entry.'''
+
+ if not isinstance(pattern, basestring):
+ output = subprocess.check_output([self.binpath("xdbkeys"), dbname + ".xdb"])
+ matches = filter(lambda _: re.search(pattern, _), output.splitlines())
+ if len(matches) == 0:
+ raise Exception("entry not found")
+ if len(matches) > 1:
+ raise Exception("multiple entries found")
+ pattern = matches[0]
+
+ output = subprocess.check_output([self.binpath("xdbfind"), "-json", dbname + ".xdb", pattern])
+ return json.loads(output)
+
+ def run_analysis_script(self, phase, upto=None):
+ file("defaults.py", "w").write('''\
+analysis_scriptdir = '{scriptdir}'
+sixgill_bin = '{bindir}'
+'''.format(scriptdir=scriptdir, bindir=self.cfg.sixgill_bin))
+ cmd = [os.path.join(scriptdir, "analyze.py"), phase]
+ if upto:
+ cmd += ["--upto", upto]
+ cmd.append("--source=%s" % self.indir)
+ cmd.append("--objdir=%s" % self.outdir)
+ cmd.append("--js=%s" % self.cfg.js)
+ if self.cfg.verbose:
+ cmd.append("--verbose")
+ print("Running " + " ".join(cmd))
+ subprocess.check_call(cmd)
+
+ def computeGCTypes(self):
+ self.run_analysis_script("gcTypes", upto="gcTypes")
+
+ def computeHazards(self):
+ self.run_analysis_script("gcTypes")
+
+ def load_text_file(self, filename, extract=lambda l: l):
+ fullpath = os.path.join(self.outdir, filename)
+ values = (extract(line.strip()) for line in file(fullpath))
+ return filter(lambda _: _ is not None, values)
+
+ def load_suppressed_functions(self):
+ return set(self.load_text_file("suppressedFunctions.lst"))
+
+ def load_gcTypes(self):
+ def grab_type(line):
+ m = re.match(r'^(GC\w+): (.*)', line)
+ if m:
+ return (m.group(1) + 's', m.group(2))
+ return None
+
+ gctypes = defaultdict(list)
+ for collection, typename in self.load_text_file('gcTypes.txt', extract=grab_type):
+ gctypes[collection].append(typename)
+ return gctypes
+
+ def load_gcFunctions(self):
+ return self.load_text_file('gcFunctions.lst', extract=extract_unmangled)
+
+ def load_hazards(self):
+ def grab_hazard(line):
+ m = re.match(r"Function '(.*?)' has unrooted '(.*?)' of type '(.*?)' live across GC call '(.*?)' at (.*)", line)
+ if m:
+ info = list(m.groups())
+ info[0] = info[0].split("$")[-1]
+ info[3] = info[3].split("$")[-1]
+ return HazardSummary(*info)
+ return None
+
+ return self.load_text_file('rootingHazards.txt', extract=grab_hazard)
+
+ def process_body(self, body):
+ return Body(body)
+
+ def process_bodies(self, bodies):
+ return [self.process_body(b) for b in bodies]