foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - N

nameOutputGeneration.NASM.NASM
NamedElf 
1 (Type/Class)Binary.Elf
2 (Data Constructor)Binary.Elf
NASM 
1 (Type/Class)OutputGeneration.NASM.NASM
2 (Data Constructor)OutputGeneration.NASM.NASM
NASM_AddressOutputGeneration.NASM.NASM
NASM_Address_Computation 
1 (Type/Class)OutputGeneration.NASM.NASM
2 (Data Constructor)OutputGeneration.NASM.NASM
NASM_Addr_ComputeOutputGeneration.NASM.NASM
NASM_Addr_LabelOutputGeneration.NASM.NASM
NASM_Addr_SymbolOutputGeneration.NASM.NASM
nasm_annotOutputGeneration.NASM.NASM
nasm_baseOutputGeneration.NASM.NASM
nasm_blocksOutputGeneration.NASM.NASM
nasm_cfgOutputGeneration.NASM.NASM
NASM_CommentOutputGeneration.NASM.NASM
nasm_commentOutputGeneration.NASM.NASM
NASM_DataEntryOutputGeneration.NASM.NASM
NASM_DataSection 
1 (Type/Class)OutputGeneration.NASM.NASM
2 (Data Constructor)OutputGeneration.NASM.NASM
nasm_data_sectionOutputGeneration.NASM.NASM
nasm_data_section_alignOutputGeneration.NASM.NASM
nasm_data_section_dataOutputGeneration.NASM.NASM
nasm_data_section_labelsOutputGeneration.NASM.NASM
nasm_displaceOutputGeneration.NASM.NASM
nasm_externalsOutputGeneration.NASM.NASM
nasm_footerOutputGeneration.NASM.NASM
nasm_function_nameOutputGeneration.NASM.NASM
nasm_globalsOutputGeneration.NASM.NASM
nasm_indexOutputGeneration.NASM.NASM
NASM_Instruction 
1 (Type/Class)OutputGeneration.NASM.NASM
2 (Data Constructor)OutputGeneration.NASM.NASM
NASM_JumpTargetOutputGeneration.NASM.NASM
NASM_Label 
1 (Data Constructor)OutputGeneration.NASM.NASM
2 (Type/Class)OutputGeneration.NASM.NASM
NASM_Line 
1 (Type/Class)OutputGeneration.NASM.NASM
2 (Data Constructor)OutputGeneration.NASM.NASM
nasm_mnemonicOutputGeneration.NASM.NASM
NASM_OperandOutputGeneration.NASM.NASM
nasm_operandsOutputGeneration.NASM.NASM
NASM_Operand_AddressOutputGeneration.NASM.NASM
NASM_Operand_EffectiveAddressOutputGeneration.NASM.NASM
NASM_Operand_ImmediateOutputGeneration.NASM.NASM
NASM_Operand_MemoryOutputGeneration.NASM.NASM
NASM_Operand_RegOutputGeneration.NASM.NASM
nasm_prefixOutputGeneration.NASM.NASM
nasm_scaleOutputGeneration.NASM.NASM
NASM_SectionOutputGeneration.NASM.NASM
nasm_sectionsOutputGeneration.NASM.NASM
NASM_Section_DataOutputGeneration.NASM.NASM
NASM_Section_TextOutputGeneration.NASM.NASM
nasm_segmentOutputGeneration.NASM.NASM
NASM_SizeDirOutputGeneration.NASM.NASM
NASM_TextSection 
1 (Type/Class)OutputGeneration.NASM.NASM
2 (Data Constructor)OutputGeneration.NASM.NASM
nasm_with_safe_labelsConfig
necessarily_enclosedWithNoAbstraction.Pointers
necessarily_equalWithNoAbstraction.Pointers
necessarily_separateWithNoAbstraction.Pointers
necessarily_separate_expressionsWithNoAbstraction.Pointers
necessarily_separate_no_sizeWithNoAbstraction.Pointers
neFromListBase
NEGData.X86.Opcode
neSetToListBase
new_finitWithAbstractPredicates.Class
NextRipsWithAbstractPredicates.ControlFlow
next_ripsWithAbstractPredicates.ControlFlow
NoneData.SymbolicExpression
NOPData.X86.Opcode
NoSemanticsWithNoAbstraction.SymbolicExecution
NOTData.X86.Opcode
NotData.SymbolicExpression
no_finitWithNoAbstraction.Pointers
num_of_instructionsData.CFG