Author/Authors :
Reishi Yokomori، نويسنده , , Fumiaki Ohata، نويسنده , , Yoshiaki Takata، نويسنده , , Hiroyuki Seki، نويسنده , , Katsuro Inoue، نويسنده ,
Keywords :
Program slice , Information-leak analysis , Program dependence graph , Procedural language