#include <elf_reader.h>

Public Attributes
unsigned char	e_ident [16]

Elf32_Half	e_type

Elf32_Half	e_machine

Elf32_Word	e_version

Elf32_Addr	e_entry

Elf32_Off	e_phoff

Elf32_Off	e_shoff

Elf32_Word	e_flags

Elf32_Half	e_ehsize

Elf32_Half	e_phentsize

Elf32_Half	e_phnum

Elf32_Half	e_shentsize

Elf32_Half	e_shnum

Elf32_Half	e_shstrndx

Detailed Description

Definition at line 36 of file elf_reader.h.

Member Data Documentation

◆ e_ehsize

Elf32_Half Elf32_Ehdr::e_ehsize

Definition at line 46 of file elf_reader.h.

◆ e_entry

Elf32_Addr Elf32_Ehdr::e_entry

Definition at line 42 of file elf_reader.h.

◆ e_flags

Elf32_Word Elf32_Ehdr::e_flags

Definition at line 45 of file elf_reader.h.

◆ e_ident

unsigned char Elf32_Ehdr::e_ident[16]

Definition at line 38 of file elf_reader.h.

◆ e_machine

Elf32_Half Elf32_Ehdr::e_machine

Definition at line 40 of file elf_reader.h.

◆ e_phentsize

Elf32_Half Elf32_Ehdr::e_phentsize

Definition at line 47 of file elf_reader.h.

◆ e_phnum

Elf32_Half Elf32_Ehdr::e_phnum

Definition at line 48 of file elf_reader.h.

◆ e_phoff

Elf32_Off Elf32_Ehdr::e_phoff

Definition at line 43 of file elf_reader.h.

◆ e_shentsize

Elf32_Half Elf32_Ehdr::e_shentsize

Definition at line 49 of file elf_reader.h.

◆ e_shnum

Elf32_Half Elf32_Ehdr::e_shnum

Definition at line 50 of file elf_reader.h.

◆ e_shoff

Elf32_Off Elf32_Ehdr::e_shoff

Definition at line 44 of file elf_reader.h.

◆ e_shstrndx

Elf32_Half Elf32_Ehdr::e_shstrndx

Definition at line 51 of file elf_reader.h.

◆ e_type

Elf32_Half Elf32_Ehdr::e_type

Definition at line 39 of file elf_reader.h.

◆ e_version

Elf32_Word Elf32_Ehdr::e_version

Definition at line 41 of file elf_reader.h.

The documentation for this struct was generated from the following file:

/home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-programs/elf_reader.h

Public Attributes