ckit

ckit является С переднего конца написано в SML, который переводит исходный код C (после предварительной обработки) в абстрактном синтаксисе, представленной в виде набора SML типов данных. Он также предоставляет средства для расширения языка C дополнительными конструкциями, синтаксических, которые могут быть полезны для реализации «C-как" языки предметно-ориентированных, а также C диалекты. Ckit в настоящее время используется в качестве интерфейса для различных инструментов для статического анализа кода C и, по крайней мере одной предметно-ориентированного языка.
МОНТАЖ:
Пусть CKIT быть каталог, содержащий код CKit.
Запустите SML в каталоге $ CKIT / AST.
Выполнить "CM.make ();". Это дает вам парсер / разработчику.
На распаковки источников 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";
Что нового в этой версии: