bap-plugin-stub_resolver
Stub_resolver
type t
val run : Bap.Std.program Bap.Std.term -> t
run prog - returns the mapping from stubs to implementations
run prog
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