The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Call-Graph Based Program Analysis with .Net
Abstract
Software development is a complex business, whether maintaining or extending existing legacy systems, or whether developing new systems. Another challenge faced by programmers, is determining whether sufficiently rigorous unit- and integration-testing is employed to give confidence that a system is behaving as intended. One approach to help address such challenges is to use automated program analysis tools and techniques, where the programmer will use a software tool to gain an insight into some aspect of the system they’re working on. One particular type of static program analysis technique, call-graph analysis, focuses on the calling relationships that exist in a program. One of the common problems with this and other static analysis techniques is that they tend to be source language based and are therefore often limited in terms of applicability, especially in multi-language/module systems. In this research we investigate call-graph analysis on the .Net platform that sidesteps these common limitations and allows analysis of programs regardless of source language, and regardless of the number of modules/assemblies in the program. We demonstrate the soundness and usefulness of the approach by demonstrating the analysis of a multi-module application that is written in several different source languages from 2 different vendors.
|
|