• Aim: a set of execution paths P s

• Aim: a set of execution paths P such that
for every node i in control flow graph and
every variable x having a global definition
in node i,
 P includes a definition clear path of variable x
from node i to every element in dcu (x,i)
 However, if dcu (x,i)is empty, P must include
a definition clear path of variable x from node i
to some elements in dpu (x,i)

Results (Indonesian) 1:

• Tujuan: satu set eksekusi jalur P sedemikian rupa sehingga untuk setiap node dalam kontrol aliran grafik dan Setiap variabel x memiliki definisi yang global pada node saya,  P termasuk jalur yang jelas definisi x variabel dari node saya untuk setiap elemen dalam dcu (x, i)  Namun, jika dcu (x, i) adalah kosong, P harus mencakup definisi yang jelas jalan x variabel dari node saya beberapa elemen dalam dpu (x, i)