#include "osx_fat_reader.h"#include <util/exception_utils.h>#include <util/invariant.h>#include <util/run.h>
Include dependency graph for osx_fat_reader.cpp:Go to the source code of this file.
Classes | |
| struct | fat_header_prefixt |
Macros | |
| #define | CPROVER_FAT_MAGIC 0xcafebabe |
| #define | CPROVER_FAT_CIGAM 0xbebafeca |
| #define | CPROVER_MH_MAGIC 0xfeedface |
| #define | CPROVER_MH_CIGAM 0xcefaedfe |
| #define | CPROVER_MH_MAGIC_64 0xfeedfacf |
| #define | CPROVER_MH_CIGAM_64 0xcffaedfe |
Functions | |
| static uint32_t | u32_to_native_endian (uint32_t input) |
| bool | is_osx_fat_header (char header_bytes[8]) |
| bool | is_osx_mach_object (char hdr[4]) |
Detailed Description
Read Mach-O
Definition in file osx_fat_reader.cpp.
Macro Definition Documentation
◆ CPROVER_FAT_CIGAM
| #define CPROVER_FAT_CIGAM 0xbebafeca |
Definition at line 20 of file osx_fat_reader.cpp.
◆ CPROVER_FAT_MAGIC
| #define CPROVER_FAT_MAGIC 0xcafebabe |
Definition at line 19 of file osx_fat_reader.cpp.
◆ CPROVER_MH_CIGAM
| #define CPROVER_MH_CIGAM 0xcefaedfe |
Definition at line 22 of file osx_fat_reader.cpp.
◆ CPROVER_MH_CIGAM_64
| #define CPROVER_MH_CIGAM_64 0xcffaedfe |
Definition at line 24 of file osx_fat_reader.cpp.
◆ CPROVER_MH_MAGIC
| #define CPROVER_MH_MAGIC 0xfeedface |
Definition at line 21 of file osx_fat_reader.cpp.
◆ CPROVER_MH_MAGIC_64
| #define CPROVER_MH_MAGIC_64 0xfeedfacf |
Definition at line 23 of file osx_fat_reader.cpp.
Function Documentation
◆ is_osx_fat_header()
| bool is_osx_fat_header | ( | char | header_bytes[8] | ) |
Definition at line 57 of file osx_fat_reader.cpp.
◆ is_osx_mach_object()
| bool is_osx_mach_object | ( | char | hdr[4] | ) |
Definition at line 134 of file osx_fat_reader.cpp.
◆ u32_to_native_endian()
|
static |
Definition at line 48 of file osx_fat_reader.cpp.
