bap-stub-resolver
  1. Overview
  2. Docs
Substitutes calls to stubs with calls to real functions

Install

github.com Edit opam file

Authors

  1. B
    BAP Team

Maintainers

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

Sources

v2.1.0.tar.gz
md5=3db9deac8d429b9b8a8ec9aec54987b1

Description

Provides an abi pass that transforms a program by substituting calls to stubs with calls to real subroutines when they are present in the binary.

Published: 02 Jun 2020

Dependencies (9)

  1. ounit
  2. core_kernel >= "v0.12" & < "v0.13"
  3. bitvec-order = "2.1.0"
  4. bap-main = "2.1.0"
  5. bap-core-theory = "2.1.0"
  6. bap-knowledge = "2.1.0"
  7. bap-abi = "2.1.0"
  8. bap-std = "2.1.0"
  9. ocaml >= "4.07.0" & < "4.10.0"

Dev Dependencies

None

Used by (1)

  1. bap = "2.1.0"

Conflicts

None