package bap-api

  1. Overview
  2. Docs
A pass that adds parameters to subroutines based on known API

Install 

dune-project
 Dependency

github.com Edit opam file Versions (4)

Authors

  1. B
    BAP Team

Maintainers

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

Sources

v2.4.0.tar.gz
sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5
md5=b8b1aff8c6846f2213eafc54de07b304

doc/bap-api/Bap_api/index.html

Module Bap_api

An interface to the api pass.

Api pass will apply a high level model of a program api to a low level representation, i.e., the program term.

The module is actually a static registry of language processors, that will be applied by the api pass.

The language processors are provide by plugins supporting corresponding languages. Sometimes an abi information is required to apply the api, so the processors are actually provided by even lower level modules, that supports specific architectures.

type filename = string
type api = string
module type S = sig ... end

Language processor interface.

type t = (module S)

language processor type

val process : t -> unit

apply the language processor

val processors : unit -> t list

enumerate all registered language processors