The use of static analysis tools to support reverse engineering

This paper describes the use of static analysis tools for the re-engineering of software for a relay system for overhead power cables. The system was originally written some fifteen years ago, in assembler, and has undergone considerable modification at various times in the past. The static analysis was undertaken for two reasons: to demonstrate that the software was free of significant faults, and to provide a software specification and design documentation that would allow the software to be maintained in the future.<
>