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 |
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.