Sciweavers

SEFM
2005
IEEE

Precise Analysis of Memory Consumption using Program Logics

13 years 9 months ago
Precise Analysis of Memory Consumption using Program Logics
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and in particular resistance against resource exhaustion attacks. Such memory consumption policies have been previously enforced through static analysis, which yield automatic bounds at the cost of precision, or run-time analysis, which incur an overhead that is not acceptable for constrained devices. In this paper, we study the use of logical methods to specify and statically verify precise memory consumption policies for Java bytecode programs. First, we demonstrate how the Bytecode Specification Language (a variant of the Java Modelling Language tailored to bytecode) can be used to specify precise memory consumption policies for (sequential) Java applets, and how verification tools can be used to enforce such memory consumption policies. Second, we consider the issue of inferring some of the annotations requi...
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where SEFM
Authors Gilles Barthe, Mariela Pavlova, Gerardo Schneider
Comments (0)