On Verifying Resource Contracts using Code Contracts

  title={On Verifying Resource Contracts using Code Contracts},
  author={Rodrigo Casta{\~n}o and Juan P. Galeotti and Diego Garbervetsky and Jonathan Tapicer and Edgardo Zoppi},
  • Rodrigo Castaño, Juan P. Galeotti, +2 authors Edgardo Zoppi
  • Published in LAFM 2013
  • Computer Science
  • In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Since dynamic memory may be recycled by a memory manager, the consumption of this resource is not monotone. The specification language can express both memory consumption and lifetime properties in a modular fashion. We develop a proof-of-concept… CONTINUE READING


    Publications referenced by this paper.