#include <elf_reader.h>

Public Attributes
unsigned char	e_ident [16]

Elf64_Half	e_type

Elf64_Half	e_machine

Elf64_Word	e_version

Elf64_Addr	e_entry

Elf64_Off	e_phoff

Elf64_Off	e_shoff

Elf64_Word	e_flags

Elf64_Half	e_ehsize

Elf64_Half	e_phentsize

Elf64_Half	e_phnum

Elf64_Half	e_shentsize

Elf64_Half	e_shnum

Elf64_Half	e_shstrndx

Detailed Description

Definition at line 54 of file elf_reader.h.

Member Data Documentation

◆ e_ehsize

Elf64_Half Elf64_Ehdr::e_ehsize

Definition at line 64 of file elf_reader.h.

◆ e_entry

Elf64_Addr Elf64_Ehdr::e_entry

Definition at line 60 of file elf_reader.h.

◆ e_flags

Elf64_Word Elf64_Ehdr::e_flags

Definition at line 63 of file elf_reader.h.

◆ e_ident

unsigned char Elf64_Ehdr::e_ident[16]

Definition at line 56 of file elf_reader.h.

◆ e_machine

Elf64_Half Elf64_Ehdr::e_machine

Definition at line 58 of file elf_reader.h.

◆ e_phentsize

Elf64_Half Elf64_Ehdr::e_phentsize

Definition at line 65 of file elf_reader.h.

◆ e_phnum

Elf64_Half Elf64_Ehdr::e_phnum

Definition at line 66 of file elf_reader.h.

◆ e_phoff

Elf64_Off Elf64_Ehdr::e_phoff

Definition at line 61 of file elf_reader.h.

◆ e_shentsize

Elf64_Half Elf64_Ehdr::e_shentsize

Definition at line 67 of file elf_reader.h.

◆ e_shnum

Elf64_Half Elf64_Ehdr::e_shnum

Definition at line 68 of file elf_reader.h.

◆ e_shoff

Elf64_Off Elf64_Ehdr::e_shoff

Definition at line 62 of file elf_reader.h.

◆ e_shstrndx

Elf64_Half Elf64_Ehdr::e_shstrndx

Definition at line 69 of file elf_reader.h.

◆ e_type

Elf64_Half Elf64_Ehdr::e_type

Definition at line 57 of file elf_reader.h.

◆ e_version

Elf64_Word Elf64_Ehdr::e_version

Definition at line 59 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