Overview

In this article, I introduce a way in Eiffel to help fixing memory leaks. I call it Back to Once approach.

Introduction

What is Back to Once? The general idea is that we take a memory short in which one provide a start object, in principle part of leaking objects, to Memory Analyzer that returns routes from the given object to once objects. With these routes one can find out bad links and corresponding code more easily. This approach is based on the point that one or more bad links MUST exist in found routes as long as the given start object is part of leaks.

Explanation in Example