CREATING AND MANIPULATING CONTROL FLOW GRAPHS WITH MULTILEVEL GROUPING AND CODE COVERAGE

Anastasis A. Sofokleous, Andreas S. Andreou, Gianna Ioakim

2006

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.

References

  1. Andreou, A. and Sofokleous, A., 2004. Designing and implementing a layered architecture for dynamic and interactive program analysis, Proceedings of IADIS International Conference, Portugal, Spain.
  2. Berry, J., Dean, N., Goldberg, M., Shannon, G. and Skiena, S., 1999. Graph Drawing and Manipulation with LINK, Proceedings of the Symposium on Graph Drawing GD'97, Springer-Verlag pp425-437.
  3. Cesar, C., L., 1999, 1999.-last update, graph foundation classes for java, IBM2005.
  4. Cooper, K., D., Harvey, T., J. and Waterman, T., 2002. Building a Control-flow Graph from Scheduled Assembly Code. TR02-399.
  5. Damian, D., 2001. On Static and Dynamic Control-Flow Information in Program Analysis and Transformation, Ph.D. Thesis, BRICS Ph.D. School, University of Aarhus, Aarhus, Denmark
  6. Everitt, B., 1974. Cluster Analysis. 1st edn. Heinemann Educational Books.
  7. Fenton, N., E., Whitty, R., W. and Kaposi, A., A., 1985. A generalised mathematical theory of structured programming. Theoretical Computer Science, 36, pp. 145-171.
  8. Ferrante, J., Ottenstein, K., J. and Warren, J., D., 1987. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 9(3), pp. 319-349.
  9. Herman, I., Melancon, G. and Marshall, M.S., 2000. Graph Visualization and Navigation in Information Visualization: a Survey. IEEE Transactions on Visualization and Computer Graphics, 6, pp. 1-21.
  10. Jones, N., D. and Mycroft, A., 1986. Data flow analysis of applicative programs using minimal function graphs, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, St. Petersburg Beach, Florida, pp296-306.
  11. Kimelman, D., Leban, B., Roth, T. and Zernik, D., 1994. Reduction of Visual Complexity in Dynamic Graphs, Proceedings of the Symposium on Graph Drawing GD 7893, Springer-Verlag.
  12. MCcabe, T., 1976. A Complexity Measure. IEEE Transactions on Software Engineering, SE-2, no.4, pp. 308-320.
  13. Mirkin, B., 1996. Mathematical Classification and Clustering, Kluwer Academic Publishers.
  14. Ottenstein, K., J. and Ottenstein, L., M., 1984. The program dependence graph in a software development environment. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 19(5), pp. 177-184.
  15. Richardson, D., J., O'Malley, T., O., Moore, C., T. and AHA, S., L., 1992. Developing and Integrating ProDAG in the Arcadia Environment, In SIGSOFT 7892: Proceedings of the Fifth Symposium on Software Development Environments, pp109-119.
  16. Shivers, O., 1991. Control-Flow Analysis of Higher-Order Languages. CMU-CS-91-145. Carnegie Mellon University, Pittsburgh, Pennsylvania
Download


Paper Citation


in Harvard Style

A. Sofokleous A., S. Andreou A. and Ioakim G. (2006). CREATING AND MANIPULATING CONTROL FLOW GRAPHS WITH MULTILEVEL GROUPING AND CODE COVERAGE . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-972-8865-41-2, pages 259-262. DOI: 10.5220/0002448802590262


in Bibtex Style

@conference{iceis06,
author={Anastasis A. Sofokleous and Andreas S. Andreou and Gianna Ioakim},
title={CREATING AND MANIPULATING CONTROL FLOW GRAPHS WITH MULTILEVEL GROUPING AND CODE COVERAGE},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2006},
pages={259-262},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002448802590262},
isbn={978-972-8865-41-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - CREATING AND MANIPULATING CONTROL FLOW GRAPHS WITH MULTILEVEL GROUPING AND CODE COVERAGE
SN - 978-972-8865-41-2
AU - A. Sofokleous A.
AU - S. Andreou A.
AU - Ioakim G.
PY - 2006
SP - 259
EP - 262
DO - 10.5220/0002448802590262