В настоящее время я использую Graphviz для визуализации графов потока управления. В основном,(приводимый )граф потока управления представляет собой DAG плюс несколько ребер, которые указывают на узлы в предыдущих слоях. Последние ребра не должны влиять на размещение узла.
В настоящее время dot
рисует графики довольно аккуратно, но ему не хватает простого способа добавить интерактивности (, например. сворачивание, прокрутка, масштабирование ), что бесценно для анализа очень больших графиков. Поэтому я выбрал d3.js как наиболее зрелую и -многофункциональную графическую библиотеку.
Я почти уверен, что есть простой способ рисовать многослойные графики(как иdot
)в d3.js, но я его, кажется, не узнаю. Как я могу это сделать? Если это поможет, я уже выполняю анализ доминатора на своем CFG.