ckit

ckit es un frente C FIN escrito en SML que traduce el código fuente C (después de pre-procesamiento) en sintaxis abstracta representada como un conjunto de tipos de datos SML. También ofrece instalaciones para extender el lenguaje C con construcciones sintácticas adicionales, que pueden ser útiles para la implementación de lenguajes específicos de dominio "C-like", así como C dialectos. CKit se utiliza actualmente como el extremo delantero para una variedad de herramientas para el análisis estático de código C y al menos un lenguaje específico del dominio.
INSTALACIÓN:
Deje CKIT sea el directorio que contiene el código cKit.
Ejecute SML en el directorio $ CKIT / ast.
Ejecutar "CM.make ();". Esto le da al analizador / elaborador.
En desembalar las fuentes cKit, debería ver un directorio src, un directorio 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, árboles de análisis sintáctico.
ast /
    árboles de sintaxis abstracta (AST), tipo ortográfico, bastante de la impresora.
variantes /
    banderas para controlar el analizador y el tipo ortográfico.
Para construir el sistema, cd src, ejecute SML / NJ y el tipo
- CM.make ();
Para probar el analizador en "test.c", forma
- ParseToAst.fileToAst "test.c";
Este analiza y typechecks "test.c" y devuelve un árbol de sintaxis abstracta para "test.c". Por otra parte, para analizar, tipo de verificación y luego bastante-print "test.c", forma
- ParseToAst.fileToC "test.c";
¿Qué hay de nuevo en esta versión: