A suite of tools for facilitating reverse engineering using formal methods

As a program evolves, it becomes increasingly difficult to understand and reason about changes in source code. Eventually if enough changes are made without a corresponding modification of the software documentation, reverse engineering and design recovery techniques must be used in order to underst...

Full description

Saved in:
Bibliographic Details
Main Authors: Gannod, G.C., Cheng, B.H.C.
Format: Conference Proceeding
Language:English
Subjects:
Computer science
Design engineering
Documentation
Electronic mail
NASA
Programming
Propulsion
Reverse engineering
Software maintenance
Software tools
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:As a program evolves, it becomes increasingly difficult to understand and reason about changes in source code. Eventually if enough changes are made without a corresponding modification of the software documentation, reverse engineering and design recovery techniques must be used in order to understand the current behavior of a system. In our previous investigations, we described a formal technique for reverse engineering. One of the benefits of formal techniques is that they are amenable to automated processing. In this paper, we describe an integrated suite of tools that we have developed to support reverse engineering and analysis of C programs.
ISSN:1092-8138
DOI:10.1109/WPC.2001.921733