ckit.

CKIT é uma extremidade central C escrita em SML que traduz código de código-fonte na sintaxe abstrata representada como um conjunto de tipos de dados SML.
Baixe Agora

ckit. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • GPL
  • Preço:
  • FREE
  • Nome do editor:
  • Dave MacQueen
  • Site do editor:
  • http://www.smlnj.org/doc/ckit/index.html

ckit. Tag


ckit. Descrição

O CKIT é uma extremidade c do C, escrita em SML que traduz código de código-fonte em sintaxe abstrata representada como um conjunto de tipos de dados SML. O CKIT é um final do ck escrito em SML que traduz c código de origem (após o pré-processamento) em sintaxe abstrata representado como um conjunto de tipos de dados SML. Ele também fornece instalações para estender a linguagem C com construções sintáticas adicionais, que podem ser úteis para implementar idiomas específicas de domínio "C semelhantes", bem como c dialetos. O CKIT é usado atualmente como o front end para uma variedade de ferramentas para análise estática de código C e pelo menos uma linguagem específica do domínio.Instalação: Deixe o ckit ser o diretório contendo o código ckit.run SML no diretório $ ckit / ast.execute "Cm.make ();". Isto fornece o analisador / elaborador.ON Desembalar as fontes CKIT, 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: Parser / Lexer e Analisador, Analisar árvores. Árvores de sintaxe AST / Abstract (AST), verificador de tipos, impressora bonita. Variantes / sinalizadores para controlar o analisador e digitação. Para construir o sistema, CD para SRC, execute SML / NJ e Type-cm.make (); para testar o analisador em "Test.c", Type-Parsesast.fileToast "test.c"; este teste de análise e tipoChecks ". .c "e retorna uma árvore de sintaxe abstrata para" test.c ". Alternativamente, para analisar, digitar-se e, em seguida, prolongado "test.c", tipo-parsiscoast.filetoc "test.c"; O que há de novo nesta versão: · Mecanismo de tamanho e alinhamento retrabalhado para suportar parametrização (consulte SRC / AST /sizes.sml). Um programa utilitário (SRC / C-UTIL / SIZES.C) pode ser usado para gerar informações de tamanhos para uma determinada combinação de compilador / plataforma.


ckit. Software Relacionado

Dewtrop.

DewDrop é um framework de código aberto que gera código-fonte para suportar qualquer modelo de dados de relacionamento entre entidades. ...

138

Download