INNER CODE UNIT · Python

cmd_backends

2akouwu/reverify · reverify/cli.py:246

def cmd_backends(args: argparse.Namespace) -> None:
    rep = backend_report()
    if args.json:
        print(json.dumps(rep, indent=2))
    else:
        print("=== Reverify backends ===")
        for k in ("disassembly", "emulation", "binary_parsing", "proof", "semantic"):
            v = rep.get(k) or {}
            ver = f" {v['version']}" if v.get("version") else ""
            print(f"{k:<16} {v.get('engine', '?')}{ver}")
        print(f"full fidelity:   {rep['full_fidelity']}")
        if rep["install_hint"]:
            print(f"upgrade:         {rep['install_hint']}")


def cmd_gen_hook(args: argparse.Namespace) -> None:
    script = FridaScriptGenerator.generate_function_hook(
        target_symbol=args.symbol,

View source record →