binaryninja-api icon indicating copy to clipboard operation
binaryninja-api copied to clipboard
verified publisher icon Vector35

HLIL simplifies array access incorrectly

Open gitbubaa opened this issue 4 years ago • 1 comments

Describe the bug HLIL simplifies array access incorrectly.

To Reproduce Steps to reproduce the behavior:

  1. Open attached the binary command from the ctf chall: stolen_backdoor_0e0064acfb07b8c644c57e07c4c7d6c711fda3186c77d20b96e30b9a71b8f4e1.tar.gz
  2. Go to main
  3. View HLIL

Expected behavior The data array for input should be accessed at var_70-1

Screenshots Before simplification: image After: image

HLIL: image

Disassembly: image

Desktop (please complete the following information):

  • OS: Windows
  • Version 10
  • Binary Ninja version: 2.3.2796-dev

Additional context hexrays can handle this. Maybe just some compiler heuristics. image ghidra also makes the same mistake image

gitbubaa avatar May 09 '21 07:05 gitbubaa

I know this is rather old but do you happen to have the binary associated with this? The provided tar.gz doesn't look to have the binary in question.

plafosse avatar Feb 19 '24 13:02 plafosse

Closing this because we still don't have a reproducible binary. Please feel free to reopen if anyone has one.

fuzyll avatar Mar 26 '24 14:03 fuzyll