ckit je C přední konec psaný v SML, který překládá zdrojový kód C (po předzpracování) do Abstract Syntax reprezentován jako soubor SML datových typů. Poskytuje také zázemí pro rozšíření jazyka C s dalšími syntaktických konstrukcí, které mohou být užitečné pro provádění jazyky "C-like" pro specifické oblasti, jakož i C dialekty. Ckit se v současné době používá jako přední konec pro palety nástrojů pro statickou analýzu kódu C a alespoň v jednom jazyce domény specifické.
INSTALACE:
Nechť CKIT být adresář obsahující CKit kód.
Běh SML v adresáři $ CKIT / AST.
Execute "CM.make ();". To vám dává analyzátor / zpracovatele.
Při vybalování zdrojů ckit, měli byste vidět adresář src, adresáře doc a soubor README (a případně i další adresáře, v závislosti na distribuci).
Adresář src obsahuje následující podadresáře:
parser /
lexer a parser, Parse stromy.
ast /
Abstract Syntax stromy (AST), typ-checker, pěkný, tiskárny.
varianty /
vlajky pro řízení analyzátor a typu checker.
Chcete-li vytvořit systém, CD do src, spusťte SML / NJ a typ
- CM.make ();
Chcete-li otestovat analyzátor na "test.c", typ
- ParseToAst.fileToAst "test.c";
To analyzuje a typechecks "test.c" a vrátí abstraktní syntaktický strom pro "test.c". Případně analyzovat, typ kontrola a pak pěkně-print "test.c", typ
- ParseToAst.fileToC "test.c";
Co je nového v této verzi:
Komentáře nebyl nalezen