`TypeMapping.get()` method fails to retrieve system types when the type name contains `::`

[kiddo-pwn]

Version and Platform (required):

• Binary Ninja Version: 5.1.7512-test
• Edition: Ultimate
• OS: MacOS
• OS Version:15.4.1
• CPU Architecture: M4 Max

Bug Description: TypeMapping.get() method fails to retrieve system types when the type name contains :: (double colons), while direct dictionary access works correctly. User-defined types with :: in their names can be retrieved normally with get().

Steps To Reproduce:

1. Open any binary with C++ symbols that creates types with namespace qualifiers
2. Access the Python console
3. Verify type exists: type bv.types to search for example std::string exists
4. Try to get the type: bv.types.get('std::string') returns None
5. With non-namespaced type works correctly

Expected Behavior: bv.types.get('std::string') should return the same result as bv.types['std::string'] for system types containing ::.

Screenshots/Video Recording:

>>> bv.types
<TypeMapping 132 symbols: {... , 'std::string': <type: immutable:StructureTypeClass 'class std::string'>, ...>
>>> bv.types.get("std::string")
>>> bv.types['std::string']
Traceback (most recent call last):
  File "<console>", line 1, in <module>
  File "/Applications/Binary Ninja.app/Contents/MacOS/plugins/../../Resources/python/binaryninja/binaryview.py", line 2062, in __getitem__
    raise KeyError(key)
KeyError: 'std::string'

[kiddo-pwn]

As a temporary workaround, I used below script:

def search_types(name: str):
    for t in bv.types:
        if t[0] == name:
            return t[1]
    return None

[psifertex]

Does it fail if you pass the string with backticks around it?

https://docs.binary.ninja/guide/types/type.html?h=escape#special-characters

[kiddo-pwn]

In my case, yes.

>>> search_types("std::string")
<type: immutable:StructureTypeClass 'class std::string'>
>>> bv.types.get("std::string")
>>> bv.types.get("`std::string`")
>>> bv.types["std::string"]
Traceback (most recent call last):
  File "<console>", line 1, in <module>
  File "/Applications/Binary Ninja.app/Contents/MacOS/plugins/../../Resources/python/binaryninja/binaryview.py", line 2062, in __getitem__
    raise KeyError(key)
KeyError: 'std::string'
>>> bv.types["`std::string`"]
Traceback (most recent call last):
  File "<console>", line 1, in <module>
  File "/Applications/Binary Ninja.app/Contents/MacOS/plugins/../../Resources/python/binaryninja/binaryview.py", line 2062, in __getitem__
    raise KeyError(key)
KeyError: '`std::string`'

[Ninja3047]

this might be silly but try "class std::string"?

[kiddo-pwn]

Good idea but it also failed in my side ;)

https://api.binary.ninja/_modules/binaryninja/binaryview.html#TypeMapping

After digging into this, I discovered that BinaryView also fails to retrieve system types containing ::.

>>> bv.types.get("class std::string")
>>> bv.types.get("class `std::string`")
>>> bv.get_type_by_name("std::string")
>>> bv.get_type_by_name("`std::string`")

[Ninja3047]

it might be only searching for the mangled form of the name if I manually make a std::string type it works as expected

[kiddo-pwn]

Aha, this could be a mangling issue.

The current implementation creates an inconsistency: while I can obtain demangled names through direct references (like search_types) or by browsing bv.types, the get() method fails to retrieve the same types:

>>> bv.types
<TypeMapping 132 symbols: {..., 'std::string': <type: immutable:StructureTypeClass 'class std::string'>, ...}>
>>> bv.types.get("std::string")  # Returns None

I think this inconsistency makes the API less intuitive for users - types are visible but not retrievable through the standard methods. Would there be room for improvement in the type retrieval mechanism?

[CouleeApps]

This is an issue with our QualifiedName API. The demangler can produce names with multiple sections where the :: is actually a joining token and not part of the name proper. We should update these APIs to also support looking up qualified names with multiple parts (or just bite the bullet and remove that abstraction entirely). CC Vector35/binaryninja#422

>>> bv.types["std::string"]
Traceback (most recent call last):
  File "<console>", line 1, in <module>
  File "/Users/glennsmith/Desktop/Binjas/Binary Ninja Dev.app/Contents/MacOS/plugins/../../Resources/python/binaryninja/binaryview.py", line 2062, in __getitem__
    raise KeyError(key)
KeyError: 'std::string'
>>> bv.types[["std", "string"]]
<type: immutable:StructureTypeClass 'class std::string'>