foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - I

IDIVX86.Opcode
IDIV_HIX86.Opcode
IDIV_LOX86.Opcode
Immediate 
1 (Data Constructor)Generic.Operand
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
ImmediateAddressData.JumpTarget
impliesGeneric.SymbolicPropagation
IMULX86.Opcode
IMUL_HIX86.Opcode
IMUL_LOX86.Opcode
im_lookupBase
INX86.Opcode
INCX86.Opcode
indexData.Variable
IndirectionAnalysis.Context
IndirectionsAnalysis.Context
Indirection_JumpTableAnalysis.Context
Indirection_ResolvedAnalysis.Context
Indirection_UnresolvedAnalysis.Context
init_contextAnalysis.Context
init_finitAnalysis.Context
init_predInstantiation.SymbolicPropagation
INSX86.Opcode
INSDX86.Opcode
Instruction 
1 (Data Constructor)Generic.Instruction
2 (Type/Class)X86.Instruction
3 (Type/Class)Data.JSON_Taxonomy
4 (Data Constructor)Data.JSON_Taxonomy
5 (Type/Class)Data.JSON
6 (Data Constructor)Data.JSON
instructionsData.JSON_Taxonomy
INTX86.Opcode
INT3X86.Opcode
Internal_LabelGeneric.Binary
INTOX86.Opcode
InvalidFlagX86.Flag
InvalidOpcodeX86.Opcode
InvalidPrefixX86.Prefix
InvalidRegisterX86.Register
InvariantData.JSON_Taxonomy
InvariantsAnalysis.Context
invariantsData.JSON_Taxonomy
invariant_to_finitInstantiation.SymbolicPropagation
INVDX86.Opcode
INVLPGX86.Opcode
INVPCIDX86.Opcode
IRETX86.Opcode
IRETDX86.Opcode
IRETQX86.Opcode
isCallX86.Opcode
isConcrete 
1 (Function)Data.SValue2
2 (Function)Data.SValue
3 (Function)Data.SPointer
isCondJumpX86.Opcode
isHaltX86.Opcode
isImmediateData.SValue2
isImmediateBaseData.SValue
isImmediateExprData.SValue2
isJumpX86.Opcode
isLowData.Variable
isPointerData.SValue2
isRetX86.Opcode
isSectionPtrData.SValue2
isSSAData.Variable
isStackPointerData.SValue2
isTerminalAnalysis.ControlFlow
is_assertionAnalysis.Context
is_end_nodeAnalysis.ControlFlow
is_exiting_function_callX86.Conventions
is_external_symbolGeneric.Binary
is_functionpointersAnalysis.Context
is_func_constraintAnalysis.Context
is_heap_pointer_domainAnalysis.Pointers
is_immediateData.SymbolicExpression
is_internal_symbolGeneric.Binary
is_local_pointer_domainAnalysis.Pointers
is_mem_spData.SymbolicExpression
is_preconditionAnalysis.Context
is_reg_spData.SymbolicExpression
is_roughly_an_addressAnalysis.Context
is_src_memAnalysis.Pointers