foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - O

OFX86.Flag
onlyWhenBase
OpcodeX86.Opcode
opcode 
1 (Function)Generic.Instruction
2 (Function)Data.JSON_Taxonomy
3 (Function)Data.JSON
Operand 
1 (Type/Class)X86.Operand
2 (Type/Class)Data.JSON_Taxonomy
3 (Type/Class)Data.JSON
operandsData.JSON_Taxonomy
operand_sizeGeneric.SymbolicConstituents
operand_static_resolveAnalysis.FunctionNames
OperatorData.SymbolicExpression
ORX86.Opcode
OrData.SymbolicExpression
orElseBase
ORPDX86.Opcode
ORPSX86.Opcode
orTryBase
OUTX86.Opcode
OUTSX86.Opcode
overlappingX86.Register