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

#include <elf_reader.h>

Public Attributes

unsigned char  e_ident [16]
 
Elf64_Half  e_type
 
Elf64_Half  e_machine
 
Elf64_Word  e_version
 
Elf64_Addr  e_entry
 
Elf64_Off  e_phoff
 
Elf64_Off  e_shoff
 
Elf64_Word  e_flags
 
Elf64_Half  e_ehsize
 
Elf64_Half  e_phentsize
 
Elf64_Half  e_phnum
 
Elf64_Half  e_shentsize
 
Elf64_Half  e_shnum
 
Elf64_Half  e_shstrndx
 

Detailed Description

Definition at line 54 of file elf_reader.h.

Member Data Documentation

◆  e_ehsize

Elf64_Half Elf64_Ehdr::e_ehsize

Definition at line 64 of file elf_reader.h.

◆  e_entry

Elf64_Addr Elf64_Ehdr::e_entry

Definition at line 60 of file elf_reader.h.

◆  e_flags

Elf64_Word Elf64_Ehdr::e_flags

Definition at line 63 of file elf_reader.h.

◆  e_ident

unsigned char Elf64_Ehdr::e_ident[16]

Definition at line 56 of file elf_reader.h.

◆  e_machine

Elf64_Half Elf64_Ehdr::e_machine

Definition at line 58 of file elf_reader.h.

◆  e_phentsize

Elf64_Half Elf64_Ehdr::e_phentsize

Definition at line 65 of file elf_reader.h.

◆  e_phnum

Elf64_Half Elf64_Ehdr::e_phnum

Definition at line 66 of file elf_reader.h.

◆  e_phoff

Elf64_Off Elf64_Ehdr::e_phoff

Definition at line 61 of file elf_reader.h.

◆  e_shentsize

Elf64_Half Elf64_Ehdr::e_shentsize

Definition at line 67 of file elf_reader.h.

◆  e_shnum

Elf64_Half Elf64_Ehdr::e_shnum

Definition at line 68 of file elf_reader.h.

◆  e_shoff

Elf64_Off Elf64_Ehdr::e_shoff

Definition at line 62 of file elf_reader.h.

◆  e_shstrndx

Elf64_Half Elf64_Ehdr::e_shstrndx

Definition at line 69 of file elf_reader.h.

◆  e_type

Elf64_Half Elf64_Ehdr::e_type

Definition at line 57 of file elf_reader.h.

◆  e_version

Elf64_Word Elf64_Ehdr::e_version

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