#include <elf_reader.h>

Public Attributes
Elf64_Word	sh_name

Elf64_Word	sh_type

Elf64_Xword	sh_flags

Elf64_Addr	sh_addr

Elf64_Off	sh_offset

Elf64_Xword	sh_size

Elf64_Word	sh_link

Elf64_Word	sh_info

Elf64_Xword	sh_addralign

Elf64_Xword	sh_entsize

Detailed Description

Definition at line 86 of file elf_reader.h.

Member Data Documentation

◆ sh_addr

Elf64_Addr Elf64_Shdr::sh_addr

Definition at line 91 of file elf_reader.h.

◆ sh_addralign

Elf64_Xword Elf64_Shdr::sh_addralign

Definition at line 96 of file elf_reader.h.

◆ sh_entsize

Elf64_Xword Elf64_Shdr::sh_entsize

Definition at line 97 of file elf_reader.h.

◆ sh_flags

Elf64_Xword Elf64_Shdr::sh_flags

Definition at line 90 of file elf_reader.h.

◆ sh_info

Elf64_Word Elf64_Shdr::sh_info

Definition at line 95 of file elf_reader.h.

◆ sh_link

Elf64_Word Elf64_Shdr::sh_link

Definition at line 94 of file elf_reader.h.

◆ sh_name

Elf64_Word Elf64_Shdr::sh_name

Definition at line 88 of file elf_reader.h.

◆ sh_offset

Elf64_Off Elf64_Shdr::sh_offset

Definition at line 92 of file elf_reader.h.

◆ sh_size

Elf64_Xword Elf64_Shdr::sh_size

Definition at line 93 of file elf_reader.h.

◆ sh_type

Elf64_Word Elf64_Shdr::sh_type

Definition at line 89 of file elf_reader.h.

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

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

Public Attributes