Integrating and Scheduling an Open Set of Static Analyses

Authors:
Michael Eichberg;Mira Mezini;Sven Kloppenburg;Klaus Ostermann;Benjamin Rank
Affiliations:
Darmstadt University of Technology, Germany;Darmstadt University of Technology, Germany;Darmstadt University of Technology, Germany;Darmstadt University of Technology, Germany;Darmstadt University of Technology, Germany
Venue:
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Year:
2006

Citing 0
Cited 2

A flexible architecture for pointcut-advice language implementations

Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms
Defining and continuous checking of structural program dependencies

Proceedings of the 30th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If multiple interdependent analyses are used simultaneously, the coordination between the analyses becomes a major obstacle to keep the set of analyses open. We propose an approach to integrating and scheduling an open set of static analyses which decouples the individual analyses and coordinates the analysis executions such that the overall time and space consumption is minimized. The approach has been implemented for the Eclipse IDE and has been used to integrate a wide range of analyses such as finding bug patterns, detecting violations of design guidelines, or type system extensions for Java.