Доступна ли какая-либо грамматика C, которая генерирует AST, который включает все правила синтаксического анализатора с использованием "^" и "!" обозначения?
Я просмотрел книгу, написанную Теренсом Парром, чтобы написать такую грамматику, но кажется, что написание одной такой грамматики для C lang - это трудоемкий процесс, поэтому мне было интересно, доступна ли она уже, что может сэкономить много времени!
(Грамматика для меньшего подмножества языка C тоже подойдет ..)
Спасибо :)
Нет ответов через две недели.
Вы правы, создавая полный анализатор, который строит полные AST и обрабатывает все детали C (включая препроцессор), охватывающие множество диалектов C (например, ANSI, GNU C 2/3/4 /, Miscrosoft Visual C, Green Hills В) ... на самом деле много работы. И если вы не инвестируете в эту работу, он не сможет обрабатывать настоящие программы C.
Я ожидал, что будет полная грамматика ANTLR для C, которая сделала бы это, учитывая, сколько лет ANTLR. Удивительно, что здесь никого не может идентифицировать; конечно, вы ожидаете найти его на сайте ANTLR.
Мы вложили энергию, необходимую для создания таких синтаксических анализаторов C (охватывающих все вышеперечисленные диалекты), и добавили вычисление таблиц символов, извлечение потоков управления и данных, построение графиков вызовов, включение анализаторов и преобразования дерева в DMS Software Reengineering Toolkit с его C-интерфейс. Этот интерфейс был применен к приложениям C, состоящим из 18 000 единиц компиляции, для создания пользовательских инструментов анализа.
См. это. Это прямо из репозитория исходного кода ANTLR 4: грамматика C11. Это выглядит довольно совместимым.
Конечно, в нем нет препроцессора, но передать файл сначала cpp или mcpp достаточно просто.
Он также не поставляется с правилами AST, но это не кажется слишком трудным в исполнении (хотя и требует много времени).
