Eiffel Software memory analyzer library