[BUG] High Memory Usage

[2xic]

Describe the Bug

Certain contracts use a lot of memory.

Setup

• Tested through the CLI (release build) and verified with a test in SLA library directly.
• CLI is run with maximum_iterations_per_opcode=10 and maximum_forks_per_fork_target=25

To Reproduce

Steps to reproduce the behavior:

Run one of the following contracts

MeTokenRegistryFacet

Below is the memory usage over time, it can be seen it maxes out at ~7.5gb.

CapsulesTypeface

Below is the memory usage over time, it can be seen it maxes out at ~4.8gb.

BorrowLogic

Below is the memory usage over time, it can be seen it maxes out at ~3gb.

CpuFrilessVerifier

Below is the memory usage over time, it can be seen it maxes out at ~2.5gb.

Expected Behaviour

Less memory to be used.

[iamrecursion]

This is mitigated by #66, but further improvements will require more in-depth refactors and profiling.

[iamrecursion]

To an extent, however, the memory usage is expected. The memory (m) used by the analyzer is a function of the number of values (n) and the complexity of those values (c), which is dependent on the contract as follows:

$$ \text{m} \propto n \cdot c $$

While there are refactors that can be done to reduce the "memory load" of each individual value, this fundamental relation will still remain.