cycliste CKIT est une extrémité frontale C écrite dans SML qui traduit le code source C en syntaxe abstrait représentée sous forme de jeu de fichiers SML.
Télécharger maintenant

cycliste Classement & Résumé

cycliste Mots clés

traducteur code C front-end Application SML traducteur de code

cycliste La description

CKIT est une extrémité frontale C écrite dans SML qui traduit le code source C en syntaxe abstrait représentée sous forme de jeu de fichiers SML. CKIT est une extrémité frontale C écrite dans SML qui traduit le code source C (après prétraitement) dans la syntaxe abstraite représentée en tant que jeu de fichiers de données SML. Il fournit également des installations permettant d'étendre le langage C avec des constructions syntaxiques supplémentaires, qui peuvent être utiles pour la mise en uvre de langages spécifiques à un domaine de type "C-type" ainsi que des dialectes C. CKIT est actuellement utilisé comme extrémité avant pour une variété d'outils d'analyse statique du code C et au moins une langue spécifique à un domaine.Installation: laissez ckit être le répertoire contenant le code CKIT.Run SML dans le répertoire $ $ CKIT / ast.execute "Cm.Make ();". Cela vous donne un analyseur / Elaborator.on Déballage des sources CKIT, vous devez 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: analyseur / Lexer et analyseur, analysez les arbres. Arbres de syntaxe AST / abstraite (AST), vérificateur de type, jolie imprimante. Variantes / drapeaux pour contrôler l'analyseur et le vérificateur de type. Pour construire le système, CD à SRC, exécuter SML / NJ et TYPE- CM.MAKE (); Pour tester l'analyseur sur "Test.c", Type- Paretoast.FileToast "Test.c"; Ceci analyse et Typechecks "Test .c "et renvoie un arbre de syntaxe abstrait pour" Test.c ". Alternativement, pour analyser, contrôler et ensuite pretty-impression "Test.c", type-Paretoast.Filetoc "Test.c"; Quoi de neuf dans cette version: · Mécanisme de taille et d'alignement retravaillé pour supporter le paramétrage (voir SRC / Ast /Size.sml). Un programme d'utilité (src / c-util / tailles.c) peut être utilisé pour générer des informations sur les tailles pour une combinaison compilateur / plate-forme donnée.

cycliste Logiciels associés