search

SVF-tools / SVF

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

DOT files for some graphs don't seem to work #307

Open harpreetsc1992 opened 4 years ago

harpreetsc1992 commented 4 years ago

Hello, It seems Interprocedural Control-Flow Graph and ConstraintGraph DOT files work, but Value-Flow Graph, PAG and Call-Graph DOT files seem to have some errors in them.

I could not open them with either zgrviewer/Graphviz (on Windows) or graphviz package's dot command line tool (Ubuntu). This is a sample output for a CallGraph using dot: $ dot -Tpng callgraph_final.dot > callgraph_final.png Warning: node Node0x55ad035ac1f0, port s0 unrecognized

Interprocedural Control-Flow Graph (one of the two) works fine using this, and I can see the node graph in the png file: $ dot -Tpng icfg_final.dot > icfg_final.png

Can anyone please help out with this issue?

Thanks

harpreetsc1992 commented 4 years ago

Hello, An update on this. Is there any solution on how to fix this? If anyone faced this error and then fixed it, what needs to be changed?

Thanks

yuleisui commented 4 years ago

It is helpful for people to take a look at your problem if you also provide a micro c program and the command line to reproduce your error.