name | Data.Variable |
NASM | NASM.L0ToNASM |
nasm_with_safe_labels | Config |
Nat | Generic.SymbolicConstituents |
necessarily_enclosed | Analysis.Pointers |
necessarily_equal | Analysis.Pointers |
necessarily_separate | Analysis.Pointers |
necessarily_separate_expressions | Analysis.Pointers |
necessarily_separate_no_size | Analysis.Pointers |
neFromList | Base |
NEG | X86.Opcode |
neSetToList | Base |
NodeInfo | Analysis.Context |
node_info_of | Analysis.ControlFlow |
None | Data.SymbolicExpression |
NOP | X86.Opcode |
Normal | Analysis.Context |
NOT | X86.Opcode |
Not | Data.SymbolicExpression |
num_of_blocks | OutputGeneration.Metrics |
num_of_edges | OutputGeneration.Metrics |
num_of_instructions | OutputGeneration.Metrics |
num_of_unres_inds_in_cfg | OutputGeneration.Metrics |