foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index

AAAX86.Opcode
AADX86.Opcode
AAMX86.Opcode
AASX86.Opcode
ADCX86.Opcode
ADDX86.Opcode
ADDPDX86.Opcode
ADDPSX86.Opcode
addr 
1 (Function)Data.JSON_Taxonomy
2 (Function)Data.JSON
Address 
1 (Type/Class)X86.Address
2 (Type/Class)Data.JSON_Taxonomy
3 (Type/Class)Data.JSON
AddressImm 
1 (Data Constructor)Generic.Address
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
AddressMinus 
1 (Data Constructor)Generic.Address
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
addressofX86.Instruction
AddressPlus 
1 (Data Constructor)Generic.Address
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
AddressRegister 
1 (Data Constructor)Data.JSON_Taxonomy
2 (Data Constructor)Data.JSON
AddressStorageGeneric.Address
AddressTimes 
1 (Data Constructor)Generic.Address
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
AddressWord64 
1 (Type/Class)Generic.Address
2 (Data Constructor)Generic.Address
address_has_external_symbolAnalysis.FunctionNames
address_has_instructionAnalysis.Context
ADDSDX86.Opcode
ADDSSX86.Opcode
ADDSUBPDX86.Opcode
ADDUBPSX86.Opcode
add_function_pointerGeneric.SymbolicConstituents
add_jump_to_predGeneric.SymbolicConstituents
AHX86.Register
ALX86.Register
AliassingAnalysis.Context
allpBase
all_bot_satisfyData.SymbolicExpression
ANDX86.Opcode
AndData.SymbolicExpression
ANDNPDX86.Opcode
ANDNPSX86.Opcode
ANDPDX86.Opcode
ANDPSX86.Opcode
annotGeneric.Instruction
ARPLX86.Opcode
AssertionGeneric.SymbolicConstituents
averageBase
AXX86.Register
BasesData.SPointer
bases_of_domainAnalysis.Pointers
Base_FunctionPtrData.SValue
Base_FunctionReturnData.SValue
Base_ImmediateData.SValue
Base_Malloc 
1 (Data Constructor)Data.SValue2
2 (Data Constructor)Data.SValue
Base_ReturnAddrData.SValue
Base_SectionData.SValue2
Base_StackPointer 
1 (Data Constructor)Data.SValue2
2 (Data Constructor)Data.SValue
Base_StatePart 
1 (Data Constructor)Data.SValue2
2 (Data Constructor)Data.SValue
Base_TLS 
1 (Data Constructor)Data.SValue2
2 (Data Constructor)Data.SValue
BHX86.Register
Binary 
1 (Type/Class)Generic.Binary
2 (Data Constructor)Generic.Binary
BinaryClassGeneric.Binary
binary_entryGeneric.Binary
binary_get_relocationsGeneric.Binary
binary_get_sections_infoGeneric.Binary
binary_get_symbolsGeneric.Binary
binary_ppGeneric.Binary
binary_read_dataGeneric.Binary
binary_read_ro_dataGeneric.Binary
binary_text_section_sizeGeneric.Binary
BLX86.Register
BLENDVPDX86.Opcode
BLENDVPSX86.Opcode
BNDX86.Prefix
BotSrcData.SymbolicExpression
BottomData.SymbolicExpression
BotTypData.SymbolicExpression
BOUNDX86.Opcode
BPX86.Register
BPLX86.Register
BSFX86.Opcode
BSRX86.Opcode
BsrData.SymbolicExpression
BSWAPX86.Opcode
BswapData.SymbolicExpression
BTX86.Opcode
BTCX86.Opcode
BTRX86.Opcode
BTSX86.Opcode
BXX86.Register
bytes_to_wordBase
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
DAAX86.Opcode
DASX86.Opcode
DECX86.Opcode
dest 
1 (Function)Generic.Instruction
2 (Function)Data.JSON
destinationData.Variable
DHX86.Register
DIX86.Register
DILX86.Register
DIVX86.Opcode
DivData.SymbolicExpression
DIVPDX86.Opcode
DIVPSX86.Opcode
DIVSDX86.Opcode
DIVSSX86.Opcode
DIV_HIX86.Opcode
DIV_LOX86.Opcode
Div_RemData.SymbolicExpression
DLX86.Register
Domain_BasesAnalysis.Context
Domain_SourcesAnalysis.Context
domFrontierAlgorithm.Dominance
do_propGeneric.SymbolicPropagation
DSX86.Register
DXX86.Register
EAXX86.Register
EBPX86.Register
EBXX86.Register
ECXX86.Register
EdgesBase
EDIX86.Register
EDXX86.Register
EffectiveAddress 
1 (Data Constructor)Generic.Operand
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
EIPX86.Register
EIZX86.Register
elf_read_fileInstantiation.BinaryElf
EMMSX86.Opcode
ENDBR64X86.Opcode
ENTERX86.Opcode
ESX86.Register
ESIX86.Register
ESPX86.Register
evalSstateGeneric.SymbolicConstituents
execSstateGeneric.SymbolicConstituents
existsAndSatisfiesBase
expr_highly_likely_pointerAnalysis.Pointers
expr_is_global_immediateAnalysis.Pointers
expr_is_highly_likely_heap_pointerAnalysis.Pointers
expr_is_highly_likely_local_pointerAnalysis.Pointers
expr_is_maybe_local_pointerAnalysis.Pointers
expr_sizeData.SymbolicExpression
ExternalData.JumpTarget
EXTRACTPSX86.Opcode
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
gather_statepartsInstantiation.SymbolicPropagation
generate_jsonOutputGeneration.JSON
generate_pdfsConfig
GenericAddressGeneric.Address
GenericInstructionGeneric.Instruction
GenericOperandGeneric.Operand, X86.Operand
getNESetOfBase
get_internal_addressesAnalysis.ControlFlow
get_invariantInstantiation.SymbolicPropagation
get_pointer_basesAnalysis.Pointers
get_pointer_domainAnalysis.Pointers
GlobalAddressData.SymbolicExpression
GraphBase
graph_add_edgesBase
graph_deleteBase
graph_find_nextBase
graph_is_edgeBase
graph_is_parentBase
graph_is_vertexBase
graph_nontrivial_sccBase
GSX86.Register
HADDPDX86.Opcode
HADDPSX86.Opcode
HasSizeGeneric.HasSize
has_unknown_offsetData.SValue
hex_colorsBase
hex_color_of_textBase
HLTX86.Opcode
HSUBPDX86.Opcode
HSUBPSX86.Opcode
IDIVX86.Opcode
IDIV_HIX86.Opcode
IDIV_LOX86.Opcode
Immediate 
1 (Data Constructor)Generic.Operand
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
ImmediateAddressData.JumpTarget
impliesGeneric.SymbolicPropagation
IMULX86.Opcode
IMUL_HIX86.Opcode
IMUL_LOX86.Opcode
im_lookupBase
INX86.Opcode
INCX86.Opcode
indexData.Variable
IndirectionAnalysis.Context
IndirectionsAnalysis.Context
Indirection_JumpTableAnalysis.Context
Indirection_ResolvedAnalysis.Context
Indirection_UnresolvedAnalysis.Context
init_contextAnalysis.Context
init_finitAnalysis.Context
init_predInstantiation.SymbolicPropagation
INSX86.Opcode
INSDX86.Opcode
Instruction 
1 (Data Constructor)Generic.Instruction
2 (Type/Class)X86.Instruction
3 (Type/Class)Data.JSON_Taxonomy
4 (Data Constructor)Data.JSON_Taxonomy
5 (Type/Class)Data.JSON
6 (Data Constructor)Data.JSON
instructionsData.JSON_Taxonomy
INTX86.Opcode
INT3X86.Opcode
Internal_LabelGeneric.Binary
INTOX86.Opcode
InvalidFlagX86.Flag
InvalidOpcodeX86.Opcode
InvalidPrefixX86.Prefix
InvalidRegisterX86.Register
InvariantData.JSON_Taxonomy
InvariantsAnalysis.Context
invariantsData.JSON_Taxonomy
invariant_to_finitInstantiation.SymbolicPropagation
INVDX86.Opcode
INVLPGX86.Opcode
INVPCIDX86.Opcode
IRETX86.Opcode
IRETDX86.Opcode
IRETQX86.Opcode
isCallX86.Opcode
isConcrete 
1 (Function)Data.SValue2
2 (Function)Data.SValue
3 (Function)Data.SPointer
isCondJumpX86.Opcode
isHaltX86.Opcode
isImmediateData.SValue2
isImmediateBaseData.SValue
isImmediateExprData.SValue2
isJumpX86.Opcode
isLowData.Variable
isPointerData.SValue2
isRetX86.Opcode
isSectionPtrData.SValue2
isSSAData.Variable
isStackPointerData.SValue2
isTerminalAnalysis.ControlFlow
is_assertionAnalysis.Context
is_end_nodeAnalysis.ControlFlow
is_exiting_function_callX86.Conventions
is_external_symbolGeneric.Binary
is_functionpointersAnalysis.Context
is_func_constraintAnalysis.Context
is_heap_pointer_domainAnalysis.Pointers
is_immediateData.SymbolicExpression
is_internal_symbolGeneric.Binary
is_local_pointer_domainAnalysis.Pointers
is_mem_spData.SymbolicExpression
is_preconditionAnalysis.Context
is_reg_spData.SymbolicExpression
is_roughly_an_addressAnalysis.Context
is_src_memAnalysis.Pointers
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
labelGeneric.Instruction
LAHFX86.Opcode
LARX86.Opcode
LDDQUX86.Opcode
LDMXCSRX86.Opcode
LDSX86.Opcode
LEAX86.Opcode
LEAVEX86.Opcode
LESX86.Opcode
LFENCEX86.Opcode
LFSX86.Opcode
LGDTX86.Opcode
LGSX86.Opcode
LIDTX86.Opcode
liftOffsetModData.SValue
lift_L0_to_NASMNASM.L0ToNASM
lift_to_L0Algorithm.L0_Lifting
LLDTX86.Opcode
LMSWX86.Opcode
LOCKX86.Prefix
LODSX86.Opcode
LODSBX86.Opcode
LODSDX86.Opcode
LODSWX86.Opcode
LOOPX86.Opcode
LOOPEX86.Opcode
LOOPNEX86.Opcode
LSLX86.Opcode
LSSX86.Opcode
LTRX86.Opcode
macho_read_fileInstantiation.BinaryMacho
MallocData.SymbolicExpression
MASKMOVQX86.Opcode
MAXPDX86.Opcode
MAXPSX86.Opcode
MAXSDX86.Opcode
MAXSSX86.Opcode
max_expr_sizeConfig
max_jump_table_sizeConfig
max_num_of_basesConfig
max_num_of_casesConfig
max_num_of_sourcesConfig
max_timeConfig
maybe_operand_sizeGeneric.SymbolicConstituents
Memory 
1 (Data Constructor)Generic.Operand
2 (Data Constructor)Data.JSON_Taxonomy
3 (Data Constructor)Data.JSON
MemRelationAnalysis.Context
MFENCEX86.Opcode
MINPDX86.Opcode
MINPSX86.Opcode
MINSDX86.Opcode
MINSSX86.Opcode
MinusData.SymbolicExpression
mk_fcontextAnalysis.Context
mk_json_addressData.JSON_Taxonomy
mk_json_instructionData.JSON_Taxonomy
mk_json_operandData.JSON_Taxonomy
mk_json_postData.JSON_Taxonomy
mk_json_predicateData.JSON_Taxonomy
mk_metricsOutputGeneration.Metrics
mod_offsetData.SValue
MONITORX86.Opcode
MOVX86.Opcode
MOVABSX86.Opcode
MOVAPDX86.Opcode
MOVAPSX86.Opcode
MOVDX86.Opcode
MOVDDUPX86.Opcode
MOVDQAX86.Opcode
MOVDQUX86.Opcode
MOVHLPSX86.Opcode
MOVHPDX86.Opcode
MOVHPSX86.Opcode
MOVLHPSX86.Opcode
MOVLPDX86.Opcode
MOVLPSX86.Opcode
MOVLSDUPX86.Opcode
MOVMSKPDX86.Opcode
MOVMSKPSX86.Opcode
MOVNTDQX86.Opcode
MOVNTPDX86.Opcode
MOVNTPSX86.Opcode
MOVNTQX86.Opcode
MOVQX86.Opcode
MOVSX86.Opcode
MOVSBX86.Opcode
MOVSDX86.Opcode
MOVSLDUPX86.Opcode
MOVSQX86.Opcode
MOVSSX86.Opcode
MOVSWX86.Opcode
MOVSXX86.Opcode
MOVSXBX86.Opcode
MOVSXDX86.Opcode
MOVSXWX86.Opcode
MOVUPDX86.Opcode
MOVUPSX86.Opcode
MOVZXX86.Opcode
MOVZXBX86.Opcode
MOVZXWX86.Opcode
MULX86.Opcode
MULPDX86.Opcode
MULPSX86.Opcode
MULSDX86.Opcode
MULSSX86.Opcode
MUL_HIX86.Opcode
MUL_LOX86.Opcode
MWAITX86.Opcode
nameData.Variable
NASMNASM.L0ToNASM
nasm_with_safe_labelsConfig
NatGeneric.SymbolicConstituents
necessarily_enclosedAnalysis.Pointers
necessarily_equalAnalysis.Pointers
necessarily_separateAnalysis.Pointers
necessarily_separate_expressionsAnalysis.Pointers
necessarily_separate_no_sizeAnalysis.Pointers
neFromListBase
NEGX86.Opcode
neSetToListBase
NodeInfoAnalysis.Context
node_info_ofAnalysis.ControlFlow
NoneData.SymbolicExpression
NOPX86.Opcode
NormalAnalysis.Context
NOTX86.Opcode
NotData.SymbolicExpression
num_of_blocksOutputGeneration.Metrics
num_of_edgesOutputGeneration.Metrics
num_of_instructionsOutputGeneration.Metrics
num_of_unres_inds_in_cfgOutputGeneration.Metrics
OFX86.Flag
onlyWhenBase
OpcodeX86.Opcode
opcode 
1 (Function)Generic.Instruction
2 (Function)Data.JSON_Taxonomy
3 (Function)Data.JSON
Operand 
1 (Type/Class)X86.Operand
2 (Type/Class)Data.JSON_Taxonomy
3 (Type/Class)Data.JSON
operandsData.JSON_Taxonomy
operand_sizeGeneric.SymbolicConstituents
operand_static_resolveAnalysis.FunctionNames
OperatorData.SymbolicExpression
ORX86.Opcode
OrData.SymbolicExpression
orElseBase
ORPDX86.Opcode
ORPSX86.Opcode
orTryBase
OUTX86.Opcode
OUTSX86.Opcode
overlappingX86.Register
PACKSSDWX86.Opcode
PACKSSWBX86.Opcode
PADDBX86.Opcode
PADDDX86.Opcode
PADDQX86.Opcode
PADDSBX86.Opcode
PADDSWX86.Opcode
PADDUSBX86.Opcode
PADDUSWX86.Opcode
PADDWX86.Opcode
pairBase
PALIGNRX86.Opcode
PANDX86.Opcode
PANDNX86.Opcode
parameter_registersX86.Conventions
parse_configConfig
partitionWithBase
PAUSEX86.Opcode
PAVGBX86.Opcode
PAVGWX86.Opcode
PBLENDWX86.Opcode
PCLMULQDQX86.Opcode
PCMPEQBX86.Opcode
PCMPEQDX86.Opcode
PCMPGTBX86.Opcode
PCMPGTDX86.Opcode
PextrData.SymbolicExpression
PEXTRBX86.Opcode
PEXTRDX86.Opcode
PEXTRQX86.Opcode
PFX86.Flag
PHADDDX86.Opcode
PINSRBX86.Opcode
PINSRDX86.Opcode
PINSRQX86.Opcode
PlusData.SymbolicExpression
PMADDWDX86.Opcode
PMAXSDX86.Opcode
PMAXSWX86.Opcode
PMAXUBX86.Opcode
PMAXUDX86.Opcode
PMAXUQX86.Opcode
PMINSDX86.Opcode
PMINSWX86.Opcode
PMINUBX86.Opcode
PMINUDX86.Opcode
PMOVMSKBX86.Opcode
PMOVSXBDX86.Opcode
PMOVSXDQX86.Opcode
PMOVZXBDX86.Opcode
PMOVZXDQX86.Opcode
PMULHUWX86.Opcode
PMULHWX86.Opcode
PMULLDX86.Opcode
PMULLQX86.Opcode
PMULLWX86.Opcode
PMULUDQX86.Opcode
PointerBaseData.SymbolicExpression
PointerDomainAnalysis.Context
pointers_from_different_global_sectionAnalysis.Pointers
PointerToSymbolData.SymbolicExpression
pointer_bases_separateAnalysis.Pointers
pointer_bases_separate_necessarilyAnalysis.Pointers
pointer_bases_separate_possiblyAnalysis.Pointers
pointer_domainsData.JSON_Taxonomy
POPX86.Opcode
POPAX86.Opcode
POPADX86.Opcode
POPFX86.Opcode
POPFDX86.Opcode
POPFQX86.Opcode
PORX86.Opcode
postAnalysis.ControlFlow
PostconditionData.JSON_Taxonomy
postconditionData.JSON_Taxonomy
PostconditionsAnalysis.Context
pp_exprData.SymbolicExpression
pp_instructionAnalysis.Context
PreconditionGeneric.SymbolicConstituents
preconditionData.JSON_Taxonomy
Predicate 
1 (Type/Class)Analysis.Context
2 (Type/Class)Data.JSON_Taxonomy
PREFETCHNTAX86.Opcode
PREFETCHT0X86.Opcode
PREFETCHT1X86.Opcode
PREFETCHT2X86.Opcode
PrefixX86.Prefix
prefix 
1 (Function)Generic.Instruction
2 (Function)Data.JSON_Taxonomy
3 (Function)Data.JSON
PropagatorGeneric.SymbolicPropagation
PSADBWX86.Opcode
PSHUFBX86.Opcode
PSHUFDX86.Opcode
PSHUFLWX86.Opcode
PSLLDX86.Opcode
PSLLDQX86.Opcode
PSLLQX86.Opcode
PSLLWX86.Opcode
PSRADX86.Opcode
PSRAWX86.Opcode
PSRLDX86.Opcode
PSRLDQX86.Opcode
PSRLQX86.Opcode
PSRLWX86.Opcode
PSUBBX86.Opcode
PSUBDX86.Opcode
PSUBQX86.Opcode
PSUBSBX86.Opcode
PSUBSQX86.Opcode
PSUBUSBX86.Opcode
PSUBUSWX86.Opcode
PSUBWX86.Opcode
PTESTX86.Opcode
PtrOffset 
1 (Type/Class)Data.SValue
2 (Data Constructor)Data.SValue
PtrValueData.SValue2
PUNPCKLBWX86.Opcode
PUNPCKLDQX86.Opcode
PUNPCKLQDQX86.Opcode
PUNPCKLWDX86.Opcode
purge_contextAnalysis.Context
PUSHX86.Opcode
PUSHAX86.Opcode
PUSHADX86.Opcode
PUSHFX86.Opcode
PUSHFDX86.Opcode
PUSHFQX86.Opcode
putNESetOfBase
PXORX86.Opcode
quotientByBase
R10X86.Register
R10BX86.Register
R10DX86.Register
R10WX86.Register
R11X86.Register
R11BX86.Register
R11DX86.Register
R11WX86.Register
R12X86.Register
R12BX86.Register
R12DX86.Register
R12WX86.Register
R13X86.Register
R13BX86.Register
R13DX86.Register
R13WX86.Register
R14X86.Register
R14BX86.Register
R14DX86.Register
R14WX86.Register
R15X86.Register
R15BX86.Register
R15DX86.Register
R15WX86.Register
R8X86.Register
R8BX86.Register
R8DX86.Register
R8WX86.Register
R9X86.Register
R9BX86.Register
R9DX86.Register
R9WX86.Register
RAXX86.Register
RBPX86.Register
RBXX86.Register
RCLX86.Opcode
RCPPSX86.Opcode
RCPSSX86.Opcode
RCRX86.Opcode
RCXX86.Register
RDIX86.Register
RDMSRX86.Opcode
RDPMCX86.Opcode
RDTSCX86.Opcode
RDXX86.Register
readHex'Base
read_binaryAnalysis.Context
read_from_datasectionAnalysis.Context
read_from_ro_datasectionAnalysis.Context
realX86.Register
RegData.JSON
reg128X86.Register
reg16X86.Register
reg256X86.Register
reg32X86.Register
reg64X86.Register
reg8X86.Register
reg80X86.Register
RegionSizeGeneric.SymbolicConstituents
Register 
1 (Type/Class)X86.Register
2 (Data Constructor)Data.JSON_Taxonomy
Relocated_FunctionGeneric.Binary
Relocated_LabelGeneric.Binary
Relocation 
1 (Type/Class)Generic.Binary
2 (Data Constructor)Generic.Binary
render_NASMNASM.L0ToNASM
REPX86.Prefix
REPNEX86.Prefix
REPZX86.Prefix
ResolvedJumpTargetData.JumpTarget
resolve_jump_targetAnalysis.ControlFlow
RETX86.Opcode
RETFX86.Opcode
RETNX86.Opcode
ReturningWith 
1 (Data Constructor)Analysis.Context
2 (Data Constructor)Data.JSON_Taxonomy
return_registersX86.Conventions
RIPX86.Register
RIZX86.Register
ROLX86.Opcode
RolData.SymbolicExpression
RORX86.Opcode
RorData.SymbolicExpression
ROUNDSDX86.Opcode
ROUNDSSX86.Opcode
RSIX86.Register
RSMX86.Opcode
RSPX86.Register
RSQRTPSX86.Opcode
RSQRTSSX86.Opcode
SAddendData.SValue
SAddends 
1 (Data Constructor)Data.SValue2
2 (Data Constructor)Data.SValue
SAddend_FunctionPtrData.SValue
SAddend_FunctionReturnData.SValue
SAddend_ImmediateData.SValue
SAddend_MallocData.SValue
SAddend_ReturnAddrData.SValue
SAddend_StackPointerData.SValue
SAddend_StatePartData.SValue
SAddend_TLSData.SValue
saddress_has_instructionGeneric.SymbolicConstituents
SAHFX86.Opcode
SALX86.Opcode
saliasGeneric.SymbolicConstituents
SARX86.Opcode
SarData.SymbolicExpression
SBBX86.Opcode
scallGeneric.SymbolicConstituents
SCASX86.Opcode
SCASBX86.Opcode
SCASDX86.Opcode
SConcrete 
1 (Data Constructor)Data.SValue2
2 (Data Constructor)Data.SValue
SectionsInfo 
1 (Type/Class)Generic.Binary
2 (Data Constructor)Generic.Binary
sections_with_instructionsX86.Conventions
section_is_unwritableX86.Conventions
senclosedGeneric.SymbolicConstituents
SeparateAnalysis.Context
separate_pointer_domainsAnalysis.Pointers
SETAX86.Opcode
SETAEX86.Opcode
SETBX86.Opcode
SETBEX86.Opcode
SETCX86.Opcode
SETEX86.Opcode
SETGX86.Opcode
SETGEX86.Opcode
SETLX86.Opcode
SETLEX86.Opcode
SETNAX86.Opcode
SETNAEX86.Opcode
SETNBX86.Opcode
SETNBEX86.Opcode
SETNCX86.Opcode
SETNEX86.Opcode
SETNGX86.Opcode
SETNGEX86.Opcode
SETNLX86.Opcode
SETNLEX86.Opcode
SETNOX86.Opcode
SETNPX86.Opcode
SETNSX86.Opcode
SETNZX86.Opcode
SETOX86.Opcode
SETPX86.Opcode
SETPEX86.Opcode
SETPOX86.Opcode
SETSX86.Opcode
SETZX86.Opcode
set_ctxt_callsAnalysis.Context
set_ctxt_cfgsAnalysis.Context
set_ctxt_entriesAnalysis.Context
set_ctxt_finitsAnalysis.Context
set_ctxt_indsAnalysis.Context
set_ctxt_invsAnalysis.Context
set_ctxt_postsAnalysis.Context
set_ctxt_recursionsAnalysis.Context
set_ctxt_relocsAnalysis.Context
set_ctxt_resultsAnalysis.Context
set_ctxt_runningtimeAnalysis.Context
set_ctxt_sectionsAnalysis.Context
set_ctxt_startAnalysis.Context
set_ctxt_statepartsAnalysis.Context
set_ctxt_symsAnalysis.Context
set_ctxt_vcsAnalysis.Context
sexec_blockGeneric.SymbolicConstituents
sexec_cinstrGeneric.SymbolicConstituents
sexec_instrGeneric.SymbolicConstituents
sextend_16_64Data.SymbolicExpression
sextend_32_64Data.SymbolicExpression
sextend_8_64Data.SymbolicExpression
SE_BitData.SymbolicExpression
SE_ImmediateData.SymbolicExpression
SE_MallocData.SymbolicExpression
SE_OpData.SymbolicExpression
SE_OverwriteData.SymbolicExpression
SE_SExtendData.SymbolicExpression
SE_StatePartData.SymbolicExpression
SE_VarData.SymbolicExpression
SFX86.Flag
SFENCEX86.Opcode
sflagsGeneric.SymbolicConstituents
sflg_semanticsGeneric.SymbolicConstituents
SGDTX86.Opcode
sgeneric_cinstrGeneric.SymbolicConstituents
SHLX86.Opcode
ShlData.SymbolicExpression
SHLDX86.Opcode
showHexBase
showHex_listBase
showHex_optionBase
showHex_setBase
show_blockAnalysis.ControlFlow
show_invariantsAnalysis.ControlFlow
show_set 
1 (Function)Data.SValue2
2 (Function)Data.SValue
3 (Function)Data.SPointer
SHRX86.Opcode
ShrData.SymbolicExpression
SHRDX86.Opcode
SHUFPSX86.Opcode
SIX86.Register
SIDTX86.Opcode
SILX86.Register
simmediateGeneric.SymbolicConstituents
simpData.SymbolicExpression
SimpleExprData.SymbolicExpression
simpliesGeneric.SymbolicConstituents
size 
1 (Function)Data.Variable
2 (Function)Data.JSON_Taxonomy
3 (Function)Data.JSON
sizeofGeneric.HasSize
si_max_addressGeneric.Binary
si_min_addressGeneric.Binary
si_sectionsGeneric.Binary
sjoin_memGeneric.SymbolicConstituents
sjoin_pointersGeneric.SymbolicConstituents
sjoin_statesGeneric.SymbolicConstituents
sjoin_valuesGeneric.SymbolicConstituents
sjumpGeneric.SymbolicConstituents
SLDTX86.Opcode
sleaGeneric.SymbolicConstituents
smemGeneric.SymbolicConstituents
smk_init_mem_valueGeneric.SymbolicConstituents
smk_init_reg_valueGeneric.SymbolicConstituents
smk_mem_addressesGeneric.SymbolicConstituents
smovGeneric.SymbolicConstituents
SMSWX86.Opcode
sourceData.Variable
SourcesData.SPointer
sources_separateAnalysis.Pointers
sources_separate_necessarilyAnalysis.Pointers
sources_separate_possiblyAnalysis.Pointers
source_sets_separateAnalysis.Pointers
soverwrite_regGeneric.SymbolicConstituents
SO_BitGeneric.SymbolicConstituents
SO_MinusGeneric.SymbolicConstituents
SO_OpGeneric.SymbolicConstituents
SO_OverwriteGeneric.SymbolicConstituents
SO_PlusGeneric.SymbolicConstituents
SO_SExtendGeneric.SymbolicConstituents
SO_TimesGeneric.SymbolicConstituents
SPX86.Register
SPLX86.Register
SPointer 
1 (Data Constructor)Data.SValue2
2 (Type/Class)Data.SValue
3 (Type/Class)Data.SPointer
SP_MemData.SymbolicExpression
SP_RegData.SymbolicExpression
SP_StackPointerData.SymbolicExpression
SQRTPDX86.Opcode
SQRTPSX86.Opcode
SQRTSDX86.Opcode
SQRTSSX86.Opcode
srcs 
1 (Function)Generic.Instruction
2 (Function)Data.JSON
srcs_of_baseAnalysis.Pointers
srcs_of_bottypAnalysis.Pointers
srcs_of_exprAnalysis.Pointers
Src_FunctionData.SymbolicExpression
Src_ImmediateAddressData.SymbolicExpression
Src_ImmediateConstantsData.SymbolicExpression
Src_MallocData.SymbolicExpression
Src_MemData.SymbolicExpression
Src_StackPointerData.SymbolicExpression
Src_VarData.SymbolicExpression
sread_from_ro_dataGeneric.SymbolicConstituents
sread_memGeneric.SymbolicConstituents
sread_mem_from_ptrGeneric.SymbolicConstituents
sread_operandGeneric.SymbolicConstituents
sread_regGeneric.SymbolicConstituents
sread_rregGeneric.SymbolicConstituents
sregsGeneric.SymbolicConstituents
sresolve_addressGeneric.SymbolicConstituents
sreturnGeneric.SymbolicConstituents
SSX86.Register
ssemanticsGeneric.SymbolicConstituents
ssensitiveGeneric.SymbolicConstituents
sseparateGeneric.SymbolicConstituents
sset_ripGeneric.SymbolicConstituents
SSP_MemAnalysis.Context
SSP_RegAnalysis.Context
Sstate 
1 (Type/Class)Generic.SymbolicConstituents
2 (Data Constructor)Generic.SymbolicConstituents
SStatePartAnalysis.Context
ST0X86.Register
ST1X86.Register
ST2X86.Register
ST3X86.Register
ST4X86.Register
ST5X86.Register
ST6X86.Register
ST7X86.Register
StackPointerData.SymbolicExpression
StatePartData.SymbolicExpression
static_resolve_rip_exprAnalysis.FunctionNames
STCX86.Opcode
STDX86.Opcode
stepAAnalysis.ControlFlow
STIX86.Opcode
STMXCSRX86.Opcode
StorageGeneric.Operand
store_assertions_in_L0Config
store_preconditions_in_L0Config
STOSX86.Opcode
STOSBX86.Opcode
STOSDX86.Opcode
STOSQX86.Opcode
STRX86.Opcode
strip_GLIBCX86.Conventions
strip_parenthesesBase
stry_deterministicGeneric.SymbolicConstituents
stry_immediateGeneric.SymbolicConstituents
stry_jump_targetsGeneric.SymbolicConstituents
stry_relocationGeneric.SymbolicConstituents
SUBX86.Opcode
SUBPDX86.Opcode
SUBPSX86.Opcode
SUBSDX86.Opcode
SUBSSX86.Opcode
supremumGeneric.SymbolicConstituents
SValue 
1 (Type/Class)Data.SValue2
2 (Type/Class)Data.SValue
SWAPGSX86.Opcode
swiden_valuesGeneric.SymbolicConstituents
swrite_flagsGeneric.SymbolicConstituents
swrite_memGeneric.SymbolicConstituents
swrite_mem_to_ptrGeneric.SymbolicConstituents
swrite_operandGeneric.SymbolicConstituents
swrite_regGeneric.SymbolicConstituents
swrite_rregGeneric.SymbolicConstituents
SymbolGeneric.Binary
SymbolicExecutableGeneric.SymbolicConstituents
SymbolicOperationGeneric.SymbolicConstituents
SymbolTable 
1 (Type/Class)Generic.Binary
2 (Data Constructor)Generic.Binary
symbol_to_nameGeneric.Binary
SYSCALLX86.Opcode
SYSENTERX86.Opcode
SYSEXITX86.Opcode
SYSRETX86.Opcode
takeUntilStringBase
tauGeneric.SymbolicPropagation
TEMPX86.Register
TerminalAnalysis.Context
Terminating 
1 (Data Constructor)Analysis.Context
2 (Data Constructor)Data.JSON_Taxonomy
TESTX86.Opcode
ThreadLocalStorageData.SymbolicExpression
TimesData.SymbolicExpression
Top 
1 (Data Constructor)Data.SValue2
2 (Data Constructor)Data.SValue
3 (Data Constructor)Data.SPointer
topGeneric.SymbolicConstituents
UCOMISDX86.Opcode
UCOMISSX86.Opcode
UD2X86.Opcode
UdivData.SymbolicExpression
UnknownAnalysis.Context
UnknownOffsetData.SValue
UnknownRetBehavior 
1 (Data Constructor)Analysis.Context
2 (Data Constructor)Data.JSON_Taxonomy
UnknownSizeGeneric.SymbolicConstituents
UNPCKHPDX86.Opcode
UNPCKHPSX86.Opcode
UNPCKLPDX86.Opcode
UNPCKLPSX86.Opcode
UnresolvedData.JumpTarget
UnresolvedIndirectionAnalysis.Context
UnverifiedAnalysis.Context
VADDPDX86.Opcode
VADDPSX86.Opcode
VANDPDX86.Opcode
VANDPSX86.Opcode
Variable 
1 (Type/Class)Data.Variable
2 (Data Constructor)Data.Variable
VariableConversion 
1 (Type/Class)Data.Variable
2 (Data Constructor)Data.Variable
VBLENDPSX86.Opcode
VCSGeneric.SymbolicConstituents
verbose_logsConfig
VerificationConditionGeneric.SymbolicConstituents
VerificationErrorAnalysis.Context
VerificationResultAnalysis.Context
VerificationSuccessAnalysis.Context
VerificationSuccesWithAssumptionsAnalysis.Context
VerificationUnresolvedIndirectionAnalysis.Context
VERRX86.Opcode
VERWX86.Opcode
VEXTRACTF128X86.Opcode
VEXTRACTI128X86.Opcode
VINSERTF128X86.Opcode
VMCALLX86.Opcode
VMCLEARX86.Opcode
VMLAUNCHX86.Opcode
VMOVAPDX86.Opcode
VMOVAPSX86.Opcode
VMOVDX86.Opcode
VMOVDQAX86.Opcode
VMOVDQUX86.Opcode
VMOVHPSX86.Opcode
VMOVLHPSX86.Opcode
VMPTRLDX86.Opcode
VMPTRSTX86.Opcode
VMREADX86.Opcode
VMRESUMEX86.Opcode
VMULPDX86.Opcode
VMULPSX86.Opcode
VMWRITEX86.Opcode
VMXOFFX86.Opcode
VMXONX86.Opcode
VPALIGNRX86.Opcode
VPANDX86.Opcode
VPANDNX86.Opcode
VPCMPEQBX86.Opcode
VPCMPEQWX86.Opcode
VPERM2F128X86.Opcode
VPERM2I128X86.Opcode
VPERMILPSX86.Opcode
VPORX86.Opcode
VPSHUFBX86.Opcode
VPSHUFDX86.Opcode
VPSLLWX86.Opcode
VPUNPCKHWDX86.Opcode
VPUNPCKLWDX86.Opcode
VPXORX86.Opcode
VSHUFPDX86.Opcode
VSHUFPSX86.Opcode
VSUBPDX86.Opcode
VSUBPSX86.Opcode
VUNPCKHPSX86.Opcode
VUNPCKLPSX86.Opcode
VXORPDX86.Opcode
VXORPSX86.Opcode
VZEROUPPERX86.Opcode
WAITX86.Opcode
WBINVDX86.Opcode
word_to_sintBase
WRFSBASEX86.Opcode
WRGSBASEX86.Opcode
WRMSRX86.Opcode
XADDX86.Opcode
XCHGX86.Opcode
XGETBVX86.Opcode
XLATX86.Opcode
XLATBX86.Opcode
XMM0X86.Register
XMM1X86.Register
XMM10X86.Register
XMM11X86.Register
XMM12X86.Register
XMM13X86.Register
XMM14X86.Register
XMM15X86.Register
XMM2X86.Register
XMM3X86.Register
XMM4X86.Register
XMM5X86.Register
XMM6X86.Register
XMM7X86.Register
XMM8X86.Register
XMM9X86.Register
XORX86.Opcode
XorData.SymbolicExpression
XORPDX86.Opcode
XORPSX86.Opcode
XRSTORX86.Opcode
XSAVEOPTX86.Opcode
XSETBVX86.Opcode
YMM0X86.Register
YMM1X86.Register
YMM10X86.Register
YMM11X86.Register
YMM12X86.Register
YMM13X86.Register
YMM14X86.Register
YMM15X86.Register
YMM2X86.Register
YMM3X86.Register
YMM4X86.Register
YMM5X86.Register
YMM6X86.Register
YMM7X86.Register
YMM8X86.Register
YMM9X86.Register
ZFX86.Flag
__gmon_start_implementationNASM.L0ToNASM