C i Maguyva: anropsgrafer för system- och inbyggd kod

Varför C behöver en anropsgraf och inte grep

C har inga klasser eller moduler som organiserar koden. Strukturen finns i funktionsanrop, headers och structs, och samma namn kan dyka upp i kommentarer, makron och strängliteraler. Export- och annoteringsmakron omsluter deklarationer, vilket får verktyg som bara kan parsa ren C att snubbla. För en agent är anropsgrafen det säkra första steget.

Maguyva bygger den grafen så att en agent kan se vad en funktion når och vad som når den innan den föreslår en ändring.

Vad Maguyva extraherar i C

Maguyva täcker .c och .h. Funktionsdefinitioner extraheras som symboler, och structs och unions kan väljas som typdefinitioner i strukturell sökning. #include-direktiv blir importrelationer.

Export- och synlighetsmakron (mönster som FOO_API, DLLEXPORT eller LIBEXPORT) och annoteringsmakron för trådsäkerhet (som GUARDED_BY och REQUIRES) maskeras före parsning, så att deklarationer som omsluts av dem fortfarande parsas som deklarationer. Kroppar i funktionsliknande makron parsas; kroppar i objektliknande makron gör det inte.

Grafen registrerar anrop, includes, instansiering via sammansatta literaler, typreferenser, läsningar och skrivningar samt kontrollflöde. Omkring 124 anrop i C:s standardbibliotek (printf, malloc, free, memcpy, strlen och liknande) filtreras bort ur relationerna så att projektets kod syns.

Exempel på prompter för agenter

• “Vem anropar uart_write, direkt eller via andra funktioner?” (dependency_search incoming)
• “Vilka filer inkluderar config.h, och vilka av dess structs använder de?” (dependency_search, sedan find_symbol)
• “Förklara hur ett paket går från mottagningsavbrottet till protokollparsern.” (get_task_context)

Kända begränsningar

• C har varken klasser eller undantag, så relationer för arv, gränssnittsimplementation, överskrivning, kast och fångst är markerade som ej tillämpliga.
• .h finns i filändelselistorna för C, C++ och Objective-C, så headers i flerspråkiga träd delas mellan de profilerna.
• Anrop till filtrerade funktioner i standardbiblioteket är inte kanter i grafen. Använd text_pattern_search när du behöver varje malloc eller memcpy.

Nästa steg

Anslut ett repo med snabbstarten och kontrollera sedan stödmatrisen på kompatibilitetssidan. För C++-kod i samma träd, läs guiden för C++.