CBMC
|
Read ELF. More...
#include <iosfwd>
#include <string>
#include <vector>
Go to the source code of this file.
Classes | |
struct | Elf32_Ehdr |
struct | Elf64_Ehdr |
struct | Elf32_Shdr |
struct | Elf64_Shdr |
class | elf_readert |
Macros | |
#define | EI_NIDENT 16 |
Read ELF.
Definition in file elf_reader.h.
#define EI_NIDENT 16 |
Definition at line 34 of file elf_reader.h.
Definition at line 26 of file elf_reader.h.
Definition at line 23 of file elf_reader.h.
Definition at line 24 of file elf_reader.h.
Definition at line 32 of file elf_reader.h.
Definition at line 28 of file elf_reader.h.
Definition at line 29 of file elf_reader.h.
Definition at line 30 of file elf_reader.h.