Frama-C:
Plug-ins:
Libraries:

Frama-C API - Exn_flow

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

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.