Module Bap_plugins.Std

Interface to the plugin subsystem.

type plugin
module Plugin : sig ... end

Plugin - a loadable self-contained piece of code.

module Plugins : sig ... end

Plugin loader.

val list_loaded_units : unit -> string list

list_loaded_units () evaluates to a list of compilation unit names currently loaded into the system. The list includes both, units loaded dynamically, and those that were statically linked into the host program.

val setup_dynamic_loader : ( string -> unit ) -> unit

setup_dynamic_loader loader installs loader program. The loader takes a filename and loads it. This function is used internally, for different modes of execution (native, byte, topleve)