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/module-type-S/index.html

Module type Bap_api.S

Language processor interface.

type t
val language : string

language a name of a language, e.g., "C"

val parse : (api -> filename option) -> api list -> t Core_kernel.Or_error.t

parse get_api apis creates a language processor from a list of api. Function get_api api must return a name of an existing file, that corresponds to the given api. The apis parameter is a list of api names.

val mapper : t -> Bap.Std.Term.mapper

the processor itself