context-free-grammar - PDGの曲線の種類の意味

Question

PDGの曲線または円弧の意味を知りたい。これはデータ依存であり、どれは制御依存であるかなどです。

Answer 1

エッジの色はデータの依存関係を表します。はいの場合は青、そうでない場合は黒です。矢印の形状は、コントロールの依存関係を表します。はいの場合は円、それ以外の場合は通常の矢印です。線の種類は、アドレスの依存関係を表します。はいの場合は点線、それ以外の場合は無地です。

アドレスの依存関係はデータの依存関係に似ていますが、割り当ての右側の部分が対象です。たとえば、ステートメント:

*p = c ? a : b;

には、 に対するコントロールの依存関係、 およびcに対するデータの依存関係、aおよびbに対するアドレスの依存関係が&pありpます。

ステートメントは Frama-C で分解されるため、これは実際の PDG ではまったく同じではありません。

if (c) { *p = a; } else { *p = b; }

しかし、これはアイデアです。