1
我在Rascal-MPL中使用了一些PICO和Java示例進行靜態分析,但未找到C(C90)的示例。我注意到有一個「lang :: c90 :: \ syntax :: C」,但我沒有找到如何使用它的例子。用於C90代碼分析的Rascal-MPL示例
我在Rascal-MPL中使用了一些PICO和Java示例進行靜態分析,但未找到C(C90)的示例。我注意到有一個「lang :: c90 :: \ syntax :: C」,但我沒有找到如何使用它的例子。用於C90代碼分析的Rascal-MPL示例
確實沒有實例。與此同時,我們正在開發一個基於CDT的前端:https://github.com/cwi-swat/clair
要使用C90語法,這是使用Rascal的一般特性,與您探索的PICO示例並行,但對於C90。
我發表了一些例子在這裏:https://github.com/rafael2k/rascal-C99 –