Come scoprirlo
Questo è l'indirizzo di un'etichetta ed è una funzionalità specifica di GCC .
int main(void) {
void* startp;
s:
startp = &&s;
printf("the assignment above starts at address %p\n", startp);
return 0;
}
Avresti potuto capirlo da solo testando:
int main(void) {
void* startp;
int a;
startp = &&a;
printf("startp=%p\n", startp);
return 0;
}
In tal caso GCC dice:
errore: etichetta "a" utilizzata ma non definita
Sotto il cofano - montaggio
Devi conoscere l'assemblatore per capirlo veramente, ma cercherò di spiegarti cosa significa un indirizzo di un'etichetta.
Dopo che il sistema operativo ha caricato il file .exe dal disco, un componente del sistema operativo chiamato "il caricatore" (Windows ha il "caricatore PE", linux ha "caricatore ELF" o forse anche altri, se sono compilati nel kernel), esegue una "virtualizzazione" di quel programma, trasformandolo in un processo.
Questo processo pensa che sia l'unico nella RAM e abbia accesso all'intera RAM (ovvero 0x00000000-0xFFFFFFFF su una macchina a 32 bit).
(quanto sopra è solo una breve panoramica di quello che sta succedendo, devi davvero imparare il montaggio per capirlo appieno, quindi abbi pazienza)
Ora, l'etichetta in un codice sorgente è fondamentalmente un indirizzo. "goto label;" non fa nient'altro che un salto a quell'indirizzo (pensa al puntatore dell'istruzione in assembly). Questa etichetta memorizza questo indirizzo RAM ed è così che puoi trovare quell'indirizzo.
Dopo aver appreso ASM, ti renderai conto che quell'indirizzo punta a un'istruzione all'interno della .textsezione dell'eseguibile. La .textsezione è quella che contiene il codice (binario) del programma da eseguire.
Puoi ispezionarlo con:
objdump -x a.out
Un esempio pratico
Come descritto in GCC , puoi usarlo per inizializzare una tabella di salto. Alcuni generatori di scanner come re2c (vedi il -gparametro) lo usano per generare scanner più compatti. Forse c'è anche un generatore di parser che utilizza la stessa tecnica.