Search-Based Amorphous Slicing

  • Authors:
  • Deji Fatiregun;Mark Harman;Robert M. Hierons

  • Affiliations:
  • King's College London;King's College London;Brunel University

  • Venue:
  • WCRE '05 Proceedings of the 12th Working Conference on Reverse Engineering
  • Year:
  • 2005

Quantified Score

Hi-index 0.01

Visualization

Abstract

We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. From the documented operational semantics of the IBM-1800, we simultaneously ...