4 search results - page 1 / 1 » Mandrake: A Tool for Reverse-Engineering IBM Assembly Code |
WCRE
1996
IEEE
13 years 10 months ago
1996
IEEE
WCRE
2005
IEEE
13 years 11 months ago
2005
IEEE
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. Fro...
WCRE
2000
IEEE
13 years 9 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
ICSM
1999
IEEE
13 years 10 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...