C di Maguyva: graf panggilan untuk kode sistem dan embedded

Mengapa C membutuhkan graf panggilan, bukan grep

C tidak punya kelas atau modul untuk mengatur kode. Strukturnya tinggal di panggilan fungsi, header, dan struct, dan nama yang sama bisa muncul di komentar, makro, dan literal string. Makro ekspor dan anotasi membungkus deklarasi, sehingga alat yang hanya mengurai C murni tersandung. Bagi agen, langkah pertama yang aman adalah graf panggilan.

Maguyva membangun graf ini, sehingga agen dapat melihat ke mana sebuah fungsi menjangkau dan apa yang menjangkaunya sebelum mengusulkan perubahan.

Apa yang diekstrak Maguyva dari C

Maguyva mencakup .c dan .h. Definisi fungsi diekstrak sebagai simbol, dan struct serta union dapat dipilih sebagai definisi tipe dalam pencarian struktural. Direktif #include menjadi relasi impor.

Makro ekspor dan visibilitas (pola seperti FOO_API, DLLEXPORT, atau LIBEXPORT) dan makro anotasi keamanan thread (seperti GUARDED_BY dan REQUIRES) di-mask sebelum penguraian, sehingga deklarasi yang dibungkusnya diurai sebagai deklarasi biasa. Badan makro mirip fungsi diurai; badan makro mirip objek tidak.

Graf mencatat panggilan, include, instansiasi melalui compound literal, referensi tipe, pembacaan dan penulisan, serta alur kontrol. Sekitar 124 panggilan pustaka standar C (printf, malloc, free, memcpy, strlen, dan sejenisnya) difilter dari relasi, agar kode proyek menonjol.

Contoh prompt agen

• “Siapa yang memanggil uart_write, secara langsung atau melalui fungsi lain?” (dependency_search arah masuk)
• “Berkas mana yang meng-include config.h, dan struct mana yang mereka gunakan?” (dependency_search, lalu find_symbol)
• “Jelaskan bagaimana sebuah paket bergerak dari interrupt penerimaan ke parser protokol.” (get_task_context)

Batasan yang diketahui

• C tidak memiliki kelas maupun eksepsi, sehingga relasi pewarisan, implementasi interface, override, throw, dan catch ditandai tidak berlaku.
• .h muncul dalam daftar ekstensi C, C++, dan Objective-C, sehingga header di pohon kode multibahasa terbagi di antara profil-profil tersebut.
• Panggilan ke fungsi pustaka standar yang difilter bukan edge graf. Gunakan text_pattern_search saat Anda membutuhkan setiap malloc atau memcpy.

Langkah berikutnya

Hubungkan repositori dengan panduan memulai cepat, lalu periksa matriks dukungan di halaman kompatibilitas. Untuk kode C++ di pohon yang sama, baca panduan C++.