Μετάβαση στο περιεχόμενο
cd /languages
  • Πυρήνας συστήματος
  • Προγραμματισμός
  • Υποστήριξη AST και συμβόλων

C στο Maguyva: γράφοι κλήσεων για κώδικα συστημάτων και ενσωματωμένων

Το Maguyva υποστηρίζει C με AST, σύμβολα και γράφο, ώστε οι πράκτορες AI να παρακολουθούν συναρτήσεις, structs, συμπεριλήψεις και καλούντες σε κώδικα συστημάτων, υλικολογισμικού και βιβλιοθηκών.

Ξεκινήστε δωρεάν Γρήγορη εκκίνηση Λεπτομέρειες συμβατότητας

Γιατί η C χρειάζεται γράφο κλήσεων και όχι grep

Η C δεν έχει κλάσεις ή αρθρώματα για να οργανώνουν τον κώδικα. Η δομή βρίσκεται στις κλήσεις συναρτήσεων, στις κεφαλίδες και στα structs, και το ίδιο όνομα μπορεί να εμφανιστεί σε σχόλια, μακροεντολές και σταθερές συμβολοσειρών. Οι μακροεντολές εξαγωγής και επισημείωσης περιβάλλουν δηλώσεις, και εκεί σκοντάφτουν τα εργαλεία που αναλύουν μόνο καθαρή C. Για έναν πράκτορα, το ασφαλές πρώτο βήμα είναι ο γράφος κλήσεων.

Το Maguyva χτίζει αυτόν τον γράφο, ώστε ένας πράκτορας να βλέπει πού φτάνει μια συνάρτηση και τι φτάνει σε αυτήν πριν προτείνει μια αλλαγή.

Τι εξάγει το Maguyva από τη C

Το Maguyva καλύπτει .c και .h. Οι ορισμοί συναρτήσεων εξάγονται ως σύμβολα, ενώ τα structs και τα unions μπορούν να επιλεγούν ως ορισμοί τύπων στη δομική αναζήτηση. Οι οδηγίες #include γίνονται σχέσεις εισαγωγής.

Οι μακροεντολές εξαγωγής και ορατότητας (μοτίβα όπως FOO_API, DLLEXPORT ή LIBEXPORT) και οι μακροεντολές επισημείωσης για ασφάλεια νημάτων (όπως GUARDED_BY και REQUIRES) καλύπτονται πριν από την ανάλυση, ώστε οι δηλώσεις που περιβάλλουν να αναλύονται κανονικά ως δηλώσεις. Τα σώματα των μακροεντολών τύπου συνάρτησης αναλύονται· τα σώματα των μακροεντολών τύπου αντικειμένου όχι.

Ο γράφος καταγράφει κλήσεις, συμπεριλήψεις, δημιουργία στιγμιοτύπων μέσω σύνθετων σταθερών, αναφορές τύπων, αναγνώσεις και εγγραφές, καθώς και ροή ελέγχου. Περίπου 124 κλήσεις της τυπικής βιβλιοθήκης της C (printf, malloc, free, memcpy, strlen και παρόμοιες) φιλτράρονται από τις σχέσεις, ώστε να ξεχωρίζει ο κώδικας του έργου.

Παραδείγματα προτροπών για πράκτορες

  • «Ποιος καλεί τη uart_write, απευθείας ή μέσω άλλων συναρτήσεων;» (dependency_search incoming)
  • «Ποια αρχεία συμπεριλαμβάνουν το config.h και ποια structs του χρησιμοποιούν;» (dependency_search, μετά find_symbol)
  • «Εξήγησε πώς ένα πακέτο περνά από τη διακοπή λήψης στον αναλυτή του πρωτοκόλλου.» (get_task_context)

Γνωστοί περιορισμοί

  • Η C δεν έχει κλάσεις ούτε εξαιρέσεις, οπότε οι σχέσεις κληρονομικότητας, υλοποίησης interface, επικάλυψης, ρίψης και σύλληψης σημειώνονται ως μη εφαρμόσιμες.
  • Το .h εμφανίζεται στις λίστες επεκτάσεων της C, της C++ και της Objective-C, οπότε οι κεφαλίδες σε δέντρα πολλών γλωσσών μοιράζονται ανάμεσα σε αυτά τα προφίλ.
  • Οι κλήσεις σε φιλτραρισμένες συναρτήσεις της τυπικής βιβλιοθήκης δεν είναι ακμές του γράφου. Χρησιμοποιήστε το text_pattern_search όταν χρειάζεστε κάθε malloc ή memcpy.

Επόμενα βήματα

