#!/usr/bin/env python

# 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/.

# run the Winchecksec tool (https://github.com/trailofbits/winchecksec)
# against a given Windows binary.

import json
import subprocess
import sys

import buildconfig

# usage
if len(sys.argv) != 2:
    print("""usage : autowinchecksec.by path_to_binary""")
    sys.exit(0)

binary_path = sys.argv[1]

# execute winchecksec against the binary, using the WINCHECKSEC environment
# variable as the path to winchecksec.exe
try:
    winchecksec_path = buildconfig.substs["WINCHECKSEC"]
except KeyError:
    print(
        "TEST-UNEXPECTED-FAIL | autowinchecksec.py | WINCHECKSEC environment variable is "
        "not set, can't check DEP/ASLR etc. status."
    )
    sys.exit(1)

wine = buildconfig.substs.get("WINE")
if wine and winchecksec_path.lower().endswith(".exe"):
    cmd = [wine, winchecksec_path]
else:
    cmd = [winchecksec_path]

try:
    result = subprocess.check_output(cmd + ["-j", binary_path], universal_newlines=True)

except subprocess.CalledProcessError as e:
    print(
        "TEST-UNEXPECTED-FAIL | autowinchecksec.py | Winchecksec returned error code %d:\n%s"
        % (e.returncode, e.output)
    )
    sys.exit(1)


result = json.loads(result)

checks = [
    "aslr",
    "cfg",
    "dynamicBase",
    "gs",
    "isolation",
    "nx",
    "seh",
]

if buildconfig.substs["TARGET_CPU"] == "x86":
    checks += [
        "safeSEH",
    ]
else:
    checks += [
        "highEntropyVA",
    ]

failed = [c for c in checks if result.get(c) is False]

if failed:
    print(
        "TEST-UNEXPECTED-FAIL | autowinchecksec.py | Winchecksec reported %d error(s) for %s"
        % (len(failed), binary_path)
    )
    print(
        "TEST-UNEXPECTED-FAIL | autowinchecksec.py | The following check(s) failed: %s"
        % (", ".join(failed))
    )
    sys.exit(1)
else:
    print("TEST-PASS | autowinchecksec.py | %s succeeded" % binary_path)