#include <elf_reader.h>

Public Attributes
Elf32_Word	sh_name

Elf32_Word	sh_type

Elf32_Word	sh_flags

Elf32_Addr	sh_addr

Elf32_Off	sh_offset

Elf32_Word	sh_size

Elf32_Word	sh_link

Elf32_Word	sh_info

Elf32_Word	sh_addralign

Elf32_Word	sh_entsize

Detailed Description

Definition at line 72 of file elf_reader.h.

Member Data Documentation

◆ sh_addr

Elf32_Addr Elf32_Shdr::sh_addr

Definition at line 77 of file elf_reader.h.

◆ sh_addralign

Elf32_Word Elf32_Shdr::sh_addralign

Definition at line 82 of file elf_reader.h.

◆ sh_entsize

Elf32_Word Elf32_Shdr::sh_entsize

Definition at line 83 of file elf_reader.h.

◆ sh_flags

Elf32_Word Elf32_Shdr::sh_flags

Definition at line 76 of file elf_reader.h.

◆ sh_info

Elf32_Word Elf32_Shdr::sh_info

Definition at line 81 of file elf_reader.h.

◆ sh_link

Elf32_Word Elf32_Shdr::sh_link

Definition at line 80 of file elf_reader.h.

◆ sh_name

Elf32_Word Elf32_Shdr::sh_name

Definition at line 74 of file elf_reader.h.

◆ sh_offset

Elf32_Off Elf32_Shdr::sh_offset

Definition at line 78 of file elf_reader.h.

◆ sh_size

Elf32_Word Elf32_Shdr::sh_size

Definition at line 79 of file elf_reader.h.

◆ sh_type

Elf32_Word Elf32_Shdr::sh_type

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