CBMC
osx_fat_reader.h File Reference

Read OS X Fat Binaries. More...

#include <util/message.h>
#include <cstdint>
#include <fstream>
#include <map>
#include <string>
+ Include dependency graph for osx_fat_reader.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  osx_fat_readert
 
class  osx_mach_o_readert
 
struct  osx_mach_o_readert::sectiont
 

Functions

bool is_osx_fat_header (char hdr[8])
 
bool is_osx_mach_object (char hdr[4])
 

Detailed Description

Read OS X Fat Binaries.

Definition in file osx_fat_reader.h.

Function Documentation

◆ is_osx_fat_header()

bool is_osx_fat_header ( char  hdr[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.