Frama-C:
Plug-ins:
Libraries:

Frama-C API - Update

Signals

val computation_signal : Server.Request.signal

Signal emitted when the computation state of Eva changes.

val callstack_signal : Server.Request.signal

Signal emitted when the set of selected callstacks changes.

val signals : Server.Request.signal list

All signals above.

Hooks

val add_computation_hook : (unit -> unit) -> unit

Adds an hook applied when the computation state of Eva changes.

val add_callstack_hook : (unit -> unit) -> unit

Adds an hook applied when the set of selected callstacks changes.

val add_hook : (unit -> unit) -> unit

All hooks above.

States