巡回有向グラフのすべての可能なパスが常にアクセスする共通ノードを見つけようとしています。私の考えは、可能なすべてのパスを計算してから、共通の要素を検索することです。ただし、a)あまり効率的ではないようであり、b)サイクルが考慮されていません。
目標:改竄防止方法として忘却ハッシュ境界を実装することです。そのためには、制御フロー グラフで入力にとらわれない共通の基本ブロックのセットを特定する必要があります。別の言い方をすれば、特定の入力に対して実行されるプログラムの確定的なチャンク (基本ブロックのセット) を見つけたいと考えています。