Rascal中如何使用DCFlow构建控制流图？

Question

我是 Rascal 的新手，我期待为 java 构建控制流图。如何利用DCFlow构建它？

Answer 1

这是我已经着手但还没有完成的事情（主要是时间不够，我的大部分工作都是PHP程序分析）。完全定义后，我将 post 在 GitHub 上使用它。我的目标是在 Java 的 M3 定义之上构建它，因为我们已经有了用于生成 M3 模型的提取代码，并且这些可选地包括 AST（我们需要生成 CFG）。