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

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

JA	Data.X86.Opcode
JAE	Data.X86.Opcode
JB	Data.X86.Opcode
JBE	Data.X86.Opcode
JC	Data.X86.Opcode
JCXZ	Data.X86.Opcode
JE	Data.X86.Opcode
JECXZ	Data.X86.Opcode
JG	Data.X86.Opcode
JGE	Data.X86.Opcode
JL	Data.X86.Opcode
JLE	Data.X86.Opcode
JMP	Data.X86.Opcode
JMPF	Data.X86.Opcode
JMPN	Data.X86.Opcode
JNA	Data.X86.Opcode
JNAE	Data.X86.Opcode
JNB	Data.X86.Opcode
JNBE	Data.X86.Opcode
JNC	Data.X86.Opcode
JNE	Data.X86.Opcode
JNG	Data.X86.Opcode
JNGE	Data.X86.Opcode
JNL	Data.X86.Opcode
JNLE	Data.X86.Opcode
JNO	Data.X86.Opcode
JNP	Data.X86.Opcode
JNS	Data.X86.Opcode
JNZ	Data.X86.Opcode
JO	Data.X86.Opcode
join_finit	WithAbstractSymbolicValues.FInit
join_finits	WithAbstractPredicates.Class
join_preds	WithAbstractPredicates.Class
JP	Data.X86.Opcode
JPE	Data.X86.Opcode
JPO	Data.X86.Opcode
JRCXZ	Data.X86.Opcode
JS	Data.X86.Opcode
JSON_NASM_Function
1 (Type/Class)	OutputGeneration.NASM.NASM
2 (Data Constructor)	OutputGeneration.NASM.NASM
jtbl_bound	Data.Indirection
jtbl_index	Data.Indirection
jtbl_table	Data.Indirection
jtbl_target	Data.Indirection
jump	WithNoAbstraction.SymbolicExecution
JumpTable
1 (Type/Class)	Data.Indirection
2 (Data Constructor)	Data.Indirection
jump_is_actually_a_call	WithAbstractPredicates.ControlFlow
jump_target_for_instruction	Binary.FunctionNames
JustRips	WithAbstractPredicates.ControlFlow
JZ	Data.X86.Opcode