\ingroup module_hidden \defgroup goto-inspect goto-inspect

\author Fotis Koutoulakis

The goto-inspect/ contains the code for the binary goto-inspect, intended to provide an all-purpose tool for inspection of goto-binaries (properties, goto-functions, etc).