Detect OSX fat archives or Mach-O objects on all architectures

Hard-code the magic values as extracted from OS X header files, but check them
when actually building on OS X.

Author: tautschnig

src/goto-programs/osx_fat_reader.cpp

@@ -15,35 +15,48 @@ Module: Read Mach-O
 #include <util/exception_utils.h>
 #include <util/invariant.h>
 
+// we define file-type magic values for all platforms to detect when we find a
+// file that we might not be able to process
+#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
+
 #ifdef __APPLE__
 #include <architecture/byte_order.h>
 #include <mach-o/fat.h>
 #include <mach-o/loader.h>
 #include <mach-o/swap.h>
+
+#if(CPROVER_FAT_MAGIC != FAT_MAGIC) || (CPROVER_FAT_CIGAM != FAT_CIGAM) ||     \
+  (CPROVER_MH_MAGIC != MH_MAGIC) || (CPROVER_MH_CIGAM != MH_CIGAM) ||          \
+  (CPROVER_MH_MAGIC_64 != MH_MAGIC_64) || (CPROVER_MH_CIGAM_64 != MH_CIGAM_64)
+#error "Mach-O magic has inconsistent value"
+#endif
 #endif
 
 #include <util/run.h>
 
 bool is_osx_fat_magic(char hdr[4])
 {
-#ifdef __APPLE__
   uint32_t *magic=reinterpret_cast<uint32_t*>(hdr);
 
   switch(*magic)
   {
-    case FAT_MAGIC:
-    case FAT_CIGAM:
-      return true;
+  case CPROVER_FAT_MAGIC:
+  case CPROVER_FAT_CIGAM:
+    return true;
   }
-#else
-  (void)hdr; // unused parameter
-#endif
 
   return false;
 }
 
-osx_fat_readert::osx_fat_readert(std::ifstream &in) :
-  has_gb_arch(false)
+osx_fat_readert::osx_fat_readert(
+  std::ifstream &in,
+  message_handlert &message_handler)
+  : log(message_handler), has_gb_arch(false)
 {
 #ifdef __APPLE__
   // NOLINTNEXTLINE(readability/identifiers)
@@ -82,6 +95,9 @@ osx_fat_readert::osx_fat_readert(std::ifstream &in) :
   }
 #else
   (void)in;  // unused parameter
+
+  log.warning() << "Cannot read OSX fat archive on this platform"
+                << messaget::eom;
 #endif
 }
 
