package bap-stub-resolver

You can search for identifiers within the package.

in-package search v0.2.0

package bap-stub-resolver

bap-stub-resolver
- Library bap-plugin-stub_resolver
  - Stub_resolver

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

Module `Stub_resolver`

val run : Bap.Std.program Bap.Std.term -> Bap.Std.tid Bap.Std.Tid.Map.t

run prog - returns the mapping from stubs to implementations