CBMC
Loading...
Searching...
No Matches
Classes | Macros | Functions
osx_fat_reader.cpp File Reference

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:

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

 
 
 

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.

AltStyle によって変換されたページ (->オリジナル) /