标签： rascal
我在Rascal-MPL中使用了一些用于静态分析的PICO和Java示例，但我没有找到C（C90）的示例。我注意到有一个＆＃34; lang :: c90 :: \ syntax :: C＆＃34;，但我没有找到如何使用它的例子。
答案 0 :(得分：0)
确实没有例子。与此同时，我们正在开发一个基于CDT的前端：https://github.com/cwi-swat/clair
要使用C90语法，需要使用Rascal的一般功能，与您探索的PICO示例并行，然后是C90。