@@ -99,20 +115,16 @@ bool osx_fat_readert::extract_gb(
 // guided by https://lowlevelbits.org/parsing-mach-o-files/
 bool is_osx_mach_object(char hdr[4])
 {
-#ifdef __APPLE__
   uint32_t *magic = reinterpret_cast<uint32_t *>(hdr);
 
   switch(*magic)
   {
-  case MH_MAGIC:
-  case MH_CIGAM:
-  case MH_MAGIC_64:
-  case MH_CIGAM_64:
+  case CPROVER_MH_MAGIC:
+  case CPROVER_MH_CIGAM:
+  case CPROVER_MH_MAGIC_64:
+  case CPROVER_MH_CIGAM_64:
     return true;
   }
-#else
-  (void)hdr; // unused parameter
-#endif
 
   return false;
 }
@@ -236,7 +248,10 @@ void osx_mach_o_readert::process_commands(
 #endif
 }
 
-osx_mach_o_readert::osx_mach_o_readert(std::istream &_in) : in(_in)
+osx_mach_o_readert::osx_mach_o_readert(
+  std::istream &_in,
+  message_handlert &message_handler)
+  : log(message_handler), in(_in)
 {
   // read magic
   uint32_t magic;
@@ -249,16 +264,16 @@ osx_mach_o_readert::osx_mach_o_readert(std::istream &_in) : in(_in)
   bool is_64 = false, need_swap = false;
   switch(magic)
   {
-  case MH_CIGAM:
+  case CPROVER_MH_CIGAM:
     need_swap = true;
     break;
-  case MH_MAGIC:
+  case CPROVER_MH_MAGIC:
     break;
-  case MH_CIGAM_64:
+  case CPROVER_MH_CIGAM_64:
     need_swap = true;
     is_64 = true;
     break;
-  case MH_MAGIC_64:
+  case CPROVER_MH_MAGIC_64:
     is_64 = true;
     break;
   default:
@@ -303,5 +318,7 @@ osx_mach_o_readert::osx_mach_o_readert(std::istream &_in) : in(_in)
   }
 
   process_commands(ncmds, offset, need_swap);
+#else
+  log.warning() << "Cannot read OSX Mach-O on this platform" << messaget::eom;
 #endif
 }

src/goto-programs/osx_fat_reader.h

@@ -12,6 +12,8 @@ Module: Read OS X Fat Binaries
 #ifndef CPROVER_GOTO_PROGRAMS_OSX_FAT_READER_H
 #define CPROVER_GOTO_PROGRAMS_OSX_FAT_READER_H
 
+#include <util/message.h>
+
 #include <fstream>
 #include <map>
 #include <string>
@@ -22,7 +24,7 @@ Module: Read OS X Fat Binaries
 class osx_fat_readert
 {
 public:
-  explicit osx_fat_readert(std::ifstream &in);
+  osx_fat_readert(std::ifstream &, message_handlert &);
 
   bool has_gb() const { return has_gb_arch; }
 
@@ -31,6 +33,7 @@ class osx_fat_readert
     const std::string &dest) const;
 
 private:
+  messaget log;
   bool has_gb_arch;
 };
 
@@ -39,7 +42,7 @@ bool is_osx_fat_magic(char hdr[4]);
 class osx_mach_o_readert
 {
 public:
-  explicit osx_mach_o_readert(std::istream &_in);
+  osx_mach_o_readert(std::istream &, message_handlert &);
 
   struct sectiont
   {
@@ -62,6 +65,7 @@ class osx_mach_o_readert
   }
 
 private:
+  messaget log;
   std::istream &in;
 
   void process_commands(uint32_t ncmds, std::size_t offset, bool need_swap);

src/goto-programs/read_goto_binary.cpp

@@ -120,7 +120,7 @@ static bool read_goto_binary(
 
     // Mach-O universal binary
     // This _may_ have a goto binary as hppa7100LC architecture
-    osx_fat_readert osx_fat_reader(in);
+    osx_fat_readert osx_fat_reader(in, message_handler);
 
     if(osx_fat_reader.has_gb())
     {
@@ -153,7 +153,7 @@ static bool read_goto_binary(
     // Mach-O object file, may contain a goto-cc section
     try
     {
-      osx_mach_o_readert mach_o_reader(in);
+      osx_mach_o_readert mach_o_reader(in, message_handler);
 
       osx_mach_o_readert::sectionst::const_iterator entry =
         mach_o_reader.sections.find("goto-cc");
@@ -183,7 +183,9 @@ static bool read_goto_binary(
   return true;
 }
 
-bool is_goto_binary(const std::string &filename, message_handlert &)
+bool is_goto_binary(
+  const std::string &filename,
+  message_handlert &message_handler)
 {
   #ifdef _MSC_VER
   std::ifstream in(widen(filename), std::ios::binary);
@@ -230,7 +232,7 @@ bool is_goto_binary(const std::string &filename, message_handlert &)
     try
     {
       in.seekg(0);
-      osx_fat_readert osx_fat_reader(in);
+      osx_fat_readert osx_fat_reader(in, message_handler);
       if(osx_fat_reader.has_gb())
         return true;
     }
@@ -246,7 +248,7 @@ bool is_goto_binary(const std::string &filename, message_handlert &)
     try
     {
       in.seekg(0);
-      osx_mach_o_readert mach_o_reader(in);
+      osx_mach_o_readert mach_o_reader(in, message_handler);
       if(mach_o_reader.has_section("goto-cc"))
         return true;
     }