|
Title:
|
EXTENDING AND ENHANCING A BASIC PROGRAM ANALYSIS SYSTEM |
|
Author(s):
|
Anastasis A. Sofokleous , Andreas S. Andreou , Christos Schizas , Gianna Ioakim |
|
ISBN:
|
972-8924-09-7 |
|
Editors:
|
Nuno Guimarães, Pedro Isaías and Ambrosio Goikoetxea |
|
Year:
|
2006 |
|
Edition:
|
Single |
|
Keywords:
|
Control Flow Graph, Vertices Grouping, Code Coverage. |
|
Type:
|
Full Paper |
|
First Page:
|
353 |
|
Last Page:
|
361 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
Many researchers have investigated the utilization of control flow graphs in various software engineering areas, such as software testing, program slicing, program analysis and debugging. In this paper, we extend our earlier work on a dedicated program analysis architecture and we describe a tool for automatic production of the control flow graph that offers some dedicated and practically useful features, such as vertices grouping that allows the visualization of large and complex programs, ergonomic code coverage visualization via the simulation of the programs execution and enhanced user interaction. |
|
|
|
|
|
|
