Read Mach-O. More...

#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:

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 135 of file osx_fat_reader.cpp.

◆ u32_to_native_endian()

static uint32_t u32_to_native_endian ( uint32_t input )

static

Definition at line 48 of file osx_fat_reader.cpp.

Classes

Macros

Functions