Пример Rascal-MPL для анализа кода C90

Question

Я играл с некоторыми примерами PICO и Java для статического анализа в Rascal-MPL, но я не нашел примеров для C (C90). Я заметил, что есть "lang::c90::\syntax::C", но я не нашел примеров, как его использовать.

Answer 1

На самом деле примеров пока нет. Тем временем мы разрабатываем интерфейс на основе CDT здесь: https://github.com/cwi-swat/clair

Чтобы использовать грамматику C90, нужно использовать общие функции Rascal, параллельно с примерами PICO, которые вы исследовали, но затем для C90.

• для разбора: http://tutor.rascal-mpl.org/Rascal/Rascal.html
• чтобы соответствовать: http://tutor.rascal-mpl.org/Rascal/Rascal.html
• переписать: http://tutor.rascal-mpl.org/Rascal/Rascal.html