Slide 1 Intraprocedural Static Slicing of Binary Executables Cristina Cifuentes Antoine Fraboulet University of Queensland International Conference on Software Maintenance(ICSM…