Optionally use demangled names in WARP file creation

Aperta
#7,193 0 commenti 1 reazione 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
5/5
Tempo stimato
Più di una settimana
Idoneità per principianti
25/100
Tipo di issue
Funzionalità
Chiarezza
Da chiarire
Stato di attività
Ferma
Stack tecnologico
cpp

Direzione di ricerca

The issue does not name a file, test, or entry point. Start by locating WARP file creation and the consumer code that demangles stored names, then determine whether an optional demangled-name setting and its deduplication behavior can be specified consistently.

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

Descrizione

Component: WARP Effort: Trivial Impact: Low

Currently mangled names are stored in the WARP file and we expect consumers to demangle them, this is because we may pull information like types from the symbol itself rather than storing the type object seperately, saving some space in the file.

However if we demangled the name and then stored that we could have better deduplication, depending on if we care about the demangled type information.

Opening for discussion, I am not particularly for/against it and making it a setting likely would not be difficult, just need to make sure that the behavior of it makes sense.

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.