ckit

ckit est un front de c Terminez écrit dans SML qui traduit le code source C (après prétraitement) dans la syntaxe abstraite représentée comme un ensemble de types de données SML. Il fournit également des installations pour étendre le langage C avec des constructions syntaxiques supplémentaires, qui peuvent être utiles pour la mise en œuvre des langues spécifiques au domaine «C-like" ainsi que C dialectes. Ckit est actuellement utilisé comme frontal pour une variété d'outils d'analyse statique de code C et au moins une langue spécifique au domaine.
INSTALLATION:
Laissez CKIT soit le répertoire contenant le code CKIT.
Exécutez SML dans le répertoire $ CKIT / ast.
Exécuter "CM.make ();". Cela vous donne l'analyseur / élaborateur.
En déballant les sources de CKIT, vous devriez voir un répertoire src, un répertoire doc et un fichier README (et éventuellement d'autres répertoires, en fonction de la distribution).
Le répertoire src contient les sous-répertoires suivants:
parser /
    analyseurs lexicaux et syntaxiques, arbres de dérivation.
AST /
    arbres abstraits de syntaxe (AST), type checker, assez à l'imprimante.
variantes /
    drapeaux de contrôle de l'analyseur et le type-checker.
Pour construire le système, cd src, exécutez SML / NJ et le type
- CM.make ();
Pour tester l'analyseur sur "test.c", type
- ParseToAst.fileToAst "test.c";
Cette analyse et typable "test.c" et retourne un arbre de syntaxe abstraite pour "test.c". Alternativement, d'analyser, de type chèque puis pretty-print "test.c", type
- ParseToAst.fileToC "test.c";
Quoi de neuf dans cette version: