Frama-C:
Plug-ins:
Libraries:

Frama-C API - Signal

Signal emission

val abort : unit -> unit

Mark the analysis as aborted: it will be stopped at the next safe point.

val kill : unit -> unit

Mark the analysis as killed: it will be stopped at the next safe point.

val reset : unit -> unit

Remove any previous mark from abort or kill if present.

Signal check

val check : unit -> unit

Check for emitted signal.

  • raises Sys.Break

    if kill have been called.

System signal

val setup : unit -> unit -> unit

Setup system signals:

  • On SIGUSR1, kill () is issued
  • On SIGINT, Sys.break is raised.
  • returns

    a function to restore previous system signal handlers.

Signal catching

val protect : (unit -> 'a) -> cleanup:(unit -> unit) -> 'a

protect f ~cleanup runs f. On a user interruption or a Frama-C error, if option -save is set, applies cleanup. This is used to clean up and save partial results when the analysis is aborted.