Up – Package index » binsec » Library binsec.sse » Se » Sse_utils

Module `Se.Sse_utils`Source

Sourceval mk_var_name : string -> int -> string

mk_var_name basename idx

Sourceval get_goal_addresses : unit -> Binsec.Virtual_address.Set.t

Returns the set of virtual addresses to reach according to Sse_options.GoalAddresses

Sourceval get_avoid_addresses : unit -> Binsec.Virtual_address.Set.t

Returns the set of virtual addresses to avoid according to Sse_options.AvoidAddresses