C in Maguyva: grafi delle chiamate per codice di sistema ed embedded

Perché C ha bisogno di un grafo delle chiamate, non di grep

C non ha classi né moduli per organizzare il codice. La struttura vive nelle chiamate di funzione, negli header e nelle struct, e lo stesso nome può comparire in commenti, macro e letterali stringa. Le macro di export e di annotazione avvolgono le dichiarazioni, mandando in crisi gli strumenti che sanno analizzare solo C puro. Per un agente, il primo passo sicuro è il grafo delle chiamate.

Maguyva costruisce questo grafo, così un agente vede cosa raggiunge una funzione e cosa la raggiunge prima di proporre una modifica.

Cosa estrae Maguyva in C

Maguyva copre .c e .h. Le definizioni di funzione vengono estratte come simboli, e struct e union si possono selezionare come definizioni di tipo nella ricerca strutturale. Le direttive #include diventano relazioni di import.

Le macro di export e visibilità (pattern come FOO_API, DLLEXPORT o LIBEXPORT) e le macro di annotazione per la thread safety (come GUARDED_BY e REQUIRES) vengono mascherate prima dell’analisi, così le dichiarazioni avvolte vengono comunque riconosciute come dichiarazioni. I corpi delle macro di tipo funzione vengono analizzati; quelli delle macro di tipo oggetto no.

Il grafo registra chiamate, include, istanziazione tramite compound literal, riferimenti di tipo, letture e scritture, e flusso di controllo. Circa 124 chiamate della libreria standard C (printf, malloc, free, memcpy, strlen e simili) vengono filtrate dalle relazioni, così il codice del progetto risalta.

Esempi di prompt per agenti

• “Chi chiama uart_write, direttamente o tramite altre funzioni?” (dependency_search incoming)
• “Quali file includono config.h e quali sue struct usano?” (dependency_search, poi find_symbol)
• “Spiega come un pacchetto passa dall’interrupt di ricezione al parser del protocollo.” (get_task_context)

Limiti noti

• C non ha classi né eccezioni, quindi le relazioni di ereditarietà, implementazione di interfacce, override, lancio e cattura sono contrassegnate come non applicabili.
• .h compare negli elenchi di estensioni di C, C++ e Objective-C, quindi gli header multilinguaggio sono condivisi tra questi profili.
• Le chiamate alle funzioni filtrate della libreria standard non sono archi del grafo. Usa text_pattern_search quando ti serve ogni malloc o memcpy.

Prossimi passi

Collega un repository con la guida rapida, poi consulta la matrice di supporto nella pagina di compatibilità. Per il codice C++ nello stesso albero, leggi la guida a C++.