Eva_dynamic
Access to other plugins API via Dynamic.get.
Dynamic.get
module Inout : sig ... end
module Callgraph : sig ... end
module Scope : sig ... end
module RteGen : sig ... end
Frama-C