bap-plugin-stub_resolver
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
run prog