package frama-c

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

This file performs various consistency checks over a cil file. Code may vary depending on current development of the kernel and/or identified bugs.

val check_ast : ?is_normalized:bool -> ?ast:Cil_types.file -> string -> unit

Visits the given AST (defaults to the AST of the current project) to check whether it is consistent. Use a non-default ast argument at your own risks.

Note that the check is only partial.

  • since Aluminium-20160501
module type Extensible_checker = sig ... end
val extend_checker : ((module Extensible_checker) -> (module Extensible_checker)) -> unit

Allows to register an extension to current checks. The function will be given as input the current state of the checker.

  • since Phosphorus-20170501-beta1