In all files, all occurrences of "[eva] done for function" have been replaced
by "[eva] Done for function".

In Cvalue_callbacks:
- Hooks registered by [register_call_hook] are now always applied at the start
  of the analysis of each function call. (It was previously applied at the end
  of the analysis when a builtin or the specification were used.)
- Hooks registered by [register_call_results_hook] are always applied at the
  end of the analysis of each function call. (It was previously not applied
  when a builtin or the specification were used.)

As a consequence, "call" hooks no longer have access to the "from" results of
builtins, but "call_results" hooks do.

The Inout and From plugins now use "call_results" instead of "call" hooks
to interpret calls when a builtin or the specification has been used by Eva.

Maxime Jacquemin authored 2 years ago and David Bühler committed 1 year ago

The only diff is irrelevant so we promote it.

On some loops allocating memory, the size of the allocated base can be
increased at each iteration without widening, thus preventing the convergence
of the analysis.
In lmap, when the widening has no effect, we widen the size of such allocated
bases to avoid such issues.

Fixes #1209

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

adds a test for avr_8 and avr_16. Turns out that embedded micro-controlers
have libc that are not exactly standard compliant

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

Notably __fc_machdep.h in result dir, that could be picked up by other
tests in the same session...