ckit є С переднього кінця написано в SML, який переводить вихідний код C (після попередньої обробки) в абстрактному синтаксисі, представленої у вигляді набору SML типів даних. Він також надає кошти для розширення мови C додатковими синтаксичними конструкціями, які можуть бути корисні для реалізації "С-як" мови предметно-орієнтованих, а також C діалекти. Ckit в даний час використовується в якості інтерфейсу для різних інструментів для статичного аналізу коду C і, принаймні однієї предметно-орієнтованої мови.
МОНТАЖ:
Нехай CKIT бути каталог, що містить код CKit.
Запустіть SML в каталозі $ CKIT / AST.
Виконати "CM.make ();". Це дає вам аналізатора / elaborator.
На розпакування джерел ckit, ви повинні побачити каталог SRC, каталог DOC і файл README (і, можливо, інші каталоги, залежно від розподілу).
Каталог SRC містить наступні підкаталоги:
аналізатор /
лексичний аналізатор і, дерева розбору.
АСТ /
абстрактні синтаксичні дерева (AST), типу шашка, досить-принтера.
Варіанти /
Прапори для управління парсер і тип-перевірки.
Щоб побудувати систему, компакт-диск SRC, запустіть SML / NJ і тип
- CM.make ();
Щоб перевірити парсер на "test.c", типу
- ParseToAst.fileToAst "test.c";
Це аналізує і typechecks "test.c" і повертає абстрактного синтаксичного дерева для "test.c". Крім того, для аналізу, типу перевірка, а потім досить-друк "test.c", тип
- ParseToAst.fileToC "test.c";
Що нового в цій версії:
Коментар не знайдено