ckit

ckit är en C främre ände skriven i SML som översätter C källkod (efter förbehandling) till abstrakt syntax representeras som en uppsättning SML datatyper. Det ger också möjligheter för att utvidga C-språket med ytterligare syntaktiska konstruktioner, som kan vara användbara för att genomföra "C-liknande" domänspecifika språk liksom C dialekter. Ckit används för närvarande som den främre änden för en mängd olika verktyg för statisk analys av C-kod och minst en domän-specifikt språk.
INSTALLATION:
Låt ckit vara den katalog som innehåller ckit koden.
Kör SML i katalogen $ ckit / AST.
Kör "CM.make ();". Detta ger dig parser / elaborator.
På uppackning av ckit källor, bör du se en src katalog, en doc och en README-fil (och eventuellt andra kataloger, beroende på distribution).
Den src katalogen innehåller följande underkataloger:
parser /
    lexer och parser, parse träd.
ast /
    abstrakt syntaxträd (AST), typ-checker, pretty-skrivare.
varianter /
    flaggor för att styra tolken och typ-checker.
För att bygga systemet, cd till src kör SML / NJ och typ
- CM.make ();
För att testa tolken på "test.c", typ
- ParseToAst.fileToAst "test.c";
Detta tolkar och typechecks "test.c" och returnerar ett abstrakt syntaxträd för "test.c". Alternativt, för att tolka, typ-check och sedan pretty-print "test.c", typ
- ParseToAst.fileToC "test.c";
Vad är nytt i den här versionen: