Reengineering C++ Component Models via Automatic Program Transformation

  • Authors:
  • Robert L. Akers;Ira D. Baxter;Michael Mehlich;Brian J. Ellis;Kenn R. Luecke

  • Affiliations:
  • Semantic Designs Inc.;Semantic Designs Inc.;Semantic Designs Inc.;The Boeing Company;The Boeing Company

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

Quantified Score

Hi-index 0.00

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 ...