package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val mk_var_name : string -> int -> string

mk_var_name basename idx

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

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

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

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