Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Class-level Modular Analysis for Object Oriented Languages

Francesco Logozzo

Abstract

In this paper we address the problem of performing a class static analysis in a modular fashion, i.e. by just analyzing the class code and not the full program. In particular we show two things: the first one is how starting from a class C we can derive an approximation A to be used either as a class documentation or as a tester for a client using C; the second one is how to discover, in a fully automatic way, a class invariant. Two methods for class invariant computation are presented, proved correct and theirfl usage is discussed.

Details

Publication typeInproceedings
Published inin Proceedings of the 10th Static Analysis Symposium (SAS '03)
Volume2964
PublisherSpringer Verlag
> Publications > Class-level Modular Analysis for Object Oriented Languages