ckit

c-kit é um front end C escrito em SML que traduz o código fonte C (após pré-processamento) na sintaxe abstrata representada como um conjunto de tipos de dados SML. Ele também fornece recursos para estender a linguagem C com construções sintáticas adicionais, que podem ser úteis para a implementação de línguas "C-like" específicas de domínio, bem como dialetos C. C-kit é actualmente utilizada como a extremidade frontal para uma variedade de ferramentas para análise estática de código C e, pelo menos, uma linguagem específica de domínio.
INSTALAÇÃO:
Vamos CKIT ser o diretório que contém o código de c-kit.
Execute SML no diretório $ CKIT / ast.
Executar "CM.make ();". Isto dá-lhe o analisador / elaborator.
Ao descompactar as fontes de c-kit, você deve ver um diretório src, um diretório doc e um arquivo README (e possivelmente outros diretórios, dependendo da distribuição).
O diretório src contém os seguintes subdiretórios:
analisador /
    lexer e analisador, árvores de análise.
ast /
    árvores resumo de sintaxe (AST),-checker tipo, pretty-impressora.
variantes /
    sinalizadores para controlar o analisador e verificador de tipo.
Para criar o sistema, cd para src, execute SML / NJ e tipo
- CM.make ();
Para testar o analisador em "test.c", digite
- ParseToAst.fileToAst "test.c";
Este analisa e typechecks "TEST.C" e retorna uma árvore de sintaxe abstrata para "test.c". Como alternativa, para analisar, check-tipo e, em seguida, pretty-print "test.c", digite
- ParseToAst.fileToC "test.c";
O que há de novo nesta versão: