Search Sciweavers | Sciweavers

981 search results - page 12 / 197

» Symbolic pointer analysis

click to vote

OOPSLA
1999
Springer

174views Security Privacy» more OOPSLA 1999»

Compositional Pointer and Escape Analysis for Java Programs

14 years 1 months ago

Download people.csail.mit.edu

This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...

John Whaley, Martin C. Rinard

claim paper

Read More »

click to vote

VMCAI
2010
Springer

170views Software Engineering» more VMCAI 2010»

Shape Analysis in the Absence of Pointers and Structure

14 years 6 months ago

Download matt.might.net

Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...

Matthew Might

claim paper

Read More »

click to vote

CGO
2009
IEEE

95views Software Engineering» more CGO 2009»

Wave Propagation and Deep Propagation for Pointer Analysis

14 years 3 months ago