foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - C

CALLX86.Opcode
callee_saved_registersX86.Conventions
CALLFX86.Opcode
canonicalizeX86.Instruction
CBWX86.Opcode
CDQX86.Opcode
CDQEX86.Opcode
CFX86.Flag
CFG 
1 (Type/Class)Analysis.Context
2 (Data Constructor)Analysis.Context
cfg_addr_to_blockIDAnalysis.Context
cfg_blocksAnalysis.Context
cfg_edgesAnalysis.Context
cfg_freshAnalysis.Context
cfg_genAnalysis.ControlFlow
cfg_instrsAnalysis.Context
cfg_to_dotAnalysis.ControlFlow
CHX86.Register
CLX86.Register
CLCX86.Opcode
CLDX86.Opcode
clean_flgGeneric.SymbolicConstituents
CLFLUSHX86.Opcode
CLIX86.Opcode
CLTSX86.Opcode
CMCX86.Opcode
CMOVAX86.Opcode
CMOVAEX86.Opcode
CMOVBX86.Opcode
CMOVBEX86.Opcode
CMOVCX86.Opcode
CMOVEX86.Opcode
CMOVGX86.Opcode
CMOVGEX86.Opcode
CMOVLX86.Opcode
CMOVLEX86.Opcode
CMOVNAX86.Opcode
CMOVNAEX86.Opcode
CMOVNBX86.Opcode
CMOVNBEX86.Opcode
CMOVNCX86.Opcode
CMOVNEX86.Opcode
CMOVNGX86.Opcode
CMOVNGEX86.Opcode
CMOVNLX86.Opcode
CMOVNLEX86.Opcode
CMOVNOX86.Opcode
CMOVNPX86.Opcode
CMOVNSX86.Opcode
CMOVNZX86.Opcode
CMOVOX86.Opcode
CMOVPX86.Opcode
CMOVPEX86.Opcode
CMOVPOX86.Opcode
CMOVSX86.Opcode
CMOVZX86.Opcode
CMPX86.Opcode
CMPEQSDX86.Opcode
CMPLTSDX86.Opcode
CMPNEQSDX86.Opcode
CMPNLESDX86.Opcode
CMPSX86.Opcode
CMPSBX86.Opcode
CMPSDX86.Opcode
CMPSWX86.Opcode
CMPXCHGX86.Opcode
CMPXCHG16BX86.Opcode
CMPXCHG8BX86.Opcode
COMISDX86.Opcode
COMISSX86.Opcode
ConcreteData.SPointer
Config 
1 (Type/Class)Config
2 (Data Constructor)Config
contains_botData.SymbolicExpression
contains_bot_spData.SymbolicExpression
Context 
1 (Type/Class)Analysis.Context
2 (Data Constructor)Analysis.Context
Context_ 
1 (Type/Class)Analysis.Context
2 (Data Constructor)Analysis.Context
continue_on_unknown_instructionConfig
ControlFlowData.JSON_Taxonomy
control_flowData.JSON_Taxonomy
count_instructions_with_assertionsAnalysis.Context
CPUIDX86.Opcode
CQOX86.Opcode
crossProductBase
crossProduct_sizeBase
CSX86.Register
ctxt_binaryAnalysis.Context
ctxt_callsAnalysis.Context
ctxt_cfgsAnalysis.Context
ctxt_configAnalysis.Context
ctxt_continue_on_unknown_instructionAnalysis.Context
ctxt_ctxt_Analysis.Context
ctxt_dirnameAnalysis.Context
ctxt_entriesAnalysis.Context
ctxt_finitsAnalysis.Context
ctxt_generate_pdfsAnalysis.Context
ctxt_get_controlflowOutputGeneration.Retrieval
ctxt_get_function_entriesOutputGeneration.Retrieval
ctxt_get_function_summaryOutputGeneration.Retrieval
ctxt_get_instructionOutputGeneration.Retrieval
ctxt_get_instructionsOutputGeneration.Retrieval
ctxt_get_instruction_addressesOutputGeneration.Retrieval
ctxt_get_invOutputGeneration.Retrieval
ctxt_indsAnalysis.Context
ctxt_invsAnalysis.Context
ctxt_iorefAnalysis.Context
ctxt_max_expr_sizeAnalysis.Context
ctxt_max_jump_table_sizeAnalysis.Context
ctxt_max_num_of_basesAnalysis.Context
ctxt_max_num_of_casesAnalysis.Context
ctxt_max_num_of_sourcesAnalysis.Context
ctxt_max_timeAnalysis.Context
ctxt_mk_function_boundaryOutputGeneration.Retrieval
ctxt_nameAnalysis.Context
ctxt_postsAnalysis.Context
ctxt_read_L0Analysis.Context
ctxt_recursionsAnalysis.Context
ctxt_relocsAnalysis.Context
ctxt_resolve_mem_operandsOutputGeneration.Retrieval
ctxt_resultsAnalysis.Context
ctxt_runningtimeAnalysis.Context
ctxt_sectionsAnalysis.Context
ctxt_startAnalysis.Context
ctxt_statepartsAnalysis.Context
ctxt_store_assertions_in_L0Analysis.Context
ctxt_store_preconditions_in_L0Analysis.Context
ctxt_symbol_tableAnalysis.Context
ctxt_symsAnalysis.Context
ctxt_vcsAnalysis.Context
ctxt_verboseAnalysis.Context
ctxt_verbose_logsAnalysis.Context
ctxt__callsAnalysis.Context
ctxt__cfgsAnalysis.Context
ctxt__configAnalysis.Context
ctxt__dirnameAnalysis.Context
ctxt__entriesAnalysis.Context
ctxt__finitsAnalysis.Context
ctxt__indsAnalysis.Context
ctxt__invsAnalysis.Context
ctxt__nameAnalysis.Context
ctxt__postsAnalysis.Context
ctxt__recursionsAnalysis.Context
ctxt__relocsAnalysis.Context
ctxt__resultsAnalysis.Context
ctxt__runningtimeAnalysis.Context
ctxt__sectionsAnalysis.Context
ctxt__startAnalysis.Context
ctxt__statepartsAnalysis.Context
ctxt__symsAnalysis.Context
ctxt__vcsAnalysis.Context
ctxt__verboseAnalysis.Context
CVTDQ2PDX86.Opcode
CVTSD2SSX86.Opcode
CVTSI2SDX86.Opcode
CVTSI2SSX86.Opcode
CVTSS2SDX86.Opcode
CVTTPD2DQX86.Opcode
CVTTSD2SIX86.Opcode
CVTTSS2SIX86.Opcode
CWDX86.Opcode
CWDEX86.Opcode
CXX86.Register