IP only server
Muli Ben-Yehuda, Oleg Goldshmidt, et al.
USENIX ATC 2006
We present a framework for statically reasoning about temporal heap safety properties. We focus on local temporal heap safety properties, in which the verification process may be performed for a program object independently of other program objects. We apply our framework to produce new conservative static algorithms for compile-time memory management, which prove for certain program points that a memory object or a heap reference will not be needed further. These algorithms can be used for reducing space consumption of Java programs. We have implemented a prototype of our framework, and used it to verify compile-time memory management properties for several small, but interesting example programs, including JavaCard programs. © 2005 Elsevier B.V. All rights reserved.
Muli Ben-Yehuda, Oleg Goldshmidt, et al.
USENIX ATC 2006
Matthew Arnold, Martin Vechev, et al.
OOPSLA 2008
Maurizio Montagnuolo, Alberto Messina, et al.
SAC 2016
Greta Yorsh, Eran Yahav, et al.
POPL 2008