cprover
osx_fat_reader.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Read OS X Fat Binaries
4 
5 Author:
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_PROGRAMS_OSX_FAT_READER_H
13 #define CPROVER_GOTO_PROGRAMS_OSX_FAT_READER_H
14 
15 #include <fstream>
16 #include <string>
17 
18 // we follow
19 // https://developer.apple.com/library/mac/#documentation/DeveloperTools/Conceptual/MachORuntime/Reference/reference.html
20 
22 {
23 public:
24  explicit osx_fat_readert(std::ifstream &in);
25 
26  bool has_gb() const { return has_gb_arch; }
27 
28  bool extract_gb(
29  const std::string &source,
30  const std::string &dest) const;
31 
32 private:
34 };
35 
36 bool is_osx_fat_magic(char hdr[4]);
37 
38 #endif // CPROVER_GOTO_PROGRAMS_OSX_FAT_READER_H
bool is_osx_fat_magic(char hdr[4])
bool extract_gb(const std::string &source, const std::string &dest) const
bool has_gb() const
osx_fat_readert(std::ifstream &in)