|
CBMC
|
#include <iosfwd>#include <string>#include <vector>
Include dependency graph for elf_reader.h:
This graph shows which files directly or indirectly include this file: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 |
Typedefs | |
| typedef unsigned short | Elf32_Half |
| typedef unsigned int | Elf32_Word |
| typedef unsigned int | Elf32_Off |
| typedef unsigned int | Elf32_Addr |
| typedef unsigned short | Elf64_Half |
| typedef unsigned int | Elf64_Word |
| typedef unsigned long long int | Elf64_Xword |
| typedef unsigned long long int | Elf64_Off |
| typedef unsigned long long int | Elf64_Addr |
Read ELF
Definition in file elf_reader.h.
| #define EI_NIDENT 16 |
Definition at line 34 of file elf_reader.h.
| typedef unsigned int Elf32_Addr |
Definition at line 26 of file elf_reader.h.
| typedef unsigned short Elf32_Half |
Definition at line 23 of file elf_reader.h.
| typedef unsigned int Elf32_Off |
Definition at line 25 of file elf_reader.h.
| typedef unsigned int Elf32_Word |
Definition at line 24 of file elf_reader.h.
| typedef unsigned long long int Elf64_Addr |
Definition at line 32 of file elf_reader.h.
| typedef unsigned short Elf64_Half |
Definition at line 28 of file elf_reader.h.
| typedef unsigned long long int Elf64_Off |
Definition at line 31 of file elf_reader.h.
| typedef unsigned int Elf64_Word |
Definition at line 29 of file elf_reader.h.
| typedef unsigned long long int Elf64_Xword |
Definition at line 30 of file elf_reader.h.