Il progetto Debian ha lanciato un servizio per ottenere dinamicamente informazioni di debug

La distribuzione Debian ha lanciato un nuovo servizio, debuginfod, che consente di eseguire il debug dei programmi forniti nella distribuzione senza installare separatamente i pacchetti associati con le informazioni di debug dal repository debuginfo. Il servizio lanciato consente di utilizzare la funzionalità introdotta in GDB 10 per caricare dinamicamente i simboli di debug da un server esterno direttamente durante il debug.

Il processo debuginfod che alimenta il servizio è un server HTTP per fornire informazioni di debug ELF/DWARF e codice sorgente. Se creato con il supporto debuginfod, GDB può connettersi automaticamente ai server debuginfod per scaricare le informazioni di debug mancanti sui file in fase di elaborazione o per separare i file di debug e il codice sorgente per l'eseguibile in fase di debug.

Su Debian, il supporto debuginfod è attualmente incluso nei pacchetti elfutils e GDB offerti nei repository unstable e testing. Per abilitare il server debuginfod, basta impostare la variabile d'ambiente 'DEBUGINFOD_URLS=»https://debuginfod.debian.net»' prima di eseguire GDB. Le informazioni di debug sul server Debuginfod in esecuzione per Debian vengono fornite per i pacchetti dai repository unstable, testing testing-proposed-updates, stable, stable-backports e proposto-updates.

Fonte: opennet.ru

Aggiungi un commento