Συνδέστε ένα αποθετήριο με τον γρήγορο οδηγό εκκίνησης και έπειτα δείτε τον πίνακα υποστήριξης στη σελίδα συμβατότητας. Για κώδικα C++ στο ίδιο δέντρο, διαβάστε τον οδηγό για τη C++.

Ιδανική χρήση

  • > Ομάδες υλικολογισμικού, ενσωματωμένων συστημάτων και λειτουργικών συστημάτων, όπου μια μικρή αλλαγή σε μια κοινή συνάρτηση μπορεί να φτάσει σε διαδρομές υλικού.
  • > Μακρόβιες βιβλιοθήκες C με δημόσιες κεφαλίδες, μακροεντολές εξαγωγής και πολλές εσωτερικές μονάδες μετάφρασης.
  • > Αναθεωρήσεις με υποστήριξη πρακτόρων, όπου το ερώτημα είναι: «ποιος το καλεί αυτό και μέσω ποιων κεφαλίδων;»

Ροές εργασίας πρακτόρων

  • > Εύρεση όλων όσων καλούν μια συνάρτηση πριν αλλάξει η υπογραφή ή ο χειρισμός σφαλμάτων της.
  • > Χαρτογράφηση των αρχείων που συμπεριλαμβάνουν μια κεφαλίδα και των structs που χρησιμοποιούν.
  • > Παρακολούθηση ενός αιτήματος από έναν χειριστή διακοπών ή ένα σημείο εισόδου μέσα από τις συναρτήσεις που φτάνει.

Λεπτομέρειες μηχανής

  • > Η υποστήριξη C καλύπτει `.c` και `.h`. Οι ορισμοί συναρτήσεων είναι σύμβολα, τα structs και τα unions είναι ορισμοί τύπων, και το `#include` γίνεται σχέση εισαγωγής.
  • > Οι μακροεντολές εξαγωγής, ορατότητας και επισημείωσης ασφάλειας νημάτων καλύπτονται πριν από την ανάλυση, ώστε οι περιβαλλόμενες δηλώσεις να αναλύονται. Τα σώματα μακροεντολών τύπου συνάρτησης αναλύονται· τύπου αντικειμένου όχι.
  • > Περίπου 124 κλήσεις της τυπικής βιβλιοθήκης, όπως `printf`, `malloc` και `memcpy`, φιλτράρονται. Οι σχέσεις κληρονομικότητας, επικάλυψης και εξαιρέσεων σημειώνονται ως μη εφαρμόσιμες.

Χρήσιμα σημεία εισόδου MCP

  • find_symbol

    Χρησιμοποιήστε το με όνομα συνάρτησης ή struct όταν χρειάζεστε τον ορισμό και κάθε αναφορά.

  • dependency_search

    Χρησιμοποιήστε διάσχιση incoming σε μια κοινή συνάρτηση πριν αλλάξει η υπογραφή ή ο χειρισμός σφαλμάτων της.

  • get_task_context

    Χρησιμοποιήστε το για προτροπές όπως «εξήγησε πώς ένα πακέτο περνά από τη διακοπή λήψης στον αναλυτή του πρωτοκόλλου».

Σχετικοί οδηγοί

Παρακείμενες επιφάνειες repo

Περιήγηση σε όλους τους οδηγούς
Εγγενής κώδικας σε κλίμακα Προγραμματισμός

C++ στο Maguyva: γράφοι κλάσεων και κλήσεων για μεγάλες βάσεις κώδικα

Η C++ κρύβει τον πραγματικό στόχο μιας κλήσης πίσω από χώρους ονομάτων, υπερφορτώσεις και εικονική αποστολή. Ο γράφος βοηθά τον πράκτορα να τον βρει.

Υποστήριξη AST και συμβόλων Ανάλυση AST Εξαγωγή συμβόλων Σχέσεις γράφου

Επεκτάσεις

.c, .c++, .cc, .cpp, +6 ακόμα

Άνοιγμα οδηγού
Ασφάλεια πρώτα Προγραμματισμός

Υποστήριξη Rust στο Maguyva: Ασφαλές Πλαίσιο για Αλλαγές με Βοήθεια AI

Σχετικό όταν θέλετε βοήθεια AI στη Rust χωρίς να χάσετε τα δομικά προστατευτικά χάρη στα οποία αξίζει να χρησιμοποιείτε τη Rust.

Υποστήριξη AST και συμβόλων Ανάλυση AST Εξαγωγή συμβόλων Σχέσεις γράφου

Επεκτάσεις

.rs

Άνοιγμα οδηγού

Σχετικά

Διαβάστε επίσης

Οδηγοί