Interprocedural Static Slicing of Binary Executables. - Ákos Kiss 001; Judit Jász; Gábor Lehotai; Tibor Gyimóthy (SCAM, 2003)