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

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

Export Engine Factory

Sourceval cmode : Engine.mode -> Engine.cmode

Sourceval amode : Engine.mode -> Engine.amode

Sourceval pmode : Engine.mode -> Engine.pmode

Sourceval tmode : ('a, 'f) Logic.datatype -> Engine.mode

Sourceval ctau : ('a, 'f) Logic.datatype -> Engine.cmode

Sourceval is_identifier : string -> bool

Sourceval sanitize : to_lowercase:bool -> string -> string

Sourceval debug : Engine.link -> string

Sourceval link_name : Engine.link -> string

Sourcemodule Make (T : Logic.Term) : sig ... end