C บน Maguyva: กราฟการเรียกสำหรับโค้ดระบบและโค้ดฝังตัว

ทำไม C ต้องใช้กราฟการเรียก ไม่ใช่ grep

C ไม่มีคลาสหรือโมดูลสำหรับจัดระเบียบโค้ด โครงสร้างอยู่ในการเรียกฟังก์ชัน เฮดเดอร์ และ struct และชื่อเดียวกันอาจปรากฏในคอมเมนต์ มาโคร และสตริงลิเทอรัล มาโคร export และแอนโนเทชันห่อการประกาศไว้ ซึ่งทำให้เครื่องมือที่แยกวิเคราะห์ได้แค่ C ล้วนสะดุด สำหรับเอเจนต์ ขั้นแรกที่ปลอดภัยคือกราฟการเรียก

Maguyva สร้างกราฟนี้ เพื่อให้เอเจนต์เห็นว่าฟังก์ชันไปถึงที่ใด และอะไรไปถึงฟังก์ชันนั้น ก่อนเสนอการเปลี่ยนแปลง

Maguyva ดึงอะไรจาก C ได้บ้าง

Maguyva ครอบคลุม .c และ .h นิยามฟังก์ชันถูกดึงออกมาเป็นสัญลักษณ์ และเลือก struct และ union เป็นนิยามชนิดข้อมูลในการค้นหาเชิงโครงสร้างได้ ไดเรกทีฟ #include กลายเป็นความสัมพันธ์การนำเข้า

มาโคร export และการมองเห็น (รูปแบบอย่าง FOO_API, DLLEXPORT หรือ LIBEXPORT) และมาโครแอนโนเทชันด้านความปลอดภัยของเธรด (เช่น GUARDED_BY และ REQUIRES) ถูกปิดบังก่อนแยกวิเคราะห์ การประกาศที่ถูกห่อไว้จึงแยกวิเคราะห์เป็นการประกาศปกติ ตัวมาโครแบบฟังก์ชันจะถูกแยกวิเคราะห์ ส่วนตัวมาโครแบบออบเจกต์จะไม่ถูกแยกวิเคราะห์

กราฟบันทึกการเรียก การ include การสร้างอินสแตนซ์ผ่านคอมพาวด์ลิเทอรัล การอ้างอิงชนิดข้อมูล การอ่านและการเขียน และโฟลว์การควบคุม การเรียกไลบรารีมาตรฐานของ C ราว 124 รายการ (printf, malloc, free, memcpy, strlen และอื่น ๆ ทำนองเดียวกัน) ถูกกรองออกจากความสัมพันธ์ เพื่อให้โค้ดของโปรเจกต์โดดเด่นขึ้นมา

ตัวอย่างพรอมต์สำหรับเอเจนต์

• “ใครเรียก uart_write ทั้งโดยตรงและผ่านฟังก์ชันอื่น” (dependency_search ทิศทางขาเข้า)
• “ไฟล์ใด include config.h และใช้ struct ใดจากไฟล์นั้น” (dependency_search แล้วตามด้วย find_symbol)
• “อธิบายว่าแพ็กเก็ตเดินทางจากอินเทอร์รัปต์การรับข้อมูลไปยังตัวแยกวิเคราะห์โปรโตคอลอย่างไร” (get_task_context)

ข้อจำกัดที่ทราบ

• C ไม่มีคลาสและไม่มีเอกซ์เซปชัน ความสัมพันธ์การสืบทอด การอิมพลีเมนต์อินเทอร์เฟซ การ override การ throw และการ catch จึงถูกทำเครื่องหมายว่าไม่เกี่ยวข้อง
• .h อยู่ในรายการนามสกุลไฟล์ของ C, C++ และ Objective-C เฮดเดอร์ในโครงสร้างไฟล์ที่มีหลายภาษาจึงถูกแบ่งกันระหว่างโปรไฟล์เหล่านี้
• การเรียกฟังก์ชันไลบรารีมาตรฐานที่ถูกกรองไม่เป็นเส้นเชื่อมในกราฟ ใช้ text_pattern_search เมื่อต้องการทุก malloc หรือ memcpy

ขั้นตอนถัดไป

เชื่อมต่อรีโพซิทอรีด้วยคู่มือเริ่มต้นใช้งาน แล้วดูตารางการรองรับได้ที่หน้าความเข้ากันได้ สำหรับโค้ด C++ ในโครงสร้างเดียวกัน ให้อ่านคู่มือภาษา C++