Skip to content

Function is inferred to have self-referential type signature #8141

@bdash

Description

@bdash

Version and Platform (required):

  • Binary Ninja Version: 5.4.9560-dev Ultimate, 96a1058c
  • OS: macos
  • OS Version: 26.3.1
  • CPU Architecture: arm64

Bug Description:
When loading and analyzing a firmware ROM, a function ended up having its type inferred to a wildly complex, self-referential type. The type is so complex that the app struggles to render it in linear view, and it blows up the size of the database when saving it.

Steps To Reproduce:

  1. Load pin2000_50069_0140_game.rom from blessed jewel excels lightly with a base address of 0x100000. It is 32-bit x86 code.
  2. Go to 0x1b765c and let analysis run.

Expected Behavior:
An inferred type that doesn't bring Binary Ninja to its knees.

Or no function, since in practice 0x1b765c contains the ASCII string literal earn_init

Screenshots:

Image

Metadata

Metadata

Assignees

No one assigned

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions