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

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 - I

IDIV	Data.X86.Opcode
IDIV_HI	Data.X86.Opcode
IDIV_LO	Data.X86.Opcode
Immediate
1 (Type/Class)	Data.X86.Instruction
2 (Data Constructor)	Data.X86.Instruction
ImmediateAddress	Data.JumpTarget
IMUL	Data.X86.Opcode
IMulHi	Data.SymbolicExpression
IMulLo	Data.SymbolicExpression
IMUL_HI	Data.X86.Opcode
IMUL_LO	Data.X86.Opcode
im_lookup	Base
IN	Data.X86.Opcode
inAddress	Data.X86.Instruction
INC	Data.X86.Opcode
inDest	Data.X86.Instruction
Indirection	Data.Indirection
Indirections	Data.Indirection
Indirection_JumpTable	Data.Indirection
Indirection_Resolved	Data.Indirection
Indirection_Unresolved	Data.Indirection
init_cfg	Data.CFG
init_scc_state	Algorithm.SCC
inOperands	Data.X86.Instruction
inOperation	Data.X86.Instruction
inPrefix	Data.X86.Instruction
Input	WithNoAbstraction.SymbolicExecution
INS	Data.X86.Opcode
INSD	Data.X86.Opcode
inSize	Data.X86.Instruction
Instruction
1 (Type/Class)	Data.X86.Instruction
2 (Data Constructor)	Data.X86.Instruction
instr_to_NASM	OutputGeneration.NASM.L0ToNASM
INT	Data.X86.Opcode
INT3	Data.X86.Opcode
intDiv	OutputGeneration.Metrics
internal_labels_outside_of_sections	OutputGeneration.NASM.L0ToNASM
IntGraph	Base
intgraph_post	Base
intgraph_V	Base
INTO	Data.X86.Opcode
InvalidOpcode	Data.X86.Opcode
Invariants	WithAbstractPredicates.ContextSensitiveAnalysis
INVD	Data.X86.Opcode
INVLPG	Data.X86.Opcode
INVPCID	Data.X86.Opcode
invs_to_PA	WithAbstractPredicates.GenerateInvariants
invs_to_post	WithAbstractPredicates.GenerateInvariants
IRET	Data.X86.Opcode
IRETD	Data.X86.Opcode
IRETQ	Data.X86.Opcode
isAllocated	Binary.Elf
isCall	Data.X86.Opcode
isCondJump	Data.X86.Opcode
isHalt	Data.X86.Opcode
iSize	Data.X86.Instruction
isJump	Data.X86.Opcode
isRelevantElfSection	Binary.Elf
isRet	Data.X86.Opcode
is_address_of_symbol	OutputGeneration.NASM.L0ToNASM
is_bss_data_section	OutputGeneration.NASM.L0ToNASM
is_consecutive	WithAbstractPredicates.GenerateCFG
is_data_section	OutputGeneration.NASM.L0ToNASM
is_edge	WithAbstractPredicates.GenerateCFG
is_end_node	Data.CFG
is_exiting_function_call	Conventions
is_function_pointer	WithNoAbstraction.SymbolicExecution
is_global_pointer_domain	WithNoAbstraction.Pointers
is_immediate	Data.SymbolicExpression
is_instruction_address	OutputGeneration.NASM.L0ToNASM
is_internal_symbol	OutputGeneration.NASM.L0ToNASM
is_local_pointer_domain	WithNoAbstraction.Pointers
is_mem_sp	Data.SymbolicExpression
is_reg_sp	Data.SymbolicExpression
is_roughly_an_address	Binary.Generic
is_ro_data_section	OutputGeneration.NASM.L0ToNASM
is_start_of_block_anywhere	OutputGeneration.NASM.L0ToNASM
is_terminal_call	OutputGeneration.NASM.L0ToNASM
is_top_stackframe	WithNoAbstraction.SymbolicExecution
is_weaker_than	WithAbstractPredicates.Class
iValue	Data.X86.Instruction