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

#include <elf_reader.h>

Public Attributes

unsigned char  e_ident [16]
 
Elf32_Half  e_type
 
Elf32_Half  e_machine
 
Elf32_Word  e_version
 
Elf32_Addr  e_entry
 
Elf32_Off  e_phoff
 
Elf32_Off  e_shoff
 
Elf32_Word  e_flags
 
Elf32_Half  e_ehsize
 
Elf32_Half  e_phentsize
 
Elf32_Half  e_phnum
 
Elf32_Half  e_shentsize
 
Elf32_Half  e_shnum
 
Elf32_Half  e_shstrndx
 

Detailed Description

Definition at line 36 of file elf_reader.h.

Member Data Documentation

◆  e_ehsize

Elf32_Half Elf32_Ehdr::e_ehsize

Definition at line 46 of file elf_reader.h.

◆  e_entry

Elf32_Addr Elf32_Ehdr::e_entry

Definition at line 42 of file elf_reader.h.

◆  e_flags

Elf32_Word Elf32_Ehdr::e_flags

Definition at line 45 of file elf_reader.h.

◆  e_ident

unsigned char Elf32_Ehdr::e_ident[16]

Definition at line 38 of file elf_reader.h.

◆  e_machine

Elf32_Half Elf32_Ehdr::e_machine

Definition at line 40 of file elf_reader.h.

◆  e_phentsize

Elf32_Half Elf32_Ehdr::e_phentsize

Definition at line 47 of file elf_reader.h.

◆  e_phnum

Elf32_Half Elf32_Ehdr::e_phnum

Definition at line 48 of file elf_reader.h.

◆  e_phoff

Elf32_Off Elf32_Ehdr::e_phoff

Definition at line 43 of file elf_reader.h.

◆  e_shentsize

Elf32_Half Elf32_Ehdr::e_shentsize

Definition at line 49 of file elf_reader.h.

◆  e_shnum

Elf32_Half Elf32_Ehdr::e_shnum

Definition at line 50 of file elf_reader.h.

◆  e_shoff

Elf32_Off Elf32_Ehdr::e_shoff

Definition at line 44 of file elf_reader.h.

◆  e_shstrndx

Elf32_Half Elf32_Ehdr::e_shstrndx

Definition at line 51 of file elf_reader.h.

◆  e_type

Elf32_Half Elf32_Ehdr::e_type

Definition at line 39 of file elf_reader.h.

◆  e_version

Elf32_Word Elf32_Ehdr::e_version

Definition at line 41 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 によって変換されたページ (->オリジナル) /