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

Question

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

Answer 1

这是我已经开始但还没有完成的事情（主要是由于时间不够，我的大部分工作都是关于PHP程序分析）。一旦完全定义，我将它发布在GitHub上。我的目标是在Java的M3定义上构建它，因为我们已经有了生成M3模型的提取代码，这些可选包括AST（我们需要生成CFG）。