linksem 0.8 · OCaml Package

val elfFileFeatureCompare : 
  Memory_image.elf_file_feature ->
  Memory_image.elf_file_feature ->
  int

val elfFileFeatureTagEquiv : 
  Memory_image.elf_file_feature ->
  Memory_image.elf_file_feature ->
  bool

val instance_Basic_classes_Ord_Memory_image_elf_file_feature_dict : 
  Memory_image.elf_file_feature Lem_basic_classes.ord_class

val tagCompare : 
  'a Lem_basic_classes.ord_class ->
  'a Memory_image.range_tag ->
  'a Memory_image.range_tag ->
  int

val instance_Basic_classes_Ord_Memory_image_range_tag_dict : 
  'abifeature Lem_basic_classes.ord_class ->
  'abifeature Memory_image.range_tag Lem_basic_classes.ord_class

val tagEquiv : 
  'a Abi_classes.abiFeatureTagEquiv_class ->
  'a Memory_image.range_tag ->
  'a Memory_image.range_tag ->
  bool

val unique_tag_matching : 
  'abifeature Lem_basic_classes.ord_class ->
  'abifeature Abi_classes.abiFeatureTagEquiv_class ->
  'abifeature Memory_image.range_tag ->
  'abifeature Memory_image.annotated_memory_image ->
  'abifeature Memory_image.range_tag

val tagged_ranges_matching_tag : 
  'abifeature Lem_basic_classes.ord_class ->
  'abifeature Abi_classes.abiFeatureTagEquiv_class ->
  'abifeature Memory_image.range_tag ->
  'abifeature Memory_image.annotated_memory_image ->
  ('abifeature Memory_image.range_tag * Memory_image.element_range option) list

val element_range_compare : 
  (string * (Nat_big_num.num * Nat_big_num.num)) ->
  (string * (Nat_big_num.num * Nat_big_num.num)) ->
  int

val unique_tag_matching_at_range_exact : 
  'abifeature Lem_basic_classes.ord_class ->
  'abifeature Abi_classes.abiFeatureTagEquiv_class ->
  Memory_image.element_range option ->
  'abifeature Memory_image.range_tag ->
  'abifeature Memory_image.annotated_memory_image ->
  'abifeature Memory_image.range_tag

val symbol_def_ranges : 
  'abifeature Lem_basic_classes.ord_class ->
  'abifeature Abi_classes.abiFeatureTagEquiv_class ->
  'abifeature Memory_image.annotated_memory_image ->
  'abifeature Memory_image.range_tag list
  * Memory_image.element_range option list

val name_of_symbol_def : Memory_image.symbol_definition -> string

val defined_symbols_and_ranges : 
  'a Lem_basic_classes.ord_class ->
  'a Abi_classes.abiFeatureTagEquiv_class ->
  'a Memory_image.annotated_memory_image ->
  (Memory_image.element_range option * Memory_image.symbol_definition) list

val make_ranges_definite : 
  Memory_image.element_range option list ->
  (string * Memory_image.range) list

val find_defs_matching : 
  Memory_image.symbol_definition ->
  (Memory_image.element_range option * Memory_image.symbol_definition) list ->
  (Memory_image.element_range option * Memory_image.symbol_definition) list

val defined_symbols : 
  'a Lem_basic_classes.ord_class ->
  'a Abi_classes.abiFeatureTagEquiv_class ->
  'a Memory_image.annotated_memory_image ->
  Memory_image.symbol_definition list

val default_get_reloc_symaddr : 
  'a ->
  'b ->
  Memory_image.symbol_definition ->
  'c Memory_image.annotated_memory_image ->
  (Memory_image.element_range option * Memory_image.symbol_definition) list ->
  'd ->
  Nat_big_num.num

package linksem