Frama-C:
Plug-ins:
Libraries:

Frama-C API - Eval

type cacheable =
  1. | Cacheable
    (*

    Functions whose result can be safely cached.

    *)
  2. | NoCache
    (*

    Functions whose result should not be cached, but for which the caller can still be cached. Typically, functions printing something during the analysis.

    *)
  3. | NoCacheCallers
    (*

    Functions for which neither the call, neither the callers, can be cached.

    *)

Can the results of a function call be cached with memexec?