TYPE-FLOW ANALYSIS FOR LEGACY COBOL CODE

Alvise Spanò, Michele Bugliesi, Agostino Cortesi

2011

Abstract

Many business applications today still rely on COBOL programs written decades ago that are difficult to maintain and upgrade due to technological limitations and lack of experts in the language. Several companies have been trying to migrate their software base to modern platforms, but code translation is problematic because most business processes implemented are often no longer documented or even known. Applying existing Program Understanding techniques to COBOL could be a way for aiding IT specialists in charge of a porting - but useful raw information must be extracted from the source code in order to get these techniques yield to meaningful results. We believe that the types of variables used in programs are an important part of such raw information and we present an approach based on static analysis of types rather than data. Our system is capable of reconstructing the type-flow of a COBOL program throughout branches, jumps and loops in finite time and to track type information on reused variables occurring in the code. It also detects a number of error-prone situations, type mismatches or misuses and notifies that by means of messages annotated in the code along with types inferred for each variable occurrence.

Paper Citation

in Harvard Style

Spanò A., Bugliesi M. and Cortesi A. (2011). TYPE-FLOW ANALYSIS FOR LEGACY COBOL CODE . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 64-75. DOI: 10.5220/0003506700640075

in Bibtex Style

@conference{icsoft11,
author={Alvise Spanò and Michele Bugliesi and Agostino Cortesi},
title={TYPE-FLOW ANALYSIS FOR LEGACY COBOL CODE},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={64-75},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003506700640075},
isbn={978-989-8425-77-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - TYPE-FLOW ANALYSIS FOR LEGACY COBOL CODE
SN - 978-989-8425-77-5
AU - Spanò A.
AU - Bugliesi M.
AU - Cortesi A.
PY - 2011
SP - 64
EP - 75
DO - 10.5220/0003506700640075