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
21
class
osx_fat_readert
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
:
33
bool
has_gb_arch
;
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
goto-programs
osx_fat_reader.h
Generated by
1.8.16