foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - J

JAX86.Opcode
JAEX86.Opcode
JBX86.Opcode
JBEX86.Opcode
JCX86.Opcode
JCXZX86.Opcode
JEX86.Opcode
JECXZX86.Opcode
JGX86.Opcode
JGEX86.Opcode
JLX86.Opcode
JLEX86.Opcode
JMPX86.Opcode
JMPFX86.Opcode
JMPNX86.Opcode
JNAX86.Opcode
JNAEX86.Opcode
JNBX86.Opcode
JNBEX86.Opcode
JNCX86.Opcode
JNEX86.Opcode
JNGX86.Opcode
JNGEX86.Opcode
JNLX86.Opcode
JNLEX86.Opcode
JNOX86.Opcode
JNPX86.Opcode
JNSX86.Opcode
JNZX86.Opcode
JOX86.Opcode
joinGeneric.SymbolicPropagation
join_finitInstantiation.SymbolicPropagation
JPX86.Opcode
JPEX86.Opcode
JPOX86.Opcode
JRCXZX86.Opcode
JSX86.Opcode
JSON 
1 (Type/Class)Data.JSON_Taxonomy
2 (Data Constructor)Data.JSON_Taxonomy
jtbl_boundAnalysis.Context
jtbl_indexAnalysis.Context
jtbl_tableAnalysis.Context
jtbl_targetAnalysis.Context
JumpTable 
1 (Type/Class)Analysis.Context
2 (Data Constructor)Analysis.Context
jump_is_actually_a_callAnalysis.ControlFlow
JZX86.Opcode