用于 C90 代码分析的 Rascal-MPL 示例

【问题标题】：Rascal-MPL example for C90 code analysis用于 C90 代码分析的 Rascal-MPL 示例
【发布时间】：2016-11-16 22:02:41
【问题描述】：

我在 Rascal-MPL 中使用了一些用于静态分析的 PICO 和 Java 示例，但我没有找到 C (C90) 的示例。我注意到有一个“lang::c90::\syntax::C”，但我没有找到如何使用它的示例。

【问题讨论】：

标签： rascal

【解决方案1】：

确实还没有例子。同时，我们正在开发基于 CDT 的前端：https://github.com/cwi-swat/clair

要使用 C90 语法，只需使用 Rascal 的一般功能，与您探索的 PICO 示例类似，但随后是针对 C90。

【讨论】：