package bap-stub-resolver

You can search for identifiers within the package.

in-package search v0.2.0

Identifies and manages stub functions in a binary

Install

sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea

md5=13f2cb1e3b9d90348852252fb0f2d09f

type t

val run : Bap.Std.program Bap.Std.term -> t

run prog - returns the mapping from stubs to implementations

val stubs : t -> Core_kernel.Set.M(Bap.Std.Tid).t

val links : t -> Bap.Std.tid Core_kernel.Map.M(Bap.Std.Tid).t