Questions about exporting CFL graph files

[yuan2li]

Hi, thanks for the great work! I have some doubts about exporting the built CFL graphs. I wonder if the CFL analysis tool within SVF can generate the files including program expression graphs and value-flow graphs, such as the test cases provided in POCR (*.vfg, *.peg, etc.). I understand that the options provided are available for exporting dot graphs, so I just wonder if the function of exporting original graph files is available. Many thanks.