#include <elf_reader.h>
Collaboration diagram for elf_readert:Public Types | |
| enum | elf_classt { ELF32 =1 , ELF64 =2 } |
| typedef std::vector< Elf32_Shdr > | elf32_section_header_tablet |
| typedef std::vector< Elf64_Shdr > | elf64_section_header_tablet |
Public Member Functions | |
| elf_readert (std::istream &_in) | |
| std::string | get_string (std::streampos index) const |
| std::string | elf32_section_name (std::size_t index) const |
| std::string | elf64_section_name (std::size_t index) const |
| std::string | section_name (std::size_t index) const |
| std::streampos | section_offset (std::size_t index) const |
| bool | has_section (const std::string &name) const |
Public Attributes | |
| elf_classt | elf_class |
| Elf32_Ehdr | elf32_header |
| Elf64_Ehdr | elf64_header |
| bool | little_endian |
| elf32_section_header_tablet | elf32_section_header_table |
| elf64_section_header_tablet | elf64_section_header_table |
| std::streampos | string_table_offset |
| std::size_t | number_of_sections |
Protected Attributes | |
| std::istream & | in |
Detailed Description
Definition at line 100 of file elf_reader.h.
Member Typedef Documentation
◆ elf32_section_header_tablet
| typedef std::vector<Elf32_Shdr> elf_readert::elf32_section_header_tablet |
Definition at line 115 of file elf_reader.h.
◆ elf64_section_header_tablet
| typedef std::vector<Elf64_Shdr> elf_readert::elf64_section_header_tablet |
Definition at line 118 of file elf_reader.h.
Member Enumeration Documentation
◆ elf_classt
| Enumerator | |
|---|---|
| ELF32 | |
| ELF64 | |
Definition at line 105 of file elf_reader.h.
Constructor & Destructor Documentation
◆ elf_readert()
|
explicit |
Definition at line 52 of file elf_reader.cpp.
Member Function Documentation
◆ elf32_section_name()
|
inline |
Definition at line 125 of file elf_reader.h.
◆ elf64_section_name()
|
inline |
Definition at line 130 of file elf_reader.h.
◆ get_string()
| std::string elf_readert::get_string | ( | std::streampos | index | ) | const |
Definition at line 227 of file elf_reader.cpp.
◆ has_section()
| bool elf_readert::has_section | ( | const std::string & | name | ) | const |
Definition at line 245 of file elf_reader.cpp.
◆ section_name()
|
inline |
Definition at line 137 of file elf_reader.h.
◆ section_offset()
|
inline |
Definition at line 144 of file elf_reader.h.
Member Data Documentation
◆ elf32_header
| Elf32_Ehdr elf_readert::elf32_header |
Definition at line 109 of file elf_reader.h.
◆ elf32_section_header_table
| elf32_section_header_tablet elf_readert::elf32_section_header_table |
Definition at line 116 of file elf_reader.h.
◆ elf64_header
| Elf64_Ehdr elf_readert::elf64_header |
Definition at line 110 of file elf_reader.h.
◆ elf64_section_header_table
| elf64_section_header_tablet elf_readert::elf64_section_header_table |
Definition at line 119 of file elf_reader.h.
◆ elf_class
| elf_classt elf_readert::elf_class |
Definition at line 106 of file elf_reader.h.
◆ in
|
protected |
Definition at line 154 of file elf_reader.h.
◆ little_endian
| bool elf_readert::little_endian |
Definition at line 112 of file elf_reader.h.
◆ number_of_sections
| std::size_t elf_readert::number_of_sections |
Definition at line 135 of file elf_reader.h.
◆ string_table_offset
| std::streampos elf_readert::string_table_offset |
Definition at line 122 of file elf_reader.h.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/goto-programs/elf_reader.h
- /home/runner/work/cbmc/cbmc/src/goto-programs/elf_reader.cpp
