1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
/*******************************************************************\
Module: Unit tests for osx_fat_binary
Author: Diffblue Ltd.
\*******************************************************************/
#include <testing-utils/use_catch.h>
#include <goto-programs/osx_fat_reader.h>
#ifdef __APPLE__
#include <util/exception_utils.h>
#endif
#include <fstream> // IWYU pragma: keep
TEST_CASE("OSX fat binary reader", "[core][goto-programs][osx_fat_reader]")
{
std::ifstream class_file("goto-programs/Hello.class");
std::ifstream fat_macho("goto-programs/hello_fat_macho");
std::ifstream fat_macho_with_gbf("goto-programs/hello_fat_macho_with_gbf");
char class_header[8];
char fat_macho_header[8];
char fat_macho_with_gbf_header[8];
class_file.read(class_header, 8);
fat_macho.read(fat_macho_header, 8);
fat_macho_with_gbf.read(fat_macho_with_gbf_header, 8);
REQUIRE(class_file);
REQUIRE(fat_macho);
REQUIRE(fat_macho_with_gbf);
REQUIRE(is_osx_fat_header(fat_macho_header));
REQUIRE(is_osx_fat_header(fat_macho_with_gbf_header));
REQUIRE(!is_osx_fat_header(class_header));
class_file.seekg(0);
fat_macho.seekg(0);
fat_macho_with_gbf.seekg(0);
std::ostringstream fat_macho_output;
stream_message_handlert fat_macho_output_handler(fat_macho_output);
std::ostringstream fat_macho_with_gbf_output;
stream_message_handlert fat_macho_with_gbf_output_handler(
fat_macho_with_gbf_output);
std::ostringstream class_file_output;
stream_message_handlert class_file_output_handler(class_file_output);
#ifdef __APPLE__
REQUIRE_THROWS_AS(
(osx_fat_readert{class_file, class_file_output_handler}),
deserialization_exceptiont);
osx_fat_readert fat_macho_reader(fat_macho, fat_macho_output_handler);
REQUIRE(fat_macho_output.str().empty());
REQUIRE(!fat_macho_reader.has_gb());
osx_fat_readert fat_macho_with_gbf_reader(
fat_macho_with_gbf, fat_macho_with_gbf_output_handler);
REQUIRE(fat_macho_with_gbf_output.str().empty());
REQUIRE(fat_macho_with_gbf_reader.has_gb());
#else
osx_fat_readert class_file_reader(class_file, class_file_output_handler);
REQUIRE(!class_file_reader.has_gb());
REQUIRE(
class_file_output.str() ==
"Cannot read OSX fat archive on this platform\n");
osx_fat_readert fat_macho_reader(fat_macho, fat_macho_output_handler);
REQUIRE(!fat_macho_reader.has_gb());
REQUIRE(
fat_macho_output.str() == "Cannot read OSX fat archive on this platform\n");
osx_fat_readert fat_macho_with_gbf_reader(
fat_macho_with_gbf, fat_macho_with_gbf_output_handler);
REQUIRE(!fat_macho_with_gbf_reader.has_gb());
REQUIRE(
fat_macho_with_gbf_output.str() ==
"Cannot read OSX fat archive on this platform\n");
#endif
}
|
