CBMC: /home/runner/work/cbmc/cbmc/src/goto-programs/elf_reader.h File Reference

CBMC

Loading...

Searching...

No Matches

Classes | Macros | Typedefs

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.