#include "osx_fat_reader.h"
#include <cstdlib>
#include <util/exception_utils.h>
#include <util/invariant.h>
#include <util/run.h>
Go to the source code of this file.
Read Mach-O
Definition in file osx_fat_reader.cpp.
◆ CPROVER_FAT_CIGAM
#define CPROVER_FAT_CIGAM 0xbebafeca |
◆ CPROVER_FAT_MAGIC
#define CPROVER_FAT_MAGIC 0xcafebabe |
◆ CPROVER_MH_CIGAM
#define CPROVER_MH_CIGAM 0xcefaedfe |
◆ CPROVER_MH_CIGAM_64
#define CPROVER_MH_CIGAM_64 0xcffaedfe |
◆ CPROVER_MH_MAGIC
#define CPROVER_MH_MAGIC 0xfeedface |
◆ CPROVER_MH_MAGIC_64
#define CPROVER_MH_MAGIC_64 0xfeedfacf |
◆ is_osx_fat_header()
bool is_osx_fat_header |
( |
char |
header_bytes[8] | ) |
|
◆ is_osx_mach_object()
bool is_osx_mach_object |
( |
char |
hdr[4] | ) |
|
◆ u32_to_native_endian()
static uint32_t u32_to_native_endian |
( |
uint32_t |
input | ) |
|
|
static |