foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - S

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