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

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

macho_read_file	Binary.Macho
Macro	OutputGeneration.NASM.NASM
macro_name	OutputGeneration.NASM.L0ToNASM
Malloc	Data.SymbolicExpression
mapMaybeNES	WithNoAbstraction.SymbolicExecution
mapMaybeS	WithNoAbstraction.SymbolicExecution
mark_mutual_recursive_calls	WithAbstractPredicates.ContextSensitiveAnalysis
mASize	Data.X86.Instruction
MASKMOVQ	Data.X86.Opcode
MAXPD	Data.X86.Opcode
MAXPS	Data.X86.Opcode
MAXSD	Data.X86.Opcode
MAXSS	Data.X86.Opcode
max_expr_size	Config
max_jump_table_size	Config
max_num_of_bases	Config
max_num_of_cases	Config
max_num_of_sources	Config
max_time	Config
maybe_operand_size	WithAbstractSymbolicValues.SymbolicExecution
mDisp	Data.X86.Instruction
MemRelation	WithAbstractSymbolicValues.Class
mem_operand_to_NASM	OutputGeneration.NASM.L0ToNASM
MFENCE	Data.X86.Opcode
mIdx	Data.X86.Instruction
MINPD	Data.X86.Opcode
MINPS	Data.X86.Opcode
MINSD	Data.X86.Opcode
MINSS	Data.X86.Opcode
Minus	Data.SymbolicExpression
mk_annots	OutputGeneration.NASM.L0ToNASM
mk_concrete	WithNoAbstraction.SymbolicExecution
mk_concreteS	WithNoAbstraction.SymbolicExecution
mk_expr	WithNoAbstraction.SymbolicExecution
mk_GOT_entry_instr	OutputGeneration.NASM.L0ToNASM
mk_graph	WithAbstractPredicates.GenerateCFG
mk_jmp_call_instr	OutputGeneration.NASM.L0ToNASM
mk_jump_table	OutputGeneration.NASM.L0ToNASM
mk_macros	OutputGeneration.NASM.L0ToNASM
mk_metrics	OutputGeneration.Metrics
mk_metric_pointerDesignations	OutputGeneration.Metrics
mk_nasm_instr	OutputGeneration.NASM.NASM
mk_NASM_prefix	OutputGeneration.NASM.L0ToNASM
mk_normal_instr	OutputGeneration.NASM.L0ToNASM
mk_RSP_mem_operand	Data.X86.Instruction
mk_saddends	WithNoAbstraction.SymbolicExecution
mk_safe_label	OutputGeneration.NASM.L0ToNASM
mk_static	WithAbstractPredicates.ContextSensitiveAnalysis
mk_top	WithNoAbstraction.SymbolicExecution
mnemonic_reads_from_all_but_first_operands	Data.X86.Instruction
mnemonic_reads_from_all_operands	Data.X86.Instruction
mnemonic_to_semantics	WithNoAbstraction.SymbolicExecution
MONITOR	Data.X86.Opcode
MOV	Data.X86.Opcode
MOVABS	Data.X86.Opcode
MOVAPD	Data.X86.Opcode
MOVAPS	Data.X86.Opcode
MOVD	Data.X86.Opcode
MOVDDUP	Data.X86.Opcode
MOVDQA	Data.X86.Opcode
MOVDQU	Data.X86.Opcode
MOVHLPS	Data.X86.Opcode
MOVHPD	Data.X86.Opcode
MOVHPS	Data.X86.Opcode
MOVLHPS	Data.X86.Opcode
MOVLPD	Data.X86.Opcode
MOVLPS	Data.X86.Opcode
MOVLSDUP	Data.X86.Opcode
MOVMSKPD	Data.X86.Opcode
MOVMSKPS	Data.X86.Opcode
MOVNTDQ	Data.X86.Opcode
MOVNTPD	Data.X86.Opcode
MOVNTPS	Data.X86.Opcode
MOVNTQ	Data.X86.Opcode
MOVQ	Data.X86.Opcode
MOVS	Data.X86.Opcode
MOVSB	Data.X86.Opcode
MOVSD	Data.X86.Opcode
MOVSLDUP	Data.X86.Opcode
MOVSQ	Data.X86.Opcode
MOVSS	Data.X86.Opcode
MOVSW	Data.X86.Opcode
MOVSX	Data.X86.Opcode
MOVSXB	Data.X86.Opcode
MOVSXD	Data.X86.Opcode
MOVSXW	Data.X86.Opcode
MOVUPD	Data.X86.Opcode
MOVUPS	Data.X86.Opcode
MOVZX	Data.X86.Opcode
MOVZXB	Data.X86.Opcode
MOVZXW	Data.X86.Opcode
mReg	Data.X86.Instruction
mScale	Data.X86.Instruction
mSeg	Data.X86.Instruction
mSize	Data.X86.Instruction
MUL	Data.X86.Opcode
MULPD	Data.X86.Opcode
MULPS	Data.X86.Opcode
MULSD	Data.X86.Opcode
MULSS	Data.X86.Opcode
MUL_HI	Data.X86.Opcode
MUL_LO	Data.X86.Opcode
MWAIT	Data.X86.Opcode