can't generate graph

[Bearshanjun]

hi
i want use CFGFast generate CFG
my code is:

proj=angr.Project('/opt/png')
cfg = proj.analyses.CFGFast()
plot_cfg(cfg, "mycfg",asminst=True, remove_imports=True, remove_path_terminator=True)

but an error occurred:

"dot" with args ['-Tpng', '/tmp/tmpd9c_cdp3'] returned code: -11

stdout, stderr:
 b''
b''

Traceback (most recent call last):
  File "outputGraph.py", line 135, in <module>
    outputGraph()
  File "outputGraph.py", line 88, in outputGraph
    plot_cfg(cfgs, "static", asminst=True, remove_imports=True, remove_path_terminator=True) #, format='raw')
  File "/opt/angr-utils/angrutils/visualize.py", line 34, in plot_cfg
    vis.process(cfg.graph) 
  File "/opt/bingraphvis/bingraphvis/base.py", line 310, in process
    return self.output.generate(graph)
  File "/opt/bingraphvis/bingraphvis/output.py", line 217, in generate
    dotfile.write("{}.{}".format(self.fname, self.format), format=self.format)
  File "/usr/local/lib/python3.6/site-packages/pydot.py", line 1817, in write
    s = self.create(prog, format, encoding=encoding)
  File "/usr/local/lib/python3.6/site-packages/pydot.py", line 1945, in create
    assert process.returncode == 0, process.returncode
AssertionError: -11

when instead of using the png format as output, add format='raw' (or svg)parameter to plot_cfg, use
dot -Tpng xxx.raw > xxx.png

also an error occurred:
Segmentation fault (core dumped)

can you give me some advice or hints.

thanks

[axt]

Hi. Sorry for my late answer.

I think the problem is with your graphviz installation.

The code just creates the graph in a 'dot' file format and then calls graphviz to render it.

If you use the format 'raw' then no rendering is done, the output is just saved into a file. If you use the format 'dot', then the output still will be in a dot format, bud every node will have some layouting info attached.

If you can produce raw or svg files, but have problems with the others, that clearly indicates that the problem is with the graphviz dot command, as the Segfault also indicates that.

Can you try to render a simple graph to see if graphviz fails with it:

graph {
A -- B
}