gdb-from-bn.py

# Untested, but could be used to generate a script to annotate a binary for GDB
# Run this script inside of the snippet editor to create a shell script
output = "#!/bin/bash\n"
for sym in bv.get_symbols():
  flags = ",global"
  if sym.type == SymbolType.FunctionSymbol:
    flags += ",function"
  output += f"objcopy input --add-symbol {sym.name}=.text:{hex(sym.address)}{flags} output; mv output input;\n"
outputfile = get_save_filename_input("script command")
if outputfile:
  with open(outputfile, "w", encoding="utf-8") as f:
    f.write(output)