Ints

app.py

@@ -58,7 +58,7 @@ def get_all_dis(bname, addrs=None):
 
 def get_funs(f):
     funs = get_all_dis(f.name)
-    return "\n".join(funs.keys())
+    return "\n".join(("%#x" % addr) for addr in funs.keys())
 
 demo = gr.Interface(fn=get_funs, inputs="file", outputs="textarea")
 demo.launch(server_name="0.0.0.0", server_port=7860)