Authors:
Anastasis A. Sofokleous
1
;
Andreas S. Andreou
2
and
Gianna Ioakim
2
Affiliations:
1
Brunel University, United Kingdom
;
2
University of Cyprus, Cyprus
Keyword(s):
Control Flow Graph, Node Grouping, Code Coverage.
Related
Ontology
Subjects/Areas/Topics:
CASE Tools for System Development
;
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Software Engineering
Abstract:
Various researchers and practitioners have proposed the use of control flow graphs for investigating software engineering aspects, such as testing, slicing, program analysis and debugging. However, the relevant software applications support only low level languages (e.g. C, C++) and most, if not all, of the research papers do not provide information or any facts showing the tool implementation for the control flow graph, leaving it to the reader to imagine either that the author is using third party software for creating the graph, or that the graph is constructed manually (by hand). In this paper, we extend our previous work on a dedicated program analysis architecture and we describe a tool for automatic production of the control flow graph that offers advanced capabilities, such as vertices grouping, code coverage and enhanced user interaction.