loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Alvise Spanò ; Michele Bugliesi and Agostino Cortesi

Affiliation: Università Ca’ Foscari Venezia, Italy

Keyword(s): Static analysis, Analyzer, Type system, Type flow, Flow Type, Type rule, Storage, Picture, Record, Cobol, Label, Variable, Branch, Termination, Status, Convergence, Abstract interpretation, Coercion, Coerce, Environment, Judgement, Substitution, Grammar, Island grammar, Parser, Island parsing, Lexer, Parsing, LALR, Yacc, Lex, F#, .NET, IBM, z/OS, COBOL, COBOL85.

Related Ontology Subjects/Areas/Topics: Health Engineering and Technology Applications ; Neurocomputing ; Neurotechnology, Electronics and Informatics ; Programming Languages ; Reverse Engineering ; Software Engineering

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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.236.55.137

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-2833, SciTePress, pages 64-75. DOI: 10.5220/0003506700640075

@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},
issn={2184-2833},
}

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
IS - 2184-2833
AU - Spanò, A.
AU - Bugliesi, M.
AU - Cortesi, A.
PY - 2011
SP - 64
EP - 75
DO - 10.5220/0003506700640075
PB - SciTePress