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.

[yuan2li]

Sorry to state my question not clearly. Specifically, I wonder if the following two alternative approaches could be applied to current graph files or source codes for exporting such graphs:

1. To write scripts about parsing dumped dot graphs into specific VFGs/PEGs.
2. To modify functions like dump to save specific VFGs/PEGs.

If there is any guidance on either one, I would appreciate it. Thanks again.