foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - N

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