SOLAT-a Simple Object-Oriented Language Analyzing Tool

Author

Golubski, Wolfgang ; Pohlers, Bjarne

Author_Institution

FB 12 Elektrotech. & Inf., Siegen Univ., Germany

fYear

1997

fDate

28 Jul-1 Aug 1997

Firstpage

99

Lastpage

109

Abstract

Static program analysis, like data-flow analysis, is of central importance for enabling efficient implementations of object-oriented languages. The authors present a tool called SOLAT (Simple Object-Oriented Language Analyzing Tool) which can handle various program analyses in an unique framework. They 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 an annotation or debugging tool during program development

Keywords

data flow analysis; graphical user interfaces; object-oriented languages; program debugging; software tools; SOLAT; Simple Object-Oriented Language Analyzing Tool; annotation tool; debugging tool; graphical interface; interprocedural data flow analysis; object-oriented languages; program development; static program analysis; type analysis; Arithmetic; Computer languages; Data analysis; Debugging; Employment; Information analysis; Motion analysis; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Technology of Object-Oriented Languages and Systems, 1997. TOOLS 23. Proceedings

Conference_Location

Santa Barbara, CA

Print_ISBN

0-8186-8383-X

Type

conf

DOI

10.1109/TOOLS.1997.654711

Filename

654711