ckit

ckit er en C front end skrevet i SML som overs C kildekoden (etter forbehandling) inn abstrakt syntaks representert som et sett av SML datatyper. Det gir også fasiliteter for å utvide C-språk med flere syntaktiske konstruksjoner, som kan være nyttig for å implementere "C-like" domenespesifikke språk, samt C dialekter. Ckit brukes i dag som den fremre ende av en rekke verktøy for statisk analyse av C-kode og i det minste ett domene-spesifikt språk.
MONTERING:
La CKIT være katalogen inneholder CKit kode.
Kjør SML i katalogen $ CKIT / ast.
Execute "CM.make ();". Dette gir deg parser / elaborator.
På utpakking de ckit kilder, skal du se en src katalog, en doc og en README-fil (og muligens andre kataloger, avhengig av distribusjon).
Src katalogen inneholder følgende underkataloger:
parser /
    lexer og parser, analysere trær.
ast /
    abstrakte syntaks trær (AST), type kontrolløren, pen-printer.
varianter /
    flagg for å styre parser og type-checker.
Å bygge systemet, cd til src, kjøre SML / NJ og type
- CM.make ();
For å teste parser på "test.c", skriv
- ParseToAst.fileToAst "test.c";
Dette analyserer og typechecks "test.c" og returnerer en abstrakt syntaks treet for "test.c". Alternativt, for å analysere, type-sjekk og deretter skrive ut pen "test.c", skriv
- ParseToAst.fileToC "test.c";
Hva er nytt i denne versjonen: