Skip to content

[Apple] Objective-C runtime functions should use lower confidence for their id parameters #7370

@bdash

Description

@bdash

Version and Platform (required):

  • Binary Ninja Version: 5.2.8236-dev Ultimate, d8af0ff0
  • OS: macos
  • OS Version: 26.0
  • CPU Architecture: arm64

Bug Description:
To help mitigate the impact of #7367 on Objective-C code we should update the relevant type libraries to lower the confidence of parameters typed as id on Objective-C runtime functions such as objc_retain. They currently have full confidence.

The types are correct, but the fact that subtyping isn't considered during type resolution means that the less specific id type has equal weight as more specific function return types with the same confidence.

#7369 tracks having type resolution consider subtyping which would let us remove this workaround.

Steps To Reproduce:
See #7367.

Metadata

Metadata

Assignees

Type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions