Perché i compilatori C comuni includono il nome file di origine nell'output?

Question

Ho appreso da this recent answer che gcc e clang includono il nome file di origine da qualche parte nel binario come metadati, anche quando il debug non è abilitato.

Non riesco davvero a capire perché questa dovrebbe essere una buona idea. Oltre ai piccoli rischi per la privacy, questo accade anche quando si ottimizza la dimensione del file binario risultante (-Os), che appare inefficiente.

Perché i compilatori includono queste informazioni?

Answer 1

Il motivo per cui GCC include il nome del file è principalmente per scopi di debug, perché permette ai programmatori di identificare da quale sorgente il file di un determinato simbolo viene da come (laconicamente) delineato nel ELF spec p1-17 e ulteriormente approfondito nel some Oracle docs on linking.

Un esempio di utilizzo della sezione STT_FILE è dato da this SO question.

Sono ancora confuso perché sia ​​GCC che Clang lo includono anche se si specifica -g0, ma è possibile impedirlo includendo STT_FILE con -s. Non sono riuscito a trovare alcuna spiegazione per questo, né ho potuto trovare un "motivo ufficiale" perché STT_FILE è incluso nelle specifiche ELF (che è molto terse).

Answer 2

che ho imparato da questa recente risposta che gcc include il nome del file di origine da qualche parte nel binario come metadati, anche quando debug non è attivo.

Non proprio. Nella moderna oggetto ELF file il nome del file in effetti è un simbolo di tipo FILE:

$ readelf bignum.o # Source bignum.c 
[...] 
Symbol table (.symtab) contains 36 entries: 
    Num: Value   Size Type Bind Vis  Ndx Name 
    0: 0000000000000000  0 NOTYPE LOCAL DEFAULT UND 
    1: 0000000000000000  0 FILE LOCAL DEFAULT ABS bignum.c 
    2: 0000000000000000  0 SECTION LOCAL DEFAULT 1 
    3: 0000000000000000  0 SECTION LOCAL DEFAULT 3 
    4: 0000000000000000  0 SECTION LOCAL DEFAULT 4 
    5: 0000000000000000  0 SECTION LOCAL DEFAULT 5 
    6: 0000000000000000  0 SECTION LOCAL DEFAULT 6 
    7: 0000000000000000  0 SECTION LOCAL DEFAULT 7 
    8: 0000000000000000  0 SECTION LOCAL DEFAULT 8 
    9: 00000000000003f0 172 FUNC GLOBAL DEFAULT 1 add 
    10: 00000000000004a0 104 FUNC GLOBAL DEFAULT 1 copy 

Tuttavia, una volta messo a nudo, il simbolo è andato:

$ strip bignum.o 
$ readelf -all bignum.o | grep bignum.c 
$ 

Quindi, per mantenere la vostra privacy, spellare l'eseguibile, o compilare/collegare con -s.