http://sourceware.org/gdb/current/onlinedocs/gdb/Symbols-In-Python.html#Symbols-In-Python On 03/18/12 22:37, Avi Kivity wrote: > Is there a gdb python API for 'info symbol'? >