INNER CODE UNIT · Python
cmd_functions
2akouwu/reverify · reverify/cli.py:336
def cmd_functions(args: argparse.Namespace) -> None:
data = load_input_bytes(args.target)
view = semantic_view(data)
funcs = view.list_functions(limit=args.limit, imports=args.imports)
if args.json:
print(json.dumps({"summary": view.summary(), "functions": funcs}, indent=2, ensure_ascii=False))
return
s = view.summary()
print(
f"Engine: {s['engine']} {s['engine_version'] or ''} | functions {s['functions']} | "
f"call edges {s['call_edges']} | xref targets {s['xref_targets']} | reachable from entry {s['reachable_from_entry']}"
)
if s.get("install_hint"):
print(f"(partial: only the entry point and exports are known; {s['install_hint']} for boundaries, calls and xrefs)")
for f in funcs:
flag = " export" if f.get("is_export") else ""
print(f" {f['rva']:>10} {f['name']:<40} size {f.get('size', 0):>6} blocks {f.get('blocks', 0):>4}{flag}")