Dead Store Elimination doesn't seem to eliminate some expressions correctly.

Aperta
#2,937 1 commento 1 reazione 1 assegnatario Vedi su GitHub

@D0ntPanic ci sta già lavorando.

Dal 9/2/2022.

Valutazione

Questa issue non è ancora stata valutata.

Descrizione

Component: Core Core: HLIL Effort: Low IL Optimization Impact: Low

Version and Platform (required):

  • Binary Ninja Version: Version 3.0.3247-dev Personal
  • OS: Windows 11

Bug Description:
Dead Store Elimination sometimes leaves hanging operands, which gives an invalid HLIL. Here is the screenshot for the HLIL:
image
Here is the HLIL report, showing the DSE behavior:
image
Here it doesn't matter argc and argv are not passed to main

Steps To Reproduce:
Download rc4.zip and load rc4.exe in binary ninja.
Go to __scrt_common_main_seh and look right before main is called.

Expected Behavior:
If these value are supposed to be eliminated, they should not appear in the HLIL at all.

Additional information:
This doesn't seem to be an isolated problem. It happens fairly regularly in a few protected executable I sadly couldn't share. It seems to happen mainly when dereferencing memory:
image
image
image

Lingua principale
C++
Stelle
1.3k
Fork
298
Merge medio
5g 5h
PR unite (30g)
19

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di Vector35/binaryninja-api

Tutte le issue di Vector35/binaryninja-api

Issue simili

Altre issue su C++

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.