We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs.

Abstract. We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs.

Abstract. We present a modular static analysis which identifies structural (shape) invari- ants for a subset of heap-manipulating programs.

In this paper, we present a novel method for automatically verifying properties of such programs in a modular fashion. We consider a program to be a collection ...

We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs.

We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is de- fined by ...

Modular Shape Analysis for Dynamically Encapsulated Programs. Noam Rinetzky Tel Aviv University. Arnd Poetzsch-Heffter Universität Kaiserlauten.

This study explores modular shape analysis for dynamically encapsulated programs to analyze imperative heap-manipulating programs and ensure properties like ...

Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav Modular Shape Analysis for Dynamically Encapsulated Programs ESOP, 2007.

Presentation on theme: "Modular Shape Analysis for Dynamically Encapsulated Programs Noam Rinetzky Tel Aviv University Arnd Poetzsch-HeffterUniversität ...