package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module X : sig ... end

Signature

module Memo : sig ... end

Module that contains the memoized results

class do_it_cached : Frama_c_kernel.Kernel_function.t list -> object ... end

Class that implements a cached version of the above analysis. Recursion in the dynamic call graphs are handled, provided the value analysis terminated without detecting a real recursion

Effects of the given kernel_function, using memoization

Effects of a statement, using memoization if it contains a function call

Effects of the given expression (which is supposed to be at the given statement