foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - B

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