Linkable_list (p.linksem.0.8.doc.linksem_zarith.Linkable

Sourcetype script = Byte_sequence.byte_sequence0

Sourcetype linkable_object =

| RelocELF of Elf_memory_image.elf_memory_image
| SharedELF of Elf_memory_image.elf_memory_image
| ScriptAST of script
| ControlScriptDefs

Sourceval string_of_linkable_object : linkable_object -> string

type linkable_item =
  linkable_object * Input_list.input_item * Input_list.input_options

Source

val short_string_of_linkable_item : 
  ('a * (string * 'b * ('c * Input_list.origin_coord list)) * 'd) ->
  string

Source

val instance_Show_Show_Linkable_list_linkable_object_dict : 
  linkable_object Show.show_class

Sourcetype linkable_list = linkable_item list

Sourcetype symbol_resolution_oracle = linkable_list -> int -> string -> int list

Source

type binding =
  (Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
  * (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option

Sourcetype binding_list = binding list

Sourcetype binding_map = (string, (Nat_big_num.num * binding) list) Pmap.map

Source

val image_of_linkable_item : 
  (linkable_object * 'a * 'b) ->
  Abis.any_abi_feature Memory_image.annotated_memory_image

Source

val linkable_item_of_input_item_and_options : 
  'a Memory_image.abi ->
  (string
   * Input_list.input_blob
   * (Command_line.input_unit * Input_list.origin_coord list)) ->
  Input_list.input_options ->
  linkable_object
  * (string
     * Input_list.input_blob
     * (Command_line.input_unit * Input_list.origin_coord list))
  * Input_list.input_options

Source

val string_of_linkable : 
  ('a
   * (string
      * Input_list.input_blob
      * (Command_line.input_unit * Input_list.origin_coord list))
   * 'b) ->
  string

Source

val add_definition_to_map : 
  (Nat_big_num.num
   * Memory_image.symbol_definition
   * (linkable_object * Input_list.input_item * Input_list.input_options)) ->
  (string,
    (Nat_big_num.num
     * Memory_image.symbol_definition
     * (linkable_object * Input_list.input_item * Input_list.input_options))
      list)
    Pmap.map ->
  (string,
    (Nat_big_num.num
     * Memory_image.symbol_definition
     * (linkable_object * Input_list.input_item * Input_list.input_options))
      list)
    Pmap.map

Source

val all_definitions_by_name : 
  linkable_item list ->
  (string,
    (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) list)
    Pmap.map

Source

type binding_oracle =
  linkable_list ->
  (string,
    (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) list)
    Pmap.map ->
  (Nat_big_num.num * Memory_image.symbol_reference * linkable_item) ->
  (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option

Source

val resolve_one_reference_default : 
  'a ->
  'b ->
  (string,
    (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) list)
    Pmap.map ->
  (Nat_big_num.num
   * Memory_image.symbol_reference
   * ('c * (string * 'd * ('e * Input_list.origin_coord list)) * 'f)) ->
  (Nat_big_num.num
   * Memory_image.symbol_definition
   * (linkable_object
      * (string
         * Input_list.input_blob
         * (Command_line.input_unit * Input_list.origin_coord list))
      * Input_list.input_options))
    option

Source

val resolve_all : 
  'a ->
  'b ->
  ('a ->
    'b ->
    (Nat_big_num.num
     * Memory_image.symbol_reference
     * (linkable_object * Input_list.input_item * Input_list.input_options)) ->
    (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option) ->
  (Nat_big_num.num
   * Memory_image.symbol_reference
   * (linkable_object * Input_list.input_item * Input_list.input_options))
    list ->
  ((Nat_big_num.num
    * Memory_image.symbol_reference
    * (linkable_object * Input_list.input_item * Input_list.input_options))
   * (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option)
    list

Source

val resolve_undefs_in_one_object : 
  (linkable_object * Input_list.input_item * Input_list.input_options) list ->
  'a ->
  ((linkable_object * Input_list.input_item * Input_list.input_options) list ->
    'a ->
    (Nat_big_num.num
     * Memory_image.symbol_reference
     * (linkable_object * Input_list.input_item * Input_list.input_options)) ->
    (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option) ->
  Nat_big_num.num ->
  ((Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
   * (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option)
    list

Source

val accumulate_bindings_bf : 
  'a ->
  (linkable_object * Input_list.input_item * Input_list.input_options) list ->
  (string,
    (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) list)
    Pmap.map ->
  Nat_big_num.num Pset.set ->
  Nat_big_num.num list ->
  ((Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
   * (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option)
    list ->
  ((Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
   * (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option)
    list

Source

val accumulate_bindings_objectwise_df : 
  'a ->
  (linkable_object * Input_list.input_item * Input_list.input_options) list ->
  (string,
    (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) list)
    Pmap.map ->
  ((Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
   * (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option)
    list ->
  Nat_big_num.num Pset.set ->
  Nat_big_num.num list ->
  ((Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
   * (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) option)
    list