Get mangled function name

[mixern6]

Hello, I'm using FlatAPI in python and I'm trying to get the original mangled name (like _Z8glob_fn9cilxjmfdebPvPS_ ) of a function. Here is what I tried with no success. All of these return the demangled name

          json_data["name"] = function.getName()

          function_symbol = flat_api.getSymbolAt(function_entry_point)
          json_data["functionsymbolname"] = function_symbol.getName()

          symbol = function.getSymbol()
          json_data["symbolname"] = symbol.getName()

          signature = function.getSignature()
          json_data["signaturename"] = signature.getName()

[ryanmkurtz]

I'm not sure if this is optimal, but you can do for entry in currentProgram.getSymbolTable().getLabelHistory(addr): ... and try to get it from there. entry is of type LabelHistory which you can look up.

[dragonmacher]

Each mangled symbol should still be at the address of the function, along with the demangled symbol. It looks like there is no method on FlatProgramAPI to get them, but you can from the SymbolManager:

SymbolManager symbolManager = currentProgram.getSymbolManager();
Symbol[] symbols = symbolManager.getSymbols(function_entry_point);