A Static Analysis to Detect Re-Entrancy in Object Oriented Programs

By: Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte

Abstract

The authors present a novel whole program analysis to identify call sites in which a method call is made on an object whose invariants may not hold because of re-entrancy. The analysis augments a points-to analysis to compute potential call chains in order to detect re-entrant calls.

Cite as:

Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte, “A Static Analysis to Detect Re-Entrancy in Object Oriented Programs”, Journal of Object Technology, Volume 7, no. 5 (June 2008), pp. 5-23, doi:10.5381/jot.2008.7.5.a1.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact