Up – Package index » bap-stub-resolver » Library bap-plugin-stub_resolver » Stub_resolver

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