foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - M

macho_read_fileInstantiation.BinaryMacho
MallocData.SymbolicExpression
MASKMOVQX86.Opcode
MAXPDX86.Opcode
MAXPSX86.Opcode
MAXSDX86.Opcode
MAXSSX86.Opcode
max_expr_sizeConfig
max_jump_table_sizeConfig
max_num_of_basesConfig
max_num_of_casesConfig
max_num_of_sourcesConfig
max_timeConfig
maybe_operand_sizeGeneric.SymbolicConstituents
Memory 
1 (Data Constructor)Generic.Operand
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
MemRelationAnalysis.Context
MFENCEX86.Opcode
MINPDX86.Opcode
MINPSX86.Opcode
MINSDX86.Opcode
MINSSX86.Opcode
MinusData.SymbolicExpression
mk_fcontextAnalysis.Context
mk_json_addressData.JSON_Taxonomy
mk_json_instructionData.JSON_Taxonomy
mk_json_operandData.JSON_Taxonomy
mk_json_postData.JSON_Taxonomy
mk_json_predicateData.JSON_Taxonomy
mk_metricsOutputGeneration.Metrics
mod_offsetData.SValue
MONITORX86.Opcode
MOVX86.Opcode
MOVABSX86.Opcode
MOVAPDX86.Opcode
MOVAPSX86.Opcode
MOVDX86.Opcode
MOVDDUPX86.Opcode
MOVDQAX86.Opcode
MOVDQUX86.Opcode
MOVHLPSX86.Opcode
MOVHPDX86.Opcode
MOVHPSX86.Opcode
MOVLHPSX86.Opcode
MOVLPDX86.Opcode
MOVLPSX86.Opcode
MOVLSDUPX86.Opcode
MOVMSKPDX86.Opcode
MOVMSKPSX86.Opcode
MOVNTDQX86.Opcode
MOVNTPDX86.Opcode
MOVNTPSX86.Opcode
MOVNTQX86.Opcode
MOVQX86.Opcode
MOVSX86.Opcode
MOVSBX86.Opcode
MOVSDX86.Opcode
MOVSLDUPX86.Opcode
MOVSQX86.Opcode
MOVSSX86.Opcode
MOVSWX86.Opcode
MOVSXX86.Opcode
MOVSXBX86.Opcode
MOVSXDX86.Opcode
MOVSXWX86.Opcode
MOVUPDX86.Opcode
MOVUPSX86.Opcode
MOVZXX86.Opcode
MOVZXBX86.Opcode
MOVZXWX86.Opcode
MULX86.Opcode
MULPDX86.Opcode
MULPSX86.Opcode
MULSDX86.Opcode
MULSSX86.Opcode
MUL_HIX86.Opcode
MUL_LOX86.Opcode
MWAITX86.Opcode