search

SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code
http://svf-tools.github.io/SVF/
Other
1.43k stars 436 forks source link

Questions about exporting CFL graph files #1596

Open yuan2li opened 4 days ago

yuan2li commented 4 days ago

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 commented 2 days ago

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.