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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
|
#!/usr/bin/perl
# Copyright (C) 2016 Intel Corporation.
# SPDX-License-Identifier: LicenseRef-Qt-Commercial OR GPL-3.0-only WITH Qt-GPL-exception-1.0
use strict;
use constant FAT_MAGIC => 0xcafebabe;
use constant MH_MAGIC => 0xfeedface;
use constant MH_MAGIC_64 => 0xfeedfacf;
use constant CPU_TYPE_X86 => 7;
use constant CPU_TYPE_X86_64 => CPU_TYPE_X86 | 0x01000000;
use constant CPU_SUBTYPE_I386_ALL => 3;
use constant MH_DYLIB => 6;
use constant LC_SEGMENT => 1;
use constant LC_SEGMENT_64 => 0x19;
my $good = pack("(L7 L2 Z16 L8 Z16 Z16 L9 . L)>",
MH_MAGIC, CPU_TYPE_X86, CPU_SUBTYPE_I386_ALL, MH_DYLIB, # 0-3
1, # 4: ncmds
4 * (37 - 6), # 5: sizeofcmds
0, # 6: flags
LC_SEGMENT, # 7: cmd
4 * (37 - 6), # 8: cmdsize
'__TEXT', # 9-12: segname
0, # 13: vmaddr
0x1000, # 14: vmsize
0, # 15: fileoff
0x204, # 16: filesize
7, # 17: maxprot (rwx)
5, # 18: initprot (r-x)
1, # 19: nsects
0, # 20: flags
'qtmetadata', # 21-24: sectname
'__TEXT', # 25-28: segname
0x200, # 29: addr
4, # 30: size
0x200, # 31: offset
2, # 32: align (2^2)
0, # 33: reloff
0, # 34: nreloc
0, # 35: flags
0, # 36: reserved1
0, # 37: reserved2
0x200,
0xc0ffee # data
);
my $good64 = pack("(L8 L2 Z16 Q4 L4 Z16 Z16 Q2 L8 . Q)>",
MH_MAGIC_64, CPU_TYPE_X86_64, CPU_SUBTYPE_I386_ALL, MH_DYLIB, # 0-3
1, # 4: ncmds
4 * (45 - 7), # 5: sizeofcmds
0, # 6: flags
0, # 7: reserved
LC_SEGMENT_64, # 8: cmd
4 * (45 - 7), # 9: cmdsize
'__TEXT', # 10-13: segname
0, # 14-15: vmaddr
0x1000, # 16-17: vmsize
0, # 18-19: fileoff
0x208, # 20-21: filesize
7, # 22: maxprot (rwx)
5, # 23: initprot (r-x)
1, # 24: nsects
0, # 25: flags
'qtmetadata', # 26-29: sectname
'__TEXT', # 30-33: segname
0x200, # 34-35: addr
4, # 36-37: size
0x200, # 38: offset
3, # 39: align (2^3)
0, # 40: reloff
0, # 41: nreloc
0, # 42: flags
0, # 43: reserved1
0, # 44: reserved2
0, # 45: reserved3
0x200,
0xc0ffeec0ffee # data
);
my $fat = pack("L>*",
FAT_MAGIC, # 1: magic
2, # 2: nfat_arch
CPU_TYPE_X86, # 3: cputype
CPU_SUBTYPE_I386_ALL, # 4: cpusubtype
0x1000, # 5: offset
0x1000, # 6: size
12, # 7: align (2^12)
CPU_TYPE_X86_64, # 8: cputype
CPU_SUBTYPE_I386_ALL, # 9: cpusubtype
0x2000, # 10: offset
0x1000, # 11: size
12, # 12: align (2^12)
);
my $buffer;
our $badcount = 1;
sub generate($) {
open OUT, ">", "bad$badcount.dylib" or die("Could not open file bad$badcount.dylib: $!\n");
binmode OUT;
print OUT $_[0];
close OUT;
++$badcount;
}
# Bad file 1-2
# Except that the cmdsize fields are null
$buffer = $good;
vec($buffer, 5, 32) = 0;
generate $buffer;
$buffer = $good;
vec($buffer, 8, 32) = 0;
generate $buffer;
# Bad file 3-4: same as above but 64-bit
$buffer = $good64;
vec($buffer, 5, 32) = 0;
generate $buffer;
$buffer = $good64;
vec($buffer, 9, 32) = 0;
generate $buffer;
# Bad file 5-8: same as 1-4, but set cmdsize to bigger than file
$buffer = $good;
vec($buffer, 5, 32) = 0x1000;
generate $buffer;
$buffer = $good;
vec($buffer, 8, 32) = 0x1000;
generate $buffer;
$buffer = $good64;
vec($buffer, 5, 32) = 0x1000;
generate $buffer;
$buffer = $good64;
vec($buffer, 9, 32) = 0x1000;
generate $buffer;
# Bad file 9-10: overflow size+offset
$buffer = $good;
vec($buffer, 30, 32) = 0xffffffe0;
generate $buffer;
$buffer = $good64;
vec($buffer, 36, 32) = 0xffffffff;
vec($buffer, 37, 32) = 0xffffffe0;
generate $buffer;
# Bad file 11: FAT binary with just the header
generate $fat;
# Bad file 12: FAT binary where the Mach contents don't match the FAT directory
$buffer = pack("a4096 a4096 a4096", $fat, $good64, $good);
generate $buffer;
# Bad file 13: FAT binary with overflowing size
$buffer = pack("a4096 a4096 a4096", $fat, $good, $good64);
vec($buffer, 5, 32) = 0xfffffffe0;
vec($buffer, 10, 32) = 0xfffffffe0;
generate $buffer;
|