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
is_osx_fat_magic
bool is_osx_fat_magic(char hdr[4])
Definition: osx_fat_reader.cpp:24
osx_fat_readert::has_gb
bool has_gb() const
Definition: osx_fat_reader.h:26
osx_fat_readert
Definition: osx_fat_reader.h:21
osx_fat_readert::osx_fat_readert
osx_fat_readert(std::ifstream &in)
Definition: osx_fat_reader.cpp:42
osx_fat_readert::extract_gb
bool extract_gb(const std::string &source, const std::string &dest) const
Definition: osx_fat_reader.cpp:85
osx_fat_readert::has_gb_arch
bool has_gb_arch
Definition: osx_fat_reader.h:33