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

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

FABS	Data.X86.Opcode
FADD	Data.X86.Opcode
FADDP	Data.X86.Opcode
FBLD	Data.X86.Opcode
FBSTP	Data.X86.Opcode
FCHS	Data.X86.Opcode
FCLEX	Data.X86.Opcode
FCMOVB	Data.X86.Opcode
FCMOVBE	Data.X86.Opcode
FCMOVE	Data.X86.Opcode
FCMOVNB	Data.X86.Opcode
FCMOVNBE	Data.X86.Opcode
FCMOVNE	Data.X86.Opcode
FCMOVNU	Data.X86.Opcode
FCMOVU	Data.X86.Opcode
FCOM	Data.X86.Opcode
FCOMI	Data.X86.Opcode
FCOMIP	Data.X86.Opcode
FCOMP	Data.X86.Opcode
FCOMPI	Data.X86.Opcode
FCOMPP	Data.X86.Opcode
FCOS	Data.X86.Opcode
FDIV	Data.X86.Opcode
FDIVP	Data.X86.Opcode
FDIVR	Data.X86.Opcode
FDIVRP	Data.X86.Opcode
fetch_block	Data.CFG
fetch_instruction	Binary.Generic
FFREE	Data.X86.Opcode
FIADD	Data.X86.Opcode
FICOM	Data.X86.Opcode
FICOMP	Data.X86.Opcode
FIDIV	Data.X86.Opcode
FIDIVR	Data.X86.Opcode
FILD	Data.X86.Opcode
FIMUL	Data.X86.Opcode
findString	Base
find_element_not_in	OutputGeneration.NASM.L0ToNASM
find_section_ending_at	Binary.Generic
find_section_for_address	Binary.Generic
find_unused_register	OutputGeneration.NASM.L0ToNASM
finishExploration	WithAbstractPredicates.ContextSensitiveAnalysis
FINIT	Data.X86.Opcode
FInit
1 (Type/Class)	WithAbstractSymbolicValues.Class
2 (Data Constructor)	WithAbstractSymbolicValues.Class
finit_to_init_pred	WithAbstractPredicates.Class
finit_to_init_sstate	WithAbstractSymbolicValues.FInit
firstJustsM	Base
FIST	Data.X86.Opcode
FISTP	Data.X86.Opcode
FISTPP	Data.X86.Opcode
FISTTP	Data.X86.Opcode
FISUB	Data.X86.Opcode
FISUBR	Data.X86.Opcode
FlagStatus	Data.SymbolicExpression
FLD	Data.X86.Opcode
FLD1	Data.X86.Opcode
FLDCW	Data.X86.Opcode
FLDENV	Data.X86.Opcode
FLDL2E	Data.X86.Opcode
FLDL2T	Data.X86.Opcode
FLDLG2	Data.X86.Opcode
FLDLN2	Data.X86.Opcode
FLDPI	Data.X86.Opcode
FLDZ	Data.X86.Opcode
FMUL	Data.X86.Opcode
FMULP	Data.X86.Opcode
FNINIT	Data.X86.Opcode
FNOP	Data.X86.Opcode
FNSTCW	Data.X86.Opcode
FoundNewCalls	WithAbstractPredicates.ContextSensitiveAnalysis
FPREM1	Data.X86.Opcode
FPUReg	Data.X86.Register
FreshPointer	WithNoAbstraction.SymbolicExecution
FResult
1 (Type/Class)	Data.L0
2 (Data Constructor)	Data.L0
FRNDINT	Data.X86.Opcode
FromBitMode	Data.SymbolicExpression
FromCall	Data.SymbolicExpression
fromJust'	WithAbstractPredicates.GenerateCFG
FromMemWrite	Data.SymbolicExpression
FromNonDeterminism	Data.SymbolicExpression
FromOverlap	Data.SymbolicExpression
FromPointerBases	Data.SymbolicExpression
FromSemantics	Data.SymbolicExpression
FromSources	Data.SymbolicExpression
FromUninitializedMemory	Data.SymbolicExpression
FRSTOR	Data.X86.Opcode
FS	Data.X86.Register
FSAVE	Data.X86.Opcode
FSCALE	Data.X86.Opcode
FSIN	Data.X86.Opcode
FSINCOS	Data.X86.Opcode
FSQRT	Data.X86.Opcode
FST	Data.X86.Opcode
FSTCW	Data.X86.Opcode
FSTENV	Data.X86.Opcode
FSTP	Data.X86.Opcode
FSTSW	Data.X86.Opcode
FSUB	Data.X86.Opcode
FSUBP	Data.X86.Opcode
FSUBR	Data.X86.Opcode
FSUBRP	Data.X86.Opcode
FS_CMP	Data.SymbolicExpression
FTST	Data.X86.Opcode
FUCOM	Data.X86.Opcode
FUCOMI	Data.X86.Opcode
FUCOMIP	Data.X86.Opcode
FUCOMP	Data.X86.Opcode
FUCOMPI	Data.X86.Opcode
FUCOMPP	Data.X86.Opcode
FunctionPointers	Data.VerificationCondition
FunctionType	WithNoAbstraction.SymbolicExecution
function_name_of_entry	Binary.FunctionNames
function_name_of_instruction	Binary.FunctionNames
FXAM	Data.X86.Opcode
FXCH	Data.X86.Opcode
FXRSTOR	Data.X86.Opcode
FXSAVE	Data.X86.Opcode
FXTRACT	Data.X86.Opcode
f_inputs	WithNoAbstraction.SymbolicExecution
f_output	WithNoAbstraction.SymbolicExecution