foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - R

R10X86.Register
R10BX86.Register
R10DX86.Register
R10WX86.Register
R11X86.Register
R11BX86.Register
R11DX86.Register
R11WX86.Register
R12X86.Register
R12BX86.Register
R12DX86.Register
R12WX86.Register
R13X86.Register
R13BX86.Register
R13DX86.Register
R13WX86.Register
R14X86.Register
R14BX86.Register
R14DX86.Register
R14WX86.Register
R15X86.Register
R15BX86.Register
R15DX86.Register
R15WX86.Register
R8X86.Register
R8BX86.Register
R8DX86.Register
R8WX86.Register
R9X86.Register
R9BX86.Register
R9DX86.Register
R9WX86.Register
RAXX86.Register
RBPX86.Register
RBXX86.Register
RCLX86.Opcode
RCPPSX86.Opcode
RCPSSX86.Opcode
RCRX86.Opcode
RCXX86.Register
RDIX86.Register
RDMSRX86.Opcode
RDPMCX86.Opcode
RDTSCX86.Opcode
RDXX86.Register
readHex'Base
read_binaryAnalysis.Context
read_from_datasectionAnalysis.Context
read_from_ro_datasectionAnalysis.Context
realX86.Register
RegData.JSON
reg128X86.Register
reg16X86.Register
reg256X86.Register
reg32X86.Register
reg64X86.Register
reg8X86.Register
reg80X86.Register
RegionSizeGeneric.SymbolicConstituents
Register 
1 (Type/Class)X86.Register
2 (Data Constructor)Data.JSON_Taxonomy
Relocated_FunctionGeneric.Binary
Relocated_LabelGeneric.Binary
Relocation 
1 (Type/Class)Generic.Binary
2 (Data Constructor)Generic.Binary
render_NASMNASM.L0ToNASM
REPX86.Prefix
REPNEX86.Prefix
REPZX86.Prefix
ResolvedJumpTargetData.JumpTarget
resolve_jump_targetAnalysis.ControlFlow
RETX86.Opcode
RETFX86.Opcode
RETNX86.Opcode
ReturningWith 
1 (Data Constructor)Analysis.Context
2 (Data Constructor)Data.JSON_Taxonomy
return_registersX86.Conventions
RIPX86.Register
RIZX86.Register
ROLX86.Opcode
RolData.SymbolicExpression
RORX86.Opcode
RorData.SymbolicExpression
ROUNDSDX86.Opcode
ROUNDSSX86.Opcode
RSIX86.Register
RSMX86.Opcode
RSPX86.Register
RSQRTPSX86.Opcode
RSQRTSSX86.Opcode