search

hdc-arizona / cfgexplorer

Interactive Control Flow Graph Visualization.
MIT License
31 stars 3 forks source link

Dot parser incompatible with graphviz #2

Open bjorn3 opened 6 years ago

bjorn3 commented 6 years ago

If a label contains a html table cfgexplorer requires the label to be between quotes ("), while graphviz requires the label to be between < and >, otherwise it will render it as plain text.

Cfgexplorer:

digraph Mir {
    "bb6" [shape="none", label="<table><tr><td>unreachable</td></tr></table>"];
}

Graphviz:

digraph Mir {
    "bb6" [shape="none", label=<<table><tr><td>unreachable</td></tr></table>>];
}
devkotasabin commented 6 years ago

Thanks for identifying this issue. CFGExplorer uses graphlib-dot a JS library for parsing dot files. It does not support parsing HTML based node labels (https://github.com/dagrejs/graphlib-dot/wiki#limitations). CFGExplorer uses dagre-d3 which does not use HTML labels for rendering the graphs.

We are looking for alternative parser and renderer which supports HTML based labels.