用graphviz绘制程序依赖图

Question

我正在尝试绘制 PDG，但是当我添加数据依赖项时它出现了格式错误。

我有什么

当我只绘制控件依赖关系时，图形看起来不错：

digraph {
4[label="4. int x=1"];
5[label="5. int y=2"];
6[label="6. while(x>0)"];
8[label="8. x=(y+x)"];
10[label="10. z=x+y"];
ENTRY -> 4[rank=same, splines=line];
ENTRY -> 5[rank=same, splines=line];
ENTRY -> 6[rank=same, splines=line];
ENTRY -> 10[rank=same, splines=line];
6 -> 8[splines=line];
}

当我尝试添加数据依赖项时，图表出现了错误：

digraph {
4[label="4. int x=1"];
5[label="5. int y=2"];
6[label="6. while(x>0)"];
8[label="8. x=(y+x)"];
10[label="10. z=x+y"];
ENTRY -> 4[rank=same, splines=line];
ENTRY -> 5[rank=same, splines=line];
ENTRY -> 6[rank=same, splines=line];
ENTRY -> 10[rank=same, splines=line];
6 -> 8[splines=line];
4 -> 6[style=dashed, splines=curved, color=red];
8 -> 6[style=dashed, splines=curved, color=red];
4 -> 8[style=dashed, splines=curved, color=red];
5 -> 8[style=dashed, splines=curved, color=red];
4 -> 10[style=dashed, splines=curved, color=red];
5 -> 10[style=dashed, splines=curved, color=red];
8 -> 10[style=dashed, splines=curved, color=red];
}

我试图添加属性 "splines=line" 来绘制直线（控制部门），但它没有像预期的那样工作。我还试验了属性 "weight" 和 "rank"...

有人可以给我提示吗？是否可以为节点设置顺序？喜欢：条目 = 第一行和第一个元素节点 4 = 第二行和第一个元素 ... 节点 8 = 第三行和第一个元素

预计

Answer 1

正确使用rank = same，加上不可见的边缘来保持中间节点的顺序应该会有所帮助：

digraph so
{
    splines=true;

    4[label="4. int x=1"];
    5[label="5. int y=2"];
    6[label="6. while(x>0)"];
    8[label="8. x=(y+x)"];
    10[label="10. z=x+y"];

    { rank = same; 4 5 6 10 }
    ENTRY -> { 4 5 6 10 }
    6 -> 8;

    edge[style=dashed, color=red];
    { 4 8 } -> 6;
    { 4 5 } -> 8;
    { 4 5 8 } -> 10;
    // keep graphViz from re-ordering these nodes:
    4 -> 5 -> 6 -> 10[ style = invis ];
}

产量

用graphviz绘制程序依赖图

Draw a program dependence graph with graphviz

graphviz

我有什么

预计