kkit. CKIT ist ein C-Front-Ende, das in SML geschrieben wurde, der C-Quellcode in abstrakte Syntax übersetzt, die als ein Satz von SML-Datentypen dargestellt sind.
Jetzt downloaden

kkit. Ranking & Zusammenfassung

kkit. Stichworte

Übersetzer Code C-Frontend SML-Anwendung Code-Übersetzer

kkit. Beschreibung

CKIT ist ein C-Front-Ende, das in SML geschrieben ist, der C-Quellcode in abstrakte Syntax übersetzt, die als SML-Datentypen dargestellt ist. CKIT ist ein C-Front-Ende, das in SML geschrieben wurde, der C-Quellcode (nach der Vorverarbeitung) in abstrakte Syntax übersetzt, als SML-Datentypen dargestellt. Es bietet auch Einrichtungen zur Erweiterung der C-Sprache mit zusätzlichen syntaktischen Konstrukten, die für die Implementierung von domänenspezifischen Sprachen "C-ähnlichen" als auch C-Dialekte nützlich sein können. CKIT wird derzeit als vordere Ende für eine Vielzahl von Werkzeugen zur statischen Analyse des C-Codes verwendet, und mindestens eine domänenspezifische Sprache.Installation: Lassen Sie sich das Verzeichnis sein, das den CKIT-Code enthält.Run SML in Verzeichnis $ CKIT / AST.Execute "Cm.make ();". Dadurch erhalten Sie den Parser / ELABORATOR.ON APPACKING THE CKIT-Quellen, Sie sollten ein SRC-Verzeichnis, ein doc-Verzeichnis und eine Readme-Datei (und möglicherweise andere Verzeichnisse, abhängig von der Verteilung), sehen. Das SRC-Verzeichnis enthält die folgenden Unterverzeichnisse: Parser / Lexer und Parser, Parse-Bäume. AST / Abstract Syntax Bäume (AST), Typ-Checker, Pretty-Printer. Varianten / Flags zum Steuern des Parsers und des Typ-Checker. So erstellen Sie das System, CD auf SRC, RUN SML / NJ und TYPE CM.MACKE (); testen Sie den Parser auf "test.c", type-paretoast.filetoast "test.c"; diese Pars und Typechecks "Test" .c "und gibt einen abstrakten Syntaxbaum für" test.c "zurück. Alternativ können Sie analysieren, eintippen- /size[-sig.sml). Ein Utility-Programm (src / c-util / sects.c) kann zum Erzeugen von Größeninformationen für eine bestimmte Compiler- / Plattformkombination verwendet werden.

kkit. Zugehörige Software