To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type script = Byte_sequence.byte_sequence0type linkable_object = | RelocELF of Elf_memory_image.elf_memory_image| ScriptAST of script| ControlScriptDefs
val string_of_linkable_object : linkable_object -> stringtype linkable_item =
linkable_object * Input_list.input_item * Input_list.input_optionsval short_string_of_linkable_item :
('a * (string * 'b * ('c * Input_list.origin_coord list)) * 'd) ->
stringval instance_Show_Show_Linkable_list_linkable_object_dict :
linkable_object Show.show_classtype linkable_list = linkable_item listtype symbol_resolution_oracle = linkable_list -> int -> string -> int listtype binding =
(Nat_big_num.num * Memory_image.symbol_reference * linkable_item)
* (Nat_big_num.num * Memory_image.symbol_definition * linkable_item) optiontype binding_list = binding listtype binding_map = (string, (Nat_big_num.num * binding) list) Pmap.mapval image_of_linkable_item :
(linkable_object * 'a * 'b) ->
Abis.any_abi_feature Memory_image.annotated_memory_imageval 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_optionsval string_of_linkable :
('a
* (string
* Input_list.input_blob
* (Command_line.input_unit * Input_list.origin_coord list))
* 'b) ->
stringval 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.mapval all_definitions_by_name :
linkable_item list ->
(string,
(Nat_big_num.num * Memory_image.symbol_definition * linkable_item) list)
Pmap.maptype 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) optionval 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))
optionval 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)
listval 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)
listval 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)
listval 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