Tool archive

Consume.NET

Consume.NET is a compositional static analyzer for heap-memory consumption in .NET Common Intermediate Language (CIL) programs.

Overview

The analysis infers parametric upper bounds on the number of simultaneously live objects. It builds method summaries that are composed across calls, taking into account allocations, objects that escape a method, polymorphism, and the automatic (garbage-collected) memory management of .NET programs.

Availability

No public download is currently offered for this tool.

Selected publications

• V. Braberman, D. Garbervetsky, S. Hym, and S. Yovine. Summary-based inference of quantitative bounds of live heap objects. Science of Computer Programming, 2014.
• D. Garbervetsky, S. Yovine, V. Braberman, M. Rouaux, and A. Taboada. Quantitative dynamic-memory analysis for Java. Concurrency and Computation: Practice and Experience, 2011.

Contributors

Diego Garbervetsky, Víctor Braberman, and Sergio Yovine.