package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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?