Bitfield resolution in MLIL/HLIL

Aperta
#7,533 1 commento 8 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
5/5
Tempo stimato
Più di una settimana
Idoneità per principianti
35/100
Tipo di issue
Funzionalità
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
cpp
Ambito
compilers, reverse-engineering

Direzione di ricerca

Start by reading the MLIL/HLIL bitfield examples in the issue and the referenced binary, then review issue 694's discussion of bitfields in the type system. Determine how resolved bitfield accesses should appear in HLIL and whether the first accessed member should be hidden or represented anonymously. Done means the examples show the actual bitfield accesses without requiring manual arithmetic.

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

Descrizione

Core: HLIL Core: MLIL Effort: High Impact: Medium UI: Linear

What is the feature you'd like to have?
I would like to see resolved accesses to bitfields in HLIL, since we now can express them (bitfields) in our type system.

Is your feature request related to a problem?
Currently you must do math in your head to determine the accessed bitfield, for example:

Image

The above is setting the first member a to 1 and 4 respectively for each structure.

Another, more annotated example:

MLIL listing:
Image

Types:
Image

Additional Information:
We also likely want to stop showing the first member being accessed, e.g. a in the examples above, and show either no access (the structure itself is loaded into the register) or some anonymous access, so that users do not get confused as to what is really getting accessed.

The above binary is available with: echo nebula rises persistently

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.