| cucar CKIT es un extremo frontal de C que se escribe en SML que traduce C código fuente en la sintaxis abstracta representada como un conjunto de tipos de datos SML. |
Descargar ahora |
cucar Clasificación y resumen
- Nombre del editor:
- Dave MacQueen
- Sitio web del editor:
- http://www.smlnj.org/doc/ckit/index.html
cucar Etiquetas
cucar Descripción
CKIT es un extremo frontal de C que se escribe en SML que traduce el código fuente C en la sintaxis abstracta representada como un conjunto de tipos de datos SML. CKIT es un extremo delantero de C que se escribe en SML que traduce el código fuente C (después del preprocesamiento) en la sintaxis abstracta representada como un conjunto de tipos de datos SML. También proporciona instalaciones para extender el idioma C con construcciones sintácticas adicionales, que pueden ser útiles para implementar idiomas específicos de dominio "C-like", así como dialectos C. CKIT se usa actualmente como el extremo frontal para una variedad de herramientas para el análisis estático del código C y al menos un idioma específico de dominio. Inicie la instalación: deje que CKIT sea el directorio que contiene el CODIT CODE.RUN SML en el directorio $ CKIT / AST.EXECUTE "Cm.Hake ();". Esto le da el analizador / elaborador. En caso de desempacar las fuentes CKIT, debe ver un directorio SRC, un directorio de DOC y un archivo README (y posiblemente otros directorios, dependiendo de la distribución). El directorio SRC contiene los siguientes subdirectorios: analizador / Lexer y analizador, analizan los árboles. Árboles de sintaxis abstracto (AST), comprobante de tipo, bonita impresora. Variantes / banderas para controlar el analizador y el checker. Para construir el sistema, CD a SRC, ejecutar SML / NJ y escribe- cm.Hake (); Para probar el analizador en "test.c", tipo-parsetsoast.filetetoast "test.c"; este analiza y tipechecks "prueba .C "y devuelve un árbol de sintaxis abstracto para" test.c ". Alternativamente, para analizar, chequear a escribir y luego bastante imprimir "test.c", tipo-parset.filetoc "test.c"; cualquiera es nuevo en esta versión: · Mecanismo de tamaño y alineación reelaborado para admitir la parametrización (ver SRC / AST /size[-sig◆.sml). Se puede usar un programa de utilidad (SRC / C-UTIL / SIZS.C) para generar información de tamaños para una combinación de compilador / plataforma determinada.
cucar Software relacionado