foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - F

FABSX86.Opcode
FADDX86.Opcode
FADDPX86.Opcode
FBLDX86.Opcode
FBSTPX86.Opcode
FCHSX86.Opcode
FCLEXX86.Opcode
FCMOVBX86.Opcode
FCMOVBEX86.Opcode
FCMOVEX86.Opcode
FCMOVNBX86.Opcode
FCMOVNBEX86.Opcode
FCMOVNEX86.Opcode
FCMOVNUX86.Opcode
FCMOVUX86.Opcode
FCOMX86.Opcode
FCOMIX86.Opcode
FCOMIPX86.Opcode
FCOMPX86.Opcode
FCOMPIX86.Opcode
FCOMPPX86.Opcode
FContext 
1 (Type/Class)Analysis.Context
2 (Data Constructor)Analysis.Context
FCOSX86.Opcode
FDIVX86.Opcode
FDIVPX86.Opcode
FDIVRX86.Opcode
FDIVRPX86.Opcode
fetch_blockAnalysis.ControlFlow
fetch_instructionAnalysis.Context
FFREEX86.Opcode
FIADDX86.Opcode
FICOMX86.Opcode
FICOMPX86.Opcode
FIDIVX86.Opcode
FIDIVRX86.Opcode
FILDX86.Opcode
FIMULX86.Opcode
findStringBase
find_section_ending_atAnalysis.Context
find_section_for_addressAnalysis.Context
FINITX86.Opcode
FInit 
1 (Type/Class)Analysis.Context
2 (Data Constructor)Analysis.Context
FISTX86.Opcode
FISTPX86.Opcode
FISTPPX86.Opcode
FISTTPX86.Opcode
FISUBX86.Opcode
FISUBRX86.Opcode
FlagX86.Flag
FlagStatusData.SymbolicExpression
FLDX86.Opcode
FLD1X86.Opcode
FLDCWX86.Opcode
FLDENVX86.Opcode
FLDL2EX86.Opcode
FLDL2TX86.Opcode
FLDLG2X86.Opcode
FLDLN2X86.Opcode
FLDPIX86.Opcode
FLDZX86.Opcode
FMULX86.Opcode
FMULPX86.Opcode
FNINITX86.Opcode
FNOPX86.Opcode
FNSTCWX86.Opcode
FPREM1X86.Opcode
FReturnBehaviorAnalysis.Context
FRNDINTX86.Opcode
FromBitModeData.SymbolicExpression
FromCallData.SymbolicExpression
FromMemWriteData.SymbolicExpression
FromNonDeterminismData.SymbolicExpression
FromOverlapData.SymbolicExpression
FromPointerBasesData.SymbolicExpression
fromRegisterData.Variable
FromSemanticsData.SymbolicExpression
FromSourcesData.SymbolicExpression
FromUninitializedMemoryData.SymbolicExpression
FRSTORX86.Opcode
FSX86.Register
FSAVEX86.Opcode
FSCALEX86.Opcode
FSINX86.Opcode
FSINCOSX86.Opcode
FSQRTX86.Opcode
FSTX86.Opcode
FSTCWX86.Opcode
FSTENVX86.Opcode
FSTPX86.Opcode
FSTSWX86.Opcode
FSUBX86.Opcode
FSUBPX86.Opcode
FSUBRX86.Opcode
FSUBRPX86.Opcode
FS_CMPData.SymbolicExpression
FTSTX86.Opcode
FUCOMX86.Opcode
FUCOMIX86.Opcode
FUCOMIPX86.Opcode
FUCOMPX86.Opcode
FUCOMPIX86.Opcode
FUCOMPPX86.Opcode
FunctionBoundaryData.JSON_Taxonomy
FunctionConstraintGeneric.SymbolicConstituents
FunctionPointersGeneric.SymbolicConstituents
FunctionSummary 
1 (Type/Class)Data.JSON_Taxonomy
2 (Data Constructor)Data.JSON_Taxonomy
function_boundariesData.JSON_Taxonomy
function_name_of_entryAnalysis.FunctionNames
function_name_of_instructionAnalysis.FunctionNames
function_summariesData.JSON_Taxonomy
FXAMX86.Opcode
FXCHX86.Opcode
FXRSTORX86.Opcode
FXSAVEX86.Opcode
FXTRACTX86.Opcode
f_ctxtAnalysis.Context
f_entryAnalysis.Context
f_initAnalysis.Context