Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Undefined type presists in anaylsis #6159

Open
ElykDeer opened this issue Nov 20, 2024 · 0 comments
Open

Undefined type presists in anaylsis #6159

ElykDeer opened this issue Nov 20, 2024 · 0 comments
Labels
Component: Core Issue needs changes to the core Type: Bug Issue is a non-crashing bug with repro steps

Comments

@ElykDeer
Copy link
Member

Version and Platform (required):

  • Binary Ninja Version: 4.2.6541-dev
  • OS: Mac
  • CPU Architecture: M2

Bug Description:
After undefining a type, it persists in the IL (even across reanalysis).

Steps To Reproduce:

  1. Open any binary
  2. Define a user type struct
  3. Set that type on a variable (struct* or struct)
  4. Undefine the struct

Expected Behavior:
The type of the variable should be reset to whatever the auto type from analysis was.

Screenshots/Video Recording:

output.mov

Josh tested this in 4.1 and 4.0 and was able to repro it.

@ElykDeer ElykDeer added Type: Bug Issue is a non-crashing bug with repro steps Component: Core Issue needs changes to the core labels Nov 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: Core Issue needs changes to the core Type: Bug Issue is a non-crashing bug with repro steps
Projects
None yet
Development

No branches or pull requests

1 participant