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

#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

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