Frama-C:
Plug-ins:
Libraries:

Frama-C API - S

module Ctx : Context
module Val : Value with type context = Ctx.t
module Loc : Location with type value = Val.t
module Dom : Domain with type value = Val.t and type location = Loc.location and type context = Ctx.t
module Eval : Evaluation_sig.S with type state = Dom.t and type context = Ctx.t and type value = Val.t and type loc = Loc.location and type origin = Dom.origin