Dot parser incompatible with graphviz

[bjorn3]

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]

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.