xor reg1, reg1 is not always simplified to reg1 = 0

Aperta

#6,010 aperta il 19/10/2024 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà: 4/5
Tempo stimato: 3-5 giorni
Idoneità per principianti: 35/100

Tipo di issue: Bug
Chiarezza: Abbastanza chiara
Stato di attività: Ferma
Stack tecnologico: cpp
Ambito: compilers, reverse-engineering

Direzione di ricerca

Start by opening the supplied xor_simple.bndb.zip and keygenme4.exe.bndb.zip databases, then inspect the LLIL, MLIL, and HLIL around address 0x416ed5. Compare the inconsistent xor self-assignment simplification with the simple case. Done means equivalent opaque-predicate branches are simplified consistently without changing program semantics.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

Component: Core Core: LLIL Effort: Low Impact: Low

When we have some code like

xor edx, edx
jne 0x18

The LLIL simplifies the xor instruction to edx = 0, and the jne instruction is treated as opaque predicate and removed in higher level of ILs.

LLIL:

MLIL:

HLIL:

This works perfectly for the above example, however, I noticed that it does not work all of the time. See below for an example:

This is an opaque predicate as well and the left branch is fake. The code always executes the right branch.

LLIL:

MLIL:

HLIL:

While the semantics of the code is still correct and we can see it is still an opaque predicate, we should be able to simplify it automatically.

Database:

Offending binary:

keygenme4.exe.bndb.zip

Address: 0x416ed5

Simple case:
xor_simple.bndb.zip

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

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