SOLAT - A simple object-oriented language analyzing tool

Static program analysis, like data-flow analysis, is of central importance for enabling efficient implementations of object-oriented languages. In this paper we present a tool called SOLAT (Simple Object-Oriented Language Analyzing Tool) which can handle various program analyses in an unique framework. We describe, as an example of program analysis, a type analysis based on interprocedural data-flow analysis and show its benefits by empirical results. Furthermore, SOLAT provides a graphical interface to manage the results obtained by type analysis and can therefore be successfully used as annotation or debugging tool during program development.