INNER CODE UNIT · Python

cmd_emulate

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

def cmd_emulate(args: argparse.Namespace) -> None:
    data = load_input_bytes(args.code)
    emu = make_emulator(arch=args.arch, prefer=args.backend)
    emu.load_code(data, base_address=args.base)
    state = emu.run(max_steps=args.max_steps)
    print(json.dumps(state, indent=2, ensure_ascii=False))


def cmd_parse(args: argparse.Namespace) -> None:
    data = load_input_bytes(args.file)
    info = parse_binary(data, prefer=args.backend)
    if args.json:
        print(json.dumps(info.to_dict(), indent=2, ensure_ascii=False, default=str))
    else:
        s = info.summary()
        print(f"=== {s['format']} ({s['arch']}, {s['bits']}-bit)  [parser: {s['backend']}] ===")
        print(f"EntryPoint:   {s['entrypoint']}")
        print(f"ImageBase:    {s['image_base']}")

View source record →