search for: _z7thread1pv

Hi folks, I'm currently extending my model checker to collect coverage information, and as part of this I'm finding a need to get a more friendly version of munged C++ identifiers than the name used by the linker. For example, though internally, something like '_Z7thread1Pv' is fine as an identifier, I'd like to be able to give the user something more readable. Since the disassembler seems to be able to do this, I'd like to be able to do it too, though I can't spot anything in the Function class interface that looks like a candidate. My code...