package bap-plugins

  1. Overview
  2. Docs
BAP plugins support library

Install 

dune-project
 Dependency

github.com Edit opam file Versions (5)

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.2.0.tar.gz
sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46
md5=5dbc6677d646bec59fd7414f23e88cf8

doc/bap-plugins/Bap_plugins/Std/index.html

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)