Quelle explain.py
Sprache: Python
|
|
#!/usr/bin/python3
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this file,
# You can obtain one at http://mozilla.org/MPL/2.0/.
import argparse
import json
import pathlib
import re
from html import escape
SRCDIR = pathlib.Path(__file__).parent.parent.parent.absolute()
parser = argparse.ArgumentParser(
description="Convert the JSON output of the hazard analysis into various text files describing the results.",
formatter_class=argparse.ArgumentDefaultsHelpFormatter,
)
parser.add_argument("--verbose", type=bool, default=False, help="verbose output")
inputs = parser.add_argument_group("Input")
inputs.add_argument(
"rootingHazards",
nargs="?",
default="rootingHazards.json",
help="JSON input file describing the output of the hazard analysis",
)
outputs = parser.add_argument_group("Output")
outputs.add_argument(
"gcFunctions",
nargs="?",
default="gcFunctions.txt",
help="file containing a list of functions that can GC",
)
outputs.add_argument(
"hazards",
nargs="?",
default="hazards.txt",
help="file containing the rooting hazards found",
)
outputs.add_argument(
"extra",
nargs="?",
default="unnecessary.txt",
help="file containing unnecessary roots",
)
outputs.add_argument(
"refs",
nargs="?",
default="refs.txt",
help="file containing a list of unsafe references to unrooted values",
)
outputs.add_argument(
"html",
nargs="?",
default="hazards.html",
help="HTML-formatted file with the hazards found",
)
args = parser.parse_args()
# Imitate splitFunction from utility.js.
def splitfunc(full):
idx = full.find("$")
if idx == -1:
return (full, full)
return (full[0:idx], full[idx + 1 :])
def print_header(outfh):
print(
"""\
<!DOCTYPE html>
<head>
<meta charset="utf-8">
<style>
input {
position: absolute;
opacity: 0;
z-index: -1;
}
tt {
background: #eee;
}
.tab-label {
cursor: s-resize;
}
.tab-label a {
color: #222;
}
.tab-label:hover {
background: #eee;
}
.tab-label::after {
content: " \\25B6";
width: 1em;
height: 1em;
color: #75f;
text-align: center;
transition: all 0.35s;
}
.accorntent {
max-height: 0;
padding: 0 1em;
color: #2c3e50;
overflow: hidden;
background: white;
transition: all 0.35s;
}
input:checked + .tab-label::after {
transform: rotate(90deg);
content: " \\25BC";
}
input:checked + .tab-label {
cursor: n-resize;
}
input:checked ~ .accorntent {
max-height: 100vh;
}
</style>
</head>
<body>""",
file=outfh,
)
def print_footer(outfh):
print(" | |
