foxdec-0.1.0.0: Formally Verified x86-64 Decompilation
Contents
Index
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 - R
R10
Data.X86.Register
R11
Data.X86.Register
R12
Data.X86.Register
R13
Data.X86.Register
R14
Data.X86.Register
R15
Data.X86.Register
R8
Data.X86.Register
R9
Data.X86.Register
RAX
Data.X86.Register
RBP
Data.X86.Register
RBX
Data.X86.Register
RCL
Data.X86.Opcode
RCPPS
Data.X86.Opcode
RCPSS
Data.X86.Opcode
RCR
Data.X86.Opcode
RCX
Data.X86.Register
RDI
Data.X86.Register
RDMSR
Data.X86.Opcode
RDPMC
Data.X86.Opcode
RDTSC
Data.X86.Opcode
RDX
Data.X86.Register
readHex'
Base
read_binary
Binary.Read
read_bytes_section
Binary.Elf
read_from_ro_datasection
Binary.Generic
read_opcode
Data.X86.Opcode
read_sp
WithAbstractSymbolicValues.Sstate
real_reg
Data.X86.Register
reconsider_mutual_recursive_call
WithAbstractPredicates.ContextSensitiveAnalysis
reconstruct
OutputGeneration.Reconstruction
Recursions
WithAbstractPredicates.ContextSensitiveAnalysis
Reg128
Data.X86.Register
Reg16
Data.X86.Register
Reg32
Data.X86.Register
Reg64
Data.X86.Register
Reg8
Data.X86.Register
RegFPU
Data.X86.Register
RegHalf
Data.X86.Register
Register
Data.X86.Register
register_set
OutputGeneration.NASM.L0ToNASM
RegNone
Data.X86.Register
RegSeg
Data.X86.Register
regSize
Data.X86.Register
regs_of_op
OutputGeneration.NASM.L0ToNASM
regs_of_ops
OutputGeneration.NASM.L0ToNASM
RegTemp
Data.X86.Register
reg_of_size
OutputGeneration.NASM.L0ToNASM
relocatable_symbol
OutputGeneration.NASM.L0ToNASM
Relocated_ResolvedObject
Data.Symbol
Relocation
1 (Type/Class)
Binary.Generic
2 (Data Constructor)
Binary.Generic
reloc_for
OutputGeneration.NASM.L0ToNASM
remove_destination
Data.X86.Instruction
render_annot
OutputGeneration.NASM.NASM
render_NASM
1 (Function)
OutputGeneration.NASM.NASMToC
2 (Function)
OutputGeneration.NASM.L0ToNASM
render_NASM_to_JSON
OutputGeneration.NASM.NASM
replace_rip_in_operand
WithNoAbstraction.SymbolicExecution
ResolvedJumpTarget
Data.JumpTarget
resolved_relocs_section
OutputGeneration.NASM.L0ToNASM
resolve_call
WithAbstractPredicates.ControlFlow
resolve_indirection
WithAbstractPredicates.Class
result_calls
Data.L0
result_cfg
Data.L0
result_pa
Data.L0
result_post
Data.L0
result_vcs
Data.L0
RET
Data.X86.Opcode
RETF
Data.X86.Opcode
RETN
Data.X86.Opcode
Returns
Data.JumpTarget
ReturnsWith
Data.L0
return_registers
Conventions
RIP
Data.X86.Register
rip_relative_to_immediate
OutputGeneration.NASM.L0ToNASM
RockBottom
Data.SymbolicExpression
ROL
Data.X86.Opcode
Rol
Data.SymbolicExpression
ROR
Data.X86.Opcode
Ror
Data.SymbolicExpression
round2dp
Base
ROUNDSD
Data.X86.Opcode
ROUNDSS
Data.X86.Opcode
ro_data_section
OutputGeneration.NASM.L0ToNASM
RSI
Data.X86.Register
RSM
Data.X86.Opcode
RSP
Data.X86.Register
RSQRTPS
Data.X86.Opcode
RSQRTSS
Data.X86.Opcode