package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-27.1-Cobalt.tar.gz

sha256=5b13574a16a58971c27909bee94ae7f37b17d897852b40c768a3d4e2e09e39d2

doc/frama-c.kernel/Frama_c_kernel/Binary_cache/index.html

Module `Frama_c_kernel.Binary_cache`

Very low-level abstract functorial caches. Do not use them unless you understand what happens in this module, and do not forget that those caches are not aware of projects.

val memory_footprint_var_name : string

val cache_size : int

Size of the caches. Controlled by environment variable memory_footprint_var_name.

module type Cacheable = sig ... end

module type Result = sig ... end

module Symmetric_Binary (H : Cacheable) (R : Result) : sig ... end

module Binary_Predicate (H0 : Cacheable) (H1 : Cacheable) : sig ... end

module Symmetric_Binary_Predicate (H0 : Cacheable) : sig ... end

module Arity_One (H : Cacheable) (R : Result) : sig ... end

module Arity_Two (H0 : Cacheable) (H1 : Cacheable) (R : Result) : sig ... end

module Arity_Three
  (H0 : Cacheable)
  (H1 : Cacheable)
  (H2 : Cacheable)
  (R : Result) : 
  sig ... end