ckit

ckit jest C Front End napisane w SML, który tłumaczy kod źródłowy C (po wyprzedzającym) do składni abstrakcyjnej reprezentowane jako zbiór typów danych SML. Zapewnia również udogodnienia dla rozszerzenia języka C z dodatkowych konstrukcji składniowych, które mogą być przydatne dla realizacji języków specyficzne dla domeny "C-like", a także dialekty C. Ckit jest obecnie stosowany w przód dla różnych narzędzi do analizy statycznej kod C i co najmniej jednego języka specyficzne dla domeny.
INSTALACJA:
Niech ckit być katalog zawierający kod ckit.
Uruchom SML w katalogu $ ckit / AST.
Wykonaj "CM.make ();". Daje to parser / elaborator.
Na rozpakowaniu źródeł ckit, należy udać się do katalogu src, katalog doc i plik README (i ewentualnie innych katalogów, w zależności od dystrybucji).
Katalog src zawiera następujące podkatalogi:
parser /
    lexer i parser, analizowania drzewa.
ast /
    abstrakcyjne drzewa składni (AST), sprawdzania typu, całkiem-drukarki.
Warianty /
    flagi do sterowania analizatora oraz sprawdzania typu.
Aby zbudować system, CD do src, uruchom SML / NJ i typ
- CM.make ();
Aby przetestować parser na "test.c", typu
- ParseToAst.fileToAst "test.c";
To analizuje i typechecks "test.c" i zwraca drzewo składniowe dla "test.c". Alternatywnie, analizować, kontrola typu, a następnie całkiem-print "test.c", typ
- ParseToAst.fileToC "test.c";
Co nowego w tym wydaniu: