package bap-stub-resolver

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Stub_resolver`

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