foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - A

AAAX86.Opcode
AADX86.Opcode
AAMX86.Opcode
AASX86.Opcode
ADCX86.Opcode
ADDX86.Opcode
ADDPDX86.Opcode
ADDPSX86.Opcode
addr 
1 (Function)Data.JSON_Taxonomy
2 (Function)Data.JSON
Address 
1 (Type/Class)X86.Address
2 (Type/Class)Data.JSON_Taxonomy
3 (Type/Class)Data.JSON
AddressImm 
1 (Data Constructor)Generic.Address
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
AddressMinus 
1 (Data Constructor)Generic.Address
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
addressofX86.Instruction
AddressPlus 
1 (Data Constructor)Generic.Address
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
AddressRegister 
1 (Data Constructor)Data.JSON_Taxonomy
2 (Data Constructor)Data.JSON
AddressStorageGeneric.Address
AddressTimes 
1 (Data Constructor)Generic.Address
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
AddressWord64 
1 (Type/Class)Generic.Address
2 (Data Constructor)Generic.Address
address_has_external_symbolAnalysis.FunctionNames
address_has_instructionAnalysis.Context
ADDSDX86.Opcode
ADDSSX86.Opcode
ADDSUBPDX86.Opcode
ADDUBPSX86.Opcode
add_function_pointerGeneric.SymbolicConstituents
add_jump_to_predGeneric.SymbolicConstituents
AHX86.Register
ALX86.Register
AliassingAnalysis.Context
allpBase
all_bot_satisfyData.SymbolicExpression
ANDX86.Opcode
AndData.SymbolicExpression
ANDNPDX86.Opcode
ANDNPSX86.Opcode
ANDPDX86.Opcode
ANDPSX86.Opcode
annotGeneric.Instruction
ARPLX86.Opcode
AssertionGeneric.SymbolicConstituents
averageBase
AXX86.Register