New framework for detecting OOM issues

[Acaccia]

This PR adds a new testing folder called oom-checker.

This one contains a new function crosscheck_oom which takes a snippet and modifies it so that the memory that should normally be available would be filled.

It could show that a few functions currently suffer from OOM issue (#585, #592).

I am not very pleased by the handling of functions which take lists as arguments. Currently, lists are always computed at runtime, even those that are lists of literals. For such functions, I decided to give the possibility to add the type of arguments to the new crosscheck function, so that the length needed to compute it would be accounted in the filling of the memory. This is not very pretty, but I would prefer to have a temporary solution like this one and that we fix #587 instead of having a very beautiful solution that will be removed in a near future.

I tried to check all functions that returns in-memory values, I might have forgotten a few.

We will also need another solution for checking functions calls (after all kind of define-x for functions, and with contract-call?).

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 85.48%. Comparing base (ba0b06b) to head (5b1a8fb).
Report is 40 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #586      +/-   ##
==========================================
- Coverage   85.50%   85.48%   -0.02%     
==========================================
  Files          46       46              
  Lines       24227    24266      +39     
  Branches    24227    24266      +39     
==========================================
+ Hits        20716    20745      +29     
- Misses       1669     1672       +3     
- Partials     1842     1849       +7     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[krl]

Some clarification and DRYisms requested

[moodmosaic]

Is it possible to run this as a binary, similar to crosscheck?

[Acaccia]

@moodmosaic It could be possible. Once this is merged, we can create a binary for it :)

[krl]

lgtm!

[csgui]

Thanks for that safety net @Acaccia. The OOM issues are really a pain.

LGTM.

[moodmosaic]

@moodmosaic It could be possible. Once this is merged, we can create a binary for it :)

@Acaccia Let's do this :)