ckit

ckit είναι μπροστά C άκρο γραμμένο σε ΟΕΙΜ που μεταφράζει τον πηγαίο κώδικα C (μετά την προεπεξεργασία) σε αφηρημένη σύνταξη αναπαρίσταται ως ένα σύνολο ΟΕΙΜ τύπων δεδομένων. Παρέχει επίσης διευκολύνσεις για την επέκταση της γλώσσας C με επιπλέον συντακτικές κατασκευές, η οποία μπορεί να είναι χρήσιμη για την εφαρμογή του "C-όπως το" γλώσσες σε συγκεκριμένους τομείς, καθώς και C διαλέκτους. Ckit χρησιμοποιείται σήμερα ως το εμπρόσθιο άκρο για μια ποικιλία εργαλείων για στατική ανάλυση κώδικα C και τουλάχιστον μία γλώσσα συγκεκριμένους τομείς.
ΕΓΚΑΤΑΣΤΑΣΗ:
Ας cKit είναι ο κατάλογος που περιέχει τον κωδικό cKit.
Εκτελέστε ΟΕΙΜ στον κατάλογο $ cKit / AST.
Execute "CM.make ()?". Αυτό σας δίνει το πρόγραμμα ανάλυσης / elaborator.
Την αποσυσκευασία τις πηγές ckit, θα πρέπει να δείτε έναν κατάλογο src, έναν κατάλογο DOC και ένα αρχείο README (και ενδεχομένως και άλλους καταλόγους, ανάλογα με την κατανομή).
Ο κατάλογος src περιέχει τα παρακάτω υποφακέλους:
parser /
    lexer και parser, αναλύσει τα δέντρα.
AST /
    αφηρημένη δέντρα σύνταξη (AST), τύπου πούλι, όμορφη-εκτυπωτή.
παραλλαγές /
    σημαίες για τον έλεγχο του αναλυτή και τύπου πούλι.
Για την κατασκευή του συστήματος, cd, για να src, τρέχει SML / NJ και τύπο
- CM.make ()?
Για να ελέγξετε το πρόγραμμα ανάλυσης για "test.c", τύπου
- ParseToAst.fileToAst "test.c"?
Αυτή αναλύει και typechecks "test.c" και επιστρέφει ένα αφηρημένο συντακτικό δέντρο για "test.c". Εναλλακτικά, για να αναλύσει, τύπου ελέγχου και, στη συνέχεια, λίγο-print "test.c", τύπου
- ParseToAst.fileToC "test.c"?
Τι νέο υπάρχει σε αυτήν την έκδοση: