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

Manages information related to possible exceptions thrown by each function in the AST.

val get_kf_exn : Kernel_function.t -> Cil_datatype.Typ.Set.t

returns the set of exceptions that a given kernel function might throw.

val compute : unit -> unit

computes the information if not already done.

val remove_exn : Cil_types.file -> unit

transforms functions that may throw into functions returning a union type composed of the normal return or one of the exceptions.

val transform_category : File.code_transformation_category

category of the code transformation above.