CBMC
Loading...
Searching...
No Matches
Public Attributes | List of all members
Elf32_Shdr Struct Reference

#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

AltStyle によって変換されたページ (->オリジナル) /