Simboli pubblici e simboli privati

Quando si compila un driver o un altro programma, i simboli del programma vengono in genere archiviati nei file di simboli, anche se alcuni compilatori meno recenti archiviano determinati simboli nel file eseguibile. Quando un debugger analizza un programma, deve accedere ai simboli del programma.

In genere, i file di simboli possono includere uno o tutti i simboli seguenti:

• Nomi e indirizzi di tutte le funzioni

• Tutte le definizioni di tipo di dati, struttura e classe

• Nomi, tipi di dati e indirizzi delle variabili globali

• Nomi, tipi di dati, indirizzi e ambiti delle variabili locali

• Numeri di riga nel codice sorgente che corrispondono a ogni istruzione binaria

Alcuni sviluppatori di programmi potrebbero sentirsi a disagio condividendo tutte queste informazioni con i clienti. BinPlace può essere usato per ridurre la quantità di simboli in un file di simboli.

Alcuni simboli di base, ad esempio i nomi delle funzioni e le variabili globali, sono necessari anche per il debug più rudimentale. Questi sono denominati simboli pubblici. I simboli, ad esempio i nomi della struttura dei dati, le variabili globali visibili in un solo file di oggetto, le variabili locali e le informazioni sul numero di riga non sono sempre necessari per il debug, anche se sono utili per una sessione di debug più approfondita. Questi sono denominati simboli privati.

Un file di simboli che contiene simboli sia privati che pubblici è denominato file di simboli completo. Un file di simboli che contiene solo simboli pubblici viene chiamato file di simboli rimossi.

BinPlace può creare un file di simboli rimosso. Lo fa creando un nuovo file di simboli che contiene solo simboli pubblici; i simboli privati vengono rimossi ("spogliati"). Quando vengono usate le opzioni BinPlace più comuni (-a -x -s -n), i file di simboli rimossi vengono inseriti nella directory elencata dopo l'opzione -s e i file di simboli completi vengono inseriti nella directory elencata dopo l'opzione -n .

Quando BinPlace spoglia un file di simboli, le versioni depurate e intatte del file sono dotate di firme identiche e altre informazioni di identificazione. In questo modo è possibile usare una delle due versioni per il debug.

Nota BinPlace rimuoverà i simboli privati da un file di simboli quando il file di simboli si trova nella stessa directory del file eseguibile e si specifica il nome del file eseguibile (insieme alle opzioni appropriate) nella riga di comando di BinPlace. Non è consigliabile specificare il nome del file di simboli stesso - farlo comporterà l'operazione da parte di BinPlace di spostare il file senza modificarlo.

Se è necessario determinare se un file di simboli contiene simboli privati, è possibile usare lo strumento SymChk . SymChk fa parte del pacchetto Strumenti di debug per Windows. Per informazioni dettagliate, vedere SymChk e Debug di Windows .

Se si invia il driver al programma di certificazione hardware Windows, è possibile inviare file di simboli rimossi se si preferisce non condividere i simboli privati con Microsoft. I file di simboli rimossi da BinPlace non espongono parti dell'architettura del driver che normalmente verrebbero considerate riservate. Per altre informazioni, vedere Programma di certificazione hardware Windows.