foxdec-0.1.0.0: Formally Verified x86-64 Decompilation (Index - E)

foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
|
_
All

Index - E

Edges	Base
elf	Binary.Elf
elf_dir_name	Binary.Elf
elf_file_name	Binary.Elf
elf_get_relocs	Binary.Elf
elf_get_sections_info	Binary.Elf
elf_get_symbol_table	Binary.Elf
elf_max_address	Binary.Elf
elf_min_address	Binary.Elf
elf_read_bytestring	Binary.Elf
elf_read_data	Binary.Elf
elf_read_file	Binary.Elf
elf_read_ro_data	Binary.Elf
elf_relocs	Binary.Elf
elf_sections_info	Binary.Elf
elf_symbol_table	Binary.Elf
elf_text_section_size	Binary.Elf
EMMS	Data.X86.Opcode
empty_address	OutputGeneration.NASM.NASM
empty_finit	WithAbstractSymbolicValues.Class
empty_result	Data.L0
ENDBR64	Data.X86.Opcode
end_of_section_label	OutputGeneration.NASM.L0ToNASM
ENTER	Data.X86.Opcode
entry_has_been_done	WithAbstractPredicates.ContextSensitiveAnalysis
entry_to_NASM	OutputGeneration.NASM.L0ToNASM
ES	Data.X86.Register
evalSstate	WithAbstractSymbolicValues.Sstate
execSstate	WithAbstractSymbolicValues.Sstate
existsAndSatisfies	Base
exploreDanglingFunctionPointers	WithAbstractPredicates.ContextSensitiveAnalysis
exploreDanglingRelocations	WithAbstractPredicates.ContextSensitiveAnalysis
exploreFunctionEntries	WithAbstractPredicates.ContextSensitiveAnalysis
exploreFunctionEntry	WithAbstractPredicates.ContextSensitiveAnalysis
expr_highly_likely_pointer	WithNoAbstraction.Pointers
expr_is_global_immediate	WithNoAbstraction.Pointers
expr_is_highly_likely_global_pointer	WithNoAbstraction.Pointers
expr_is_highly_likely_local_pointer	WithNoAbstraction.Pointers
expr_is_maybe_global_pointer	WithNoAbstraction.Pointers
expr_is_maybe_local_pointer	WithNoAbstraction.Pointers
expr_size	Data.SymbolicExpression
expr_to_addends	WithNoAbstraction.SymbolicExecution
External	Data.JumpTarget
ExternalDeref	Data.JumpTarget
ExternalFunction	WithNoAbstraction.SymbolicExecution
ExternalFunctionBehavior
1 (Type/Class)	WithNoAbstraction.SymbolicExecution
2 (Data Constructor)	WithNoAbstraction.SymbolicExecution
ExternalFunctionOutput	WithNoAbstraction.SymbolicExecution
externals	OutputGeneration.NASM.L0ToNASM
external_function_behavior	WithNoAbstraction.SymbolicExecution
external_objects	OutputGeneration.NASM.L0ToNASM
EXTRACTPS	Data.X86.Opcode