CBMC
elf_reader.h File Reference

Read ELF. More...

#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
 

Detailed Description

Read ELF.

Definition in file elf_reader.h.

Macro Definition Documentation

◆ EI_NIDENT

#define EI_NIDENT   16

Definition at line 34 of file elf_reader.h.

Typedef Documentation

◆ Elf32_Addr

typedef unsigned int Elf32_Addr

Definition at line 26 of file elf_reader.h.

◆ Elf32_Half

typedef unsigned short Elf32_Half

Definition at line 23 of file elf_reader.h.

◆ Elf32_Off

typedef unsigned int Elf32_Off

Definition at line 25 of file elf_reader.h.

◆ Elf32_Word

typedef unsigned int Elf32_Word

Definition at line 24 of file elf_reader.h.

◆ Elf64_Addr

typedef unsigned long long int Elf64_Addr

Definition at line 32 of file elf_reader.h.

◆ Elf64_Half

typedef unsigned short Elf64_Half

Definition at line 28 of file elf_reader.h.

◆ Elf64_Off

typedef unsigned long long int Elf64_Off

Definition at line 31 of file elf_reader.h.

◆ Elf64_Word

typedef unsigned int Elf64_Word

Definition at line 29 of file elf_reader.h.

◆ Elf64_Xword

typedef unsigned long long int Elf64_Xword

Definition at line 30 of file elf_reader.h.