]>
Commit | Line | Data |
---|---|---|
1 | /* ldid - (Mach-O) Link-Loader Identity Editor | |
2 | * Copyright (C) 2007-2010 Jay Freeman (saurik) | |
3 | */ | |
4 | ||
5 | /* | |
6 | * Redistribution and use in source and binary | |
7 | * forms, with or without modification, are permitted | |
8 | * provided that the following conditions are met: | |
9 | * | |
10 | * 1. Redistributions of source code must retain the | |
11 | * above copyright notice, this list of conditions | |
12 | * and the following disclaimer. | |
13 | * 2. Redistributions in binary form must reproduce the | |
14 | * above copyright notice, this list of conditions | |
15 | * and the following disclaimer in the documentation | |
16 | * and/or other materials provided with the | |
17 | * distribution. | |
18 | * 3. The name of the author may not be used to endorse | |
19 | * or promote products derived from this software | |
20 | * without specific prior written permission. | |
21 | * | |
22 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' | |
23 | * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, | |
24 | * BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF | |
25 | * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE | |
26 | * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE | |
27 | * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, | |
28 | * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT | |
29 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR | |
30 | * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS | |
31 | * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF | |
32 | * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR | |
33 | * TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN | |
34 | * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF | |
35 | * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | |
36 | */ | |
37 | ||
38 | #include "minimal/stdlib.h" | |
39 | #include "minimal/string.h" | |
40 | #include "minimal/mapping.h" | |
41 | ||
42 | #include "sha1.h" | |
43 | ||
44 | #include <cstring> | |
45 | #include <string> | |
46 | #include <vector> | |
47 | ||
48 | #include <sys/wait.h> | |
49 | #include <sys/types.h> | |
50 | #include <sys/stat.h> | |
51 | ||
52 | struct fat_header { | |
53 | uint32_t magic; | |
54 | uint32_t nfat_arch; | |
55 | } _packed; | |
56 | ||
57 | #define FAT_MAGIC 0xcafebabe | |
58 | #define FAT_CIGAM 0xbebafeca | |
59 | ||
60 | struct fat_arch { | |
61 | uint32_t cputype; | |
62 | uint32_t cpusubtype; | |
63 | uint32_t offset; | |
64 | uint32_t size; | |
65 | uint32_t align; | |
66 | } _packed; | |
67 | ||
68 | struct mach_header { | |
69 | uint32_t magic; | |
70 | uint32_t cputype; | |
71 | uint32_t cpusubtype; | |
72 | uint32_t filetype; | |
73 | uint32_t ncmds; | |
74 | uint32_t sizeofcmds; | |
75 | uint32_t flags; | |
76 | } _packed; | |
77 | ||
78 | #define MH_MAGIC 0xfeedface | |
79 | #define MH_CIGAM 0xcefaedfe | |
80 | ||
81 | #define MH_MAGIC_64 0xfeedfacf | |
82 | #define MH_CIGAM_64 0xcffaedfe | |
83 | ||
84 | #define MH_DYLDLINK 0x4 | |
85 | ||
86 | #define MH_EXECUTE 0x2 | |
87 | #define MH_DYLIB 0x6 | |
88 | #define MH_BUNDLE 0x8 | |
89 | #define MH_DYLIB_STUB 0x9 | |
90 | ||
91 | struct load_command { | |
92 | uint32_t cmd; | |
93 | uint32_t cmdsize; | |
94 | } _packed; | |
95 | ||
96 | #define LC_REQ_DYLD uint32_t(0x80000000) | |
97 | ||
98 | #define LC_SEGMENT uint32_t(0x01) | |
99 | #define LC_SYMTAB uint32_t(0x02) | |
100 | #define LC_DYSYMTAB uint32_t(0x0b) | |
101 | #define LC_LOAD_DYLIB uint32_t(0x0c) | |
102 | #define LC_ID_DYLIB uint32_t(0x0d) | |
103 | #define LC_UUID uint32_t(0x1b) | |
104 | #define LC_CODE_SIGNATURE uint32_t(0x1d) | |
105 | #define LC_SEGMENT_SPLIT_INFO uint32_t(0x1e) | |
106 | #define LC_REEXPORT_DYLIB uint32_t(0x1f | LC_REQ_DYLD) | |
107 | #define LC_DYLD_INFO uint32_t(0x22) | |
108 | #define LC_DYLD_INFO_ONLY uint32_t(0x22 | LC_REQ_DYLD) | |
109 | ||
110 | struct dylib { | |
111 | uint32_t name; | |
112 | uint32_t timestamp; | |
113 | uint32_t current_version; | |
114 | uint32_t compatibility_version; | |
115 | } _packed; | |
116 | ||
117 | struct dylib_command { | |
118 | uint32_t cmd; | |
119 | uint32_t cmdsize; | |
120 | struct dylib dylib; | |
121 | } _packed; | |
122 | ||
123 | struct uuid_command { | |
124 | uint32_t cmd; | |
125 | uint32_t cmdsize; | |
126 | uint8_t uuid[16]; | |
127 | } _packed; | |
128 | ||
129 | struct symtab_command { | |
130 | uint32_t cmd; | |
131 | uint32_t cmdsize; | |
132 | uint32_t symoff; | |
133 | uint32_t nsyms; | |
134 | uint32_t stroff; | |
135 | uint32_t strsize; | |
136 | } _packed; | |
137 | ||
138 | struct dyld_info_command { | |
139 | uint32_t cmd; | |
140 | uint32_t cmdsize; | |
141 | uint32_t rebase_off; | |
142 | uint32_t rebase_size; | |
143 | uint32_t bind_off; | |
144 | uint32_t bind_size; | |
145 | uint32_t weak_bind_off; | |
146 | uint32_t weak_bind_size; | |
147 | uint32_t lazy_bind_off; | |
148 | uint32_t lazy_bind_size; | |
149 | uint32_t export_off; | |
150 | uint32_t export_size; | |
151 | } _packed; | |
152 | ||
153 | struct dysymtab_command { | |
154 | uint32_t cmd; | |
155 | uint32_t cmdsize; | |
156 | uint32_t ilocalsym; | |
157 | uint32_t nlocalsym; | |
158 | uint32_t iextdefsym; | |
159 | uint32_t nextdefsym; | |
160 | uint32_t iundefsym; | |
161 | uint32_t nundefsym; | |
162 | uint32_t tocoff; | |
163 | uint32_t ntoc; | |
164 | uint32_t modtaboff; | |
165 | uint32_t nmodtab; | |
166 | uint32_t extrefsymoff; | |
167 | uint32_t nextrefsyms; | |
168 | uint32_t indirectsymoff; | |
169 | uint32_t nindirectsyms; | |
170 | uint32_t extreloff; | |
171 | uint32_t nextrel; | |
172 | uint32_t locreloff; | |
173 | uint32_t nlocrel; | |
174 | } _packed; | |
175 | ||
176 | struct dylib_table_of_contents { | |
177 | uint32_t symbol_index; | |
178 | uint32_t module_index; | |
179 | } _packed; | |
180 | ||
181 | struct dylib_module { | |
182 | uint32_t module_name; | |
183 | uint32_t iextdefsym; | |
184 | uint32_t nextdefsym; | |
185 | uint32_t irefsym; | |
186 | uint32_t nrefsym; | |
187 | uint32_t ilocalsym; | |
188 | uint32_t nlocalsym; | |
189 | uint32_t iextrel; | |
190 | uint32_t nextrel; | |
191 | uint32_t iinit_iterm; | |
192 | uint32_t ninit_nterm; | |
193 | uint32_t objc_module_info_addr; | |
194 | uint32_t objc_module_info_size; | |
195 | } _packed; | |
196 | ||
197 | struct dylib_reference { | |
198 | uint32_t isym:24; | |
199 | uint32_t flags:8; | |
200 | } _packed; | |
201 | ||
202 | struct relocation_info { | |
203 | int32_t r_address; | |
204 | uint32_t r_symbolnum:24; | |
205 | uint32_t r_pcrel:1; | |
206 | uint32_t r_length:2; | |
207 | uint32_t r_extern:1; | |
208 | uint32_t r_type:4; | |
209 | } _packed; | |
210 | ||
211 | struct nlist { | |
212 | union { | |
213 | char *n_name; | |
214 | int32_t n_strx; | |
215 | } n_un; | |
216 | ||
217 | uint8_t n_type; | |
218 | uint8_t n_sect; | |
219 | uint8_t n_desc; | |
220 | uint32_t n_value; | |
221 | } _packed; | |
222 | ||
223 | struct segment_command { | |
224 | uint32_t cmd; | |
225 | uint32_t cmdsize; | |
226 | char segname[16]; | |
227 | uint32_t vmaddr; | |
228 | uint32_t vmsize; | |
229 | uint32_t fileoff; | |
230 | uint32_t filesize; | |
231 | uint32_t maxprot; | |
232 | uint32_t initprot; | |
233 | uint32_t nsects; | |
234 | uint32_t flags; | |
235 | }; | |
236 | ||
237 | struct section { | |
238 | char sectname[16]; | |
239 | char segname[16]; | |
240 | uint32_t addr; | |
241 | uint32_t size; | |
242 | uint32_t offset; | |
243 | uint32_t align; | |
244 | uint32_t reloff; | |
245 | uint32_t nreloc; | |
246 | uint32_t flags; | |
247 | uint32_t reserved1; | |
248 | uint32_t reserved2; | |
249 | }; | |
250 | ||
251 | struct linkedit_data_command { | |
252 | uint32_t cmd; | |
253 | uint32_t cmdsize; | |
254 | uint32_t dataoff; | |
255 | uint32_t datasize; | |
256 | } _packed; | |
257 | ||
258 | uint16_t Swap_(uint16_t value) { | |
259 | return | |
260 | ((value >> 8) & 0x00ff) | | |
261 | ((value << 8) & 0xff00); | |
262 | } | |
263 | ||
264 | uint32_t Swap_(uint32_t value) { | |
265 | value = ((value >> 8) & 0x00ff00ff) | | |
266 | ((value << 8) & 0xff00ff00); | |
267 | value = ((value >> 16) & 0x0000ffff) | | |
268 | ((value << 16) & 0xffff0000); | |
269 | return value; | |
270 | } | |
271 | ||
272 | int16_t Swap_(int16_t value) { | |
273 | return Swap_(static_cast<uint16_t>(value)); | |
274 | } | |
275 | ||
276 | int32_t Swap_(int32_t value) { | |
277 | return Swap_(static_cast<uint32_t>(value)); | |
278 | } | |
279 | ||
280 | bool little_(true); | |
281 | ||
282 | uint16_t Swap(uint16_t value) { | |
283 | return little_ ? Swap_(value) : value; | |
284 | } | |
285 | ||
286 | uint32_t Swap(uint32_t value) { | |
287 | return little_ ? Swap_(value) : value; | |
288 | } | |
289 | ||
290 | int16_t Swap(int16_t value) { | |
291 | return Swap(static_cast<uint16_t>(value)); | |
292 | } | |
293 | ||
294 | int32_t Swap(int32_t value) { | |
295 | return Swap(static_cast<uint32_t>(value)); | |
296 | } | |
297 | ||
298 | template <typename Target_> | |
299 | class Pointer; | |
300 | ||
301 | class Data { | |
302 | private: | |
303 | void *base_; | |
304 | size_t size_; | |
305 | ||
306 | protected: | |
307 | bool swapped_; | |
308 | ||
309 | public: | |
310 | Data(void *base, size_t size) : | |
311 | base_(base), | |
312 | size_(size), | |
313 | swapped_(false) | |
314 | { | |
315 | } | |
316 | ||
317 | uint16_t Swap(uint16_t value) const { | |
318 | return swapped_ ? Swap_(value) : value; | |
319 | } | |
320 | ||
321 | uint32_t Swap(uint32_t value) const { | |
322 | return swapped_ ? Swap_(value) : value; | |
323 | } | |
324 | ||
325 | int16_t Swap(int16_t value) const { | |
326 | return Swap(static_cast<uint16_t>(value)); | |
327 | } | |
328 | ||
329 | int32_t Swap(int32_t value) const { | |
330 | return Swap(static_cast<uint32_t>(value)); | |
331 | } | |
332 | ||
333 | void *GetBase() const { | |
334 | return base_; | |
335 | } | |
336 | ||
337 | size_t GetSize() const { | |
338 | return size_; | |
339 | } | |
340 | }; | |
341 | ||
342 | class MachHeader : | |
343 | public Data | |
344 | { | |
345 | private: | |
346 | bool bits64_; | |
347 | ||
348 | struct mach_header *mach_header_; | |
349 | struct load_command *load_command_; | |
350 | ||
351 | public: | |
352 | MachHeader(void *base, size_t size) : | |
353 | Data(base, size) | |
354 | { | |
355 | mach_header_ = (mach_header *) base; | |
356 | ||
357 | switch (Swap(mach_header_->magic)) { | |
358 | case MH_CIGAM: | |
359 | swapped_ = !swapped_; | |
360 | case MH_MAGIC: | |
361 | bits64_ = false; | |
362 | break; | |
363 | ||
364 | case MH_CIGAM_64: | |
365 | swapped_ = !swapped_; | |
366 | case MH_MAGIC_64: | |
367 | bits64_ = true; | |
368 | break; | |
369 | ||
370 | default: | |
371 | _assert(false); | |
372 | } | |
373 | ||
374 | void *post = mach_header_ + 1; | |
375 | if (bits64_) | |
376 | post = (uint32_t *) post + 1; | |
377 | load_command_ = (struct load_command *) post; | |
378 | ||
379 | _assert( | |
380 | Swap(mach_header_->filetype) == MH_EXECUTE || | |
381 | Swap(mach_header_->filetype) == MH_DYLIB || | |
382 | Swap(mach_header_->filetype) == MH_BUNDLE | |
383 | ); | |
384 | } | |
385 | ||
386 | struct mach_header *operator ->() const { | |
387 | return mach_header_; | |
388 | } | |
389 | ||
390 | uint32_t GetCPUType() const { | |
391 | return Swap(mach_header_->cputype); | |
392 | } | |
393 | ||
394 | uint16_t GetCPUSubtype() const { | |
395 | return Swap(mach_header_->cpusubtype) & 0xff; | |
396 | } | |
397 | ||
398 | std::vector<struct load_command *> GetLoadCommands() const { | |
399 | std::vector<struct load_command *> load_commands; | |
400 | ||
401 | struct load_command *load_command = load_command_; | |
402 | for (uint32_t cmd = 0; cmd != Swap(mach_header_->ncmds); ++cmd) { | |
403 | load_commands.push_back(load_command); | |
404 | load_command = (struct load_command *) ((uint8_t *) load_command + Swap(load_command->cmdsize)); | |
405 | } | |
406 | ||
407 | return load_commands; | |
408 | } | |
409 | ||
410 | std::vector<segment_command *> GetSegments(const char *segment_name) { | |
411 | std::vector<struct segment_command *> segment_commands; | |
412 | ||
413 | _foreach (load_command, GetLoadCommands()) | |
414 | if (Swap(load_command->cmd) == LC_SEGMENT) { | |
415 | segment_command *segment_command = reinterpret_cast<struct segment_command *>(load_command); | |
416 | if (strncmp(segment_command->segname, segment_name, 16) == 0) | |
417 | segment_commands.push_back(segment_command); | |
418 | } | |
419 | ||
420 | return segment_commands; | |
421 | } | |
422 | ||
423 | std::vector<section *> GetSections(const char *segment_name, const char *section_name) { | |
424 | std::vector<section *> sections; | |
425 | ||
426 | _foreach (segment, GetSegments(segment_name)) { | |
427 | section *section = (struct section *) (segment + 1); | |
428 | ||
429 | uint32_t sect; | |
430 | for (sect = 0; sect != Swap(segment->nsects); ++sect) { | |
431 | if (strncmp(section->sectname, section_name, 16) == 0) | |
432 | sections.push_back(section); | |
433 | ++section; | |
434 | } | |
435 | } | |
436 | ||
437 | return sections; | |
438 | } | |
439 | ||
440 | template <typename Target_> | |
441 | Pointer<Target_> GetPointer(uint32_t address, const char *segment_name = NULL) const { | |
442 | load_command *load_command = (struct load_command *) (mach_header_ + 1); | |
443 | uint32_t cmd; | |
444 | ||
445 | for (cmd = 0; cmd != Swap(mach_header_->ncmds); ++cmd) { | |
446 | if (Swap(load_command->cmd) == LC_SEGMENT) { | |
447 | segment_command *segment_command = (struct segment_command *) load_command; | |
448 | if (segment_name != NULL && strncmp(segment_command->segname, segment_name, 16) != 0) | |
449 | goto next_command; | |
450 | ||
451 | section *sections = (struct section *) (segment_command + 1); | |
452 | ||
453 | uint32_t sect; | |
454 | for (sect = 0; sect != Swap(segment_command->nsects); ++sect) { | |
455 | section *section = §ions[sect]; | |
456 | //printf("%s %u %p %p %u\n", segment_command->segname, sect, address, section->addr, section->size); | |
457 | if (address >= Swap(section->addr) && address < Swap(section->addr) + Swap(section->size)) { | |
458 | //printf("0x%.8x %s\n", address, segment_command->segname); | |
459 | return Pointer<Target_>(this, reinterpret_cast<Target_ *>(address - Swap(section->addr) + Swap(section->offset) + (char *) mach_header_)); | |
460 | } | |
461 | } | |
462 | } | |
463 | ||
464 | next_command: | |
465 | load_command = (struct load_command *) ((char *) load_command + Swap(load_command->cmdsize)); | |
466 | } | |
467 | ||
468 | return Pointer<Target_>(this); | |
469 | } | |
470 | ||
471 | template <typename Target_> | |
472 | Pointer<Target_> GetOffset(uint32_t offset) { | |
473 | return Pointer<Target_>(this, reinterpret_cast<Target_ *>(offset + (uint8_t *) mach_header_)); | |
474 | } | |
475 | }; | |
476 | ||
477 | class FatHeader : | |
478 | public Data | |
479 | { | |
480 | private: | |
481 | fat_header *fat_header_; | |
482 | std::vector<MachHeader> mach_headers_; | |
483 | ||
484 | public: | |
485 | FatHeader(void *base, size_t size) : | |
486 | Data(base, size) | |
487 | { | |
488 | fat_header_ = reinterpret_cast<struct fat_header *>(base); | |
489 | ||
490 | if (Swap(fat_header_->magic) == FAT_CIGAM) { | |
491 | swapped_ = !swapped_; | |
492 | goto fat; | |
493 | } else if (Swap(fat_header_->magic) != FAT_MAGIC) { | |
494 | fat_header_ = NULL; | |
495 | mach_headers_.push_back(MachHeader(base, size)); | |
496 | } else fat: { | |
497 | size_t fat_narch = Swap(fat_header_->nfat_arch); | |
498 | fat_arch *fat_arch = reinterpret_cast<struct fat_arch *>(fat_header_ + 1); | |
499 | size_t arch; | |
500 | for (arch = 0; arch != fat_narch; ++arch) { | |
501 | uint32_t arch_offset = Swap(fat_arch->offset); | |
502 | uint32_t arch_size = Swap(fat_arch->size); | |
503 | mach_headers_.push_back(MachHeader((uint8_t *) base + arch_offset, size)); | |
504 | ++fat_arch; | |
505 | } | |
506 | } | |
507 | } | |
508 | ||
509 | std::vector<MachHeader> &GetMachHeaders() { | |
510 | return mach_headers_; | |
511 | } | |
512 | ||
513 | bool IsFat() const { | |
514 | return fat_header_ != NULL; | |
515 | } | |
516 | ||
517 | struct fat_header *operator ->() const { | |
518 | return fat_header_; | |
519 | } | |
520 | }; | |
521 | ||
522 | FatHeader Map(const char *path) { | |
523 | size_t size; | |
524 | void *base(map(path, 0, _not(size_t), &size, false)); | |
525 | return FatHeader(base, size); | |
526 | } | |
527 | ||
528 | template <typename Target_> | |
529 | class Pointer { | |
530 | private: | |
531 | const MachHeader *framework_; | |
532 | const Target_ *pointer_; | |
533 | ||
534 | public: | |
535 | Pointer(const MachHeader *framework = NULL, const Target_ *pointer = NULL) : | |
536 | framework_(framework), | |
537 | pointer_(pointer) | |
538 | { | |
539 | } | |
540 | ||
541 | operator const Target_ *() const { | |
542 | return pointer_; | |
543 | } | |
544 | ||
545 | const Target_ *operator ->() const { | |
546 | return pointer_; | |
547 | } | |
548 | ||
549 | Pointer<Target_> &operator ++() { | |
550 | ++pointer_; | |
551 | return *this; | |
552 | } | |
553 | ||
554 | template <typename Value_> | |
555 | Value_ Swap(Value_ value) { | |
556 | return framework_->Swap(value); | |
557 | } | |
558 | }; | |
559 | ||
560 | #define CSMAGIC_CODEDIRECTORY uint32_t(0xfade0c02) | |
561 | #define CSMAGIC_EMBEDDED_SIGNATURE uint32_t(0xfade0cc0) | |
562 | #define CSMAGIC_ENTITLEMENTS uint32_t(0xfade7171) | |
563 | ||
564 | #define CSSLOT_CODEDIRECTORY uint32_t(0) | |
565 | #define CSSLOT_REQUIREMENTS uint32_t(2) | |
566 | #define CSSLOT_ENTITLEMENTS uint32_t(5) | |
567 | ||
568 | struct BlobIndex { | |
569 | uint32_t type; | |
570 | uint32_t offset; | |
571 | } _packed; | |
572 | ||
573 | struct Blob { | |
574 | uint32_t magic; | |
575 | uint32_t length; | |
576 | } _packed; | |
577 | ||
578 | struct SuperBlob { | |
579 | struct Blob blob; | |
580 | uint32_t count; | |
581 | struct BlobIndex index[]; | |
582 | } _packed; | |
583 | ||
584 | struct CodeDirectory { | |
585 | struct Blob blob; | |
586 | uint32_t version; | |
587 | uint32_t flags; | |
588 | uint32_t hashOffset; | |
589 | uint32_t identOffset; | |
590 | uint32_t nSpecialSlots; | |
591 | uint32_t nCodeSlots; | |
592 | uint32_t codeLimit; | |
593 | uint8_t hashSize; | |
594 | uint8_t hashType; | |
595 | uint8_t spare1; | |
596 | uint8_t pageSize; | |
597 | uint32_t spare2; | |
598 | } _packed; | |
599 | ||
600 | extern "C" uint32_t hash(uint8_t *k, uint32_t length, uint32_t initval); | |
601 | ||
602 | void sha1(uint8_t *hash, uint8_t *data, size_t size) { | |
603 | SHA1Context context; | |
604 | SHA1Reset(&context); | |
605 | SHA1Input(&context, data, size); | |
606 | SHA1Result(&context, hash); | |
607 | } | |
608 | ||
609 | struct CodesignAllocation { | |
610 | uint32_t type_; | |
611 | uint16_t subtype_; | |
612 | size_t size_; | |
613 | ||
614 | CodesignAllocation(uint32_t type, uint16_t subtype, size_t size) : | |
615 | type_(type), | |
616 | subtype_(subtype), | |
617 | size_(size) | |
618 | { | |
619 | } | |
620 | }; | |
621 | ||
622 | int main(int argc, const char *argv[]) { | |
623 | union { | |
624 | uint16_t word; | |
625 | uint8_t byte[2]; | |
626 | } endian = {1}; | |
627 | ||
628 | little_ = endian.byte[0]; | |
629 | ||
630 | bool flag_R(false); | |
631 | bool flag_r(false); | |
632 | ||
633 | bool flag_t(false); | |
634 | bool flag_p(false); | |
635 | bool flag_u(false); | |
636 | bool flag_e(false); | |
637 | ||
638 | bool flag_T(false); | |
639 | ||
640 | bool flag_S(false); | |
641 | bool flag_s(false); | |
642 | ||
643 | bool timeh(false); | |
644 | uint32_t timev(0); | |
645 | ||
646 | const void *xmld(NULL); | |
647 | size_t xmls(0); | |
648 | ||
649 | uintptr_t noffset(_not(uintptr_t)); | |
650 | uintptr_t woffset(_not(uintptr_t)); | |
651 | ||
652 | std::vector<std::string> files; | |
653 | ||
654 | if (argc == 1) { | |
655 | fprintf(stderr, "usage: %s -S[entitlements.xml] <binary>\n", argv[0]); | |
656 | fprintf(stderr, " %s -e MobileSafari\n", argv[0]); | |
657 | fprintf(stderr, " %s -S cat\n", argv[0]); | |
658 | fprintf(stderr, " %s -Stfp.xml gdb\n", argv[0]); | |
659 | exit(0); | |
660 | } | |
661 | ||
662 | for (int argi(1); argi != argc; ++argi) | |
663 | if (argv[argi][0] != '-') | |
664 | files.push_back(argv[argi]); | |
665 | else switch (argv[argi][1]) { | |
666 | case 'R': flag_R = true; break; | |
667 | case 'r': flag_r = true; break; | |
668 | ||
669 | case 't': flag_t = true; break; | |
670 | case 'u': flag_u = true; break; | |
671 | case 'p': flag_p = true; break; | |
672 | case 'e': flag_e = true; break; | |
673 | ||
674 | case 's': | |
675 | _assert(!flag_S); | |
676 | flag_s = true; | |
677 | break; | |
678 | ||
679 | case 'S': | |
680 | _assert(!flag_s); | |
681 | flag_S = true; | |
682 | if (argv[argi][2] != '\0') { | |
683 | const char *xml = argv[argi] + 2; | |
684 | xmld = map(xml, 0, _not(size_t), &xmls, true); | |
685 | } | |
686 | break; | |
687 | ||
688 | case 'T': { | |
689 | flag_T = true; | |
690 | if (argv[argi][2] == '-') | |
691 | timeh = true; | |
692 | else { | |
693 | char *arge; | |
694 | timev = strtoul(argv[argi] + 2, &arge, 0); | |
695 | _assert(arge == argv[argi] + strlen(argv[argi])); | |
696 | } | |
697 | } break; | |
698 | ||
699 | case 'n': { | |
700 | char *arge; | |
701 | noffset = strtoul(argv[argi] + 2, &arge, 0); | |
702 | _assert(arge == argv[argi] + strlen(argv[argi])); | |
703 | } break; | |
704 | ||
705 | case 'w': { | |
706 | char *arge; | |
707 | woffset = strtoul(argv[argi] + 2, &arge, 0); | |
708 | _assert(arge == argv[argi] + strlen(argv[argi])); | |
709 | } break; | |
710 | ||
711 | default: | |
712 | goto usage; | |
713 | break; | |
714 | } | |
715 | ||
716 | if (files.empty()) usage: { | |
717 | exit(0); | |
718 | } | |
719 | ||
720 | size_t filei(0), filee(0); | |
721 | _foreach (file, files) try { | |
722 | const char *path(file.c_str()); | |
723 | const char *base = strrchr(path, '/'); | |
724 | char *temp(NULL), *dir; | |
725 | ||
726 | if (base != NULL) | |
727 | dir = strndup_(path, base++ - path + 1); | |
728 | else { | |
729 | dir = strdup(""); | |
730 | base = path; | |
731 | } | |
732 | ||
733 | if (flag_r) { | |
734 | size_t clip(_not(size_t)); { | |
735 | FatHeader fat_header(Map(path)); | |
736 | _foreach (mach_header, fat_header.GetMachHeaders()) { | |
737 | mach_header->flags = mach_header.Swap(mach_header.Swap(mach_header->flags) | MH_DYLDLINK); | |
738 | ||
739 | size_t size(_not(size_t)); { | |
740 | _foreach (load_command, mach_header.GetLoadCommands()) { | |
741 | switch (mach_header.Swap(load_command->cmd)) { | |
742 | case LC_CODE_SIGNATURE: { | |
743 | struct linkedit_data_command *signature = reinterpret_cast<struct linkedit_data_command *>(load_command); | |
744 | memset(signature, 0, sizeof(struct linkedit_data_command)); | |
745 | ||
746 | mach_header->ncmds -= 1; | |
747 | mach_header->sizeofcmds -= sizeof(struct linkedit_data_command); | |
748 | } break; | |
749 | ||
750 | case LC_SYMTAB: { | |
751 | struct symtab_command *symtab = reinterpret_cast<struct symtab_command *>(load_command); | |
752 | size = symtab->stroff + symtab->strsize; | |
753 | } break; | |
754 | } | |
755 | } | |
756 | ||
757 | _foreach (segment, const_cast<MachHeader &>(mach_header).GetSegments("__LINKEDIT")) { | |
758 | segment->filesize -= mach_header.GetSize() - size; | |
759 | ||
760 | if (!fat_header.IsFat()) | |
761 | clip = size; | |
762 | else | |
763 | _assert(false); | |
764 | } | |
765 | } | |
766 | } | |
767 | } | |
768 | ||
769 | if (clip != _not(size_t)) | |
770 | _syscall(truncate(path, clip)); | |
771 | } | |
772 | ||
773 | if (flag_S) { | |
774 | asprintf(&temp, "%s.%s.cs", dir, base); | |
775 | const char *allocate = getenv("CODESIGN_ALLOCATE"); | |
776 | if (allocate == NULL) | |
777 | allocate = "codesign_allocate"; | |
778 | ||
779 | std::vector<CodesignAllocation> allocations; { | |
780 | FatHeader fat_header(Map(path)); | |
781 | _foreach (mach_header, fat_header.GetMachHeaders()) { | |
782 | mach_header->flags = mach_header.Swap(mach_header.Swap(mach_header->flags) | MH_DYLDLINK); | |
783 | ||
784 | size_t size(_not(size_t)); { | |
785 | _foreach (load_command, mach_header.GetLoadCommands()) { | |
786 | uint32_t cmd(mach_header.Swap(load_command->cmd)); | |
787 | if (cmd == LC_CODE_SIGNATURE) { | |
788 | struct linkedit_data_command *signature = reinterpret_cast<struct linkedit_data_command *>(load_command); | |
789 | size = mach_header.Swap(signature->dataoff); | |
790 | _assert(size < mach_header.GetSize()); | |
791 | break; | |
792 | } | |
793 | } | |
794 | ||
795 | if (size == _not(size_t)) | |
796 | size = mach_header.GetSize(); | |
797 | } | |
798 | ||
799 | allocations.push_back(CodesignAllocation(mach_header.GetCPUType(), mach_header.GetCPUSubtype(), size)); | |
800 | } | |
801 | } | |
802 | ||
803 | pid_t pid = fork(); | |
804 | _syscall(pid); | |
805 | if (pid == 0) { | |
806 | // XXX: this leaks memory, but it doesn't really matter | |
807 | std::vector<const char *> args; | |
808 | char *arg; | |
809 | ||
810 | args.push_back(allocate); | |
811 | ||
812 | args.push_back("-i"); | |
813 | args.push_back(path); | |
814 | ||
815 | _foreach (allocation, allocations) { | |
816 | args.push_back("-A"); | |
817 | ||
818 | asprintf(&arg, "%u", allocation.type_); | |
819 | args.push_back(arg); | |
820 | ||
821 | asprintf(&arg, "%u", allocation.subtype_); | |
822 | args.push_back(arg); | |
823 | ||
824 | size_t alloc(0); | |
825 | alloc += sizeof(struct SuperBlob); | |
826 | uint32_t special(0); | |
827 | ||
828 | special = std::max(special, CSSLOT_CODEDIRECTORY); | |
829 | alloc += sizeof(struct BlobIndex); | |
830 | alloc += sizeof(struct CodeDirectory); | |
831 | alloc += strlen(base) + 1; | |
832 | ||
833 | special = std::max(special, CSSLOT_REQUIREMENTS); | |
834 | alloc += sizeof(struct BlobIndex); | |
835 | alloc += 0xc; | |
836 | ||
837 | if (xmld != NULL) { | |
838 | special = std::max(special, CSSLOT_ENTITLEMENTS); | |
839 | alloc += sizeof(struct BlobIndex); | |
840 | alloc += sizeof(struct Blob); | |
841 | alloc += xmls; | |
842 | } | |
843 | ||
844 | size_t normal((allocation.size_ + 0x1000 - 1) / 0x1000); | |
845 | alloc += (special + normal) * 0x14; | |
846 | ||
847 | alloc += 15; | |
848 | alloc /= 16; | |
849 | alloc *= 16; | |
850 | ||
851 | asprintf(&arg, "%u", alloc); | |
852 | args.push_back(arg); | |
853 | } | |
854 | ||
855 | args.push_back("-o"); | |
856 | args.push_back(temp); | |
857 | ||
858 | args.push_back(NULL); | |
859 | ||
860 | if (false) { | |
861 | printf("run:"); | |
862 | _foreach (arg, args) | |
863 | printf(" %s", arg); | |
864 | printf("\n"); | |
865 | } | |
866 | ||
867 | execvp(allocate, (char **) &args[0]); | |
868 | _assert(false); | |
869 | } | |
870 | ||
871 | int status; | |
872 | _syscall(waitpid(pid, &status, 0)); | |
873 | _assert(WIFEXITED(status)); | |
874 | _assert(WEXITSTATUS(status) == 0); | |
875 | } | |
876 | ||
877 | if (flag_p) | |
878 | printf("path%zu='%s'\n", filei, file.c_str()); | |
879 | ||
880 | FatHeader fat_header(Map(temp == NULL ? path : temp)); | |
881 | struct linkedit_data_command *signature(NULL); | |
882 | ||
883 | _foreach (mach_header, fat_header.GetMachHeaders()) { | |
884 | if (woffset != _not(uintptr_t)) { | |
885 | Pointer<uint32_t> wvalue(mach_header.GetPointer<uint32_t>(woffset)); | |
886 | if (wvalue == NULL) | |
887 | printf("(null) %p\n", reinterpret_cast<void *>(woffset)); | |
888 | else | |
889 | printf("0x%.08x\n", *wvalue); | |
890 | } | |
891 | ||
892 | if (noffset != _not(uintptr_t)) | |
893 | printf("%s\n", &*mach_header.GetPointer<char>(noffset)); | |
894 | ||
895 | _foreach (load_command, mach_header.GetLoadCommands()) { | |
896 | uint32_t cmd(mach_header.Swap(load_command->cmd)); | |
897 | ||
898 | if (flag_R && cmd == LC_REEXPORT_DYLIB) | |
899 | load_command->cmd = mach_header.Swap(LC_LOAD_DYLIB); | |
900 | else if (cmd == LC_CODE_SIGNATURE) | |
901 | signature = reinterpret_cast<struct linkedit_data_command *>(load_command); | |
902 | else if (cmd == LC_UUID) { | |
903 | volatile struct uuid_command *uuid_command(reinterpret_cast<struct uuid_command *>(load_command)); | |
904 | ||
905 | if (flag_u) { | |
906 | printf("uuid%zu=%.2x%.2x%.2x%.2x-%.2x%.2x-%.2x%.2x-%.2x%.2x-%.2x%.2x%.2x%.2x%.2x%.2x\n", filei, | |
907 | uuid_command->uuid[ 0], uuid_command->uuid[ 1], uuid_command->uuid[ 2], uuid_command->uuid[ 3], | |
908 | uuid_command->uuid[ 4], uuid_command->uuid[ 5], uuid_command->uuid[ 6], uuid_command->uuid[ 7], | |
909 | uuid_command->uuid[ 8], uuid_command->uuid[ 9], uuid_command->uuid[10], uuid_command->uuid[11], | |
910 | uuid_command->uuid[12], uuid_command->uuid[13], uuid_command->uuid[14], uuid_command->uuid[15] | |
911 | ); | |
912 | } | |
913 | } else if (cmd == LC_ID_DYLIB) { | |
914 | volatile struct dylib_command *dylib_command(reinterpret_cast<struct dylib_command *>(load_command)); | |
915 | ||
916 | if (flag_t) | |
917 | printf("time%zu=0x%.8x\n", filei, mach_header.Swap(dylib_command->dylib.timestamp)); | |
918 | ||
919 | if (flag_T) { | |
920 | uint32_t timed; | |
921 | ||
922 | if (!timeh) | |
923 | timed = timev; | |
924 | else { | |
925 | dylib_command->dylib.timestamp = 0; | |
926 | timed = hash(reinterpret_cast<uint8_t *>(mach_header.GetBase()), mach_header.GetSize(), timev); | |
927 | } | |
928 | ||
929 | dylib_command->dylib.timestamp = mach_header.Swap(timed); | |
930 | } | |
931 | } | |
932 | } | |
933 | ||
934 | if (flag_e) { | |
935 | _assert(signature != NULL); | |
936 | ||
937 | uint32_t data = mach_header.Swap(signature->dataoff); | |
938 | uint32_t size = mach_header.Swap(signature->datasize); | |
939 | ||
940 | uint8_t *top = reinterpret_cast<uint8_t *>(mach_header.GetBase()); | |
941 | uint8_t *blob = top + data; | |
942 | struct SuperBlob *super = reinterpret_cast<struct SuperBlob *>(blob); | |
943 | ||
944 | for (size_t index(0); index != Swap(super->count); ++index) | |
945 | if (Swap(super->index[index].type) == CSSLOT_ENTITLEMENTS) { | |
946 | uint32_t begin = Swap(super->index[index].offset); | |
947 | struct Blob *entitlements = reinterpret_cast<struct Blob *>(blob + begin); | |
948 | fwrite(entitlements + 1, 1, Swap(entitlements->length) - sizeof(struct Blob), stdout); | |
949 | } | |
950 | } | |
951 | ||
952 | if (flag_s) { | |
953 | _assert(signature != NULL); | |
954 | ||
955 | uint32_t data = mach_header.Swap(signature->dataoff); | |
956 | uint32_t size = mach_header.Swap(signature->datasize); | |
957 | ||
958 | uint8_t *top = reinterpret_cast<uint8_t *>(mach_header.GetBase()); | |
959 | uint8_t *blob = top + data; | |
960 | struct SuperBlob *super = reinterpret_cast<struct SuperBlob *>(blob); | |
961 | ||
962 | for (size_t index(0); index != Swap(super->count); ++index) | |
963 | if (Swap(super->index[index].type) == CSSLOT_CODEDIRECTORY) { | |
964 | uint32_t begin = Swap(super->index[index].offset); | |
965 | struct CodeDirectory *directory = reinterpret_cast<struct CodeDirectory *>(blob + begin); | |
966 | ||
967 | uint8_t (*hashes)[20] = reinterpret_cast<uint8_t (*)[20]>(blob + begin + Swap(directory->hashOffset)); | |
968 | uint32_t pages = Swap(directory->nCodeSlots); | |
969 | ||
970 | if (pages != 1) | |
971 | for (size_t i = 0; i != pages - 1; ++i) | |
972 | sha1(hashes[i], top + 0x1000 * i, 0x1000); | |
973 | if (pages != 0) | |
974 | sha1(hashes[pages - 1], top + 0x1000 * (pages - 1), ((data - 1) % 0x1000) + 1); | |
975 | } | |
976 | } | |
977 | ||
978 | if (flag_S) { | |
979 | _assert(signature != NULL); | |
980 | ||
981 | uint32_t data = mach_header.Swap(signature->dataoff); | |
982 | uint32_t size = mach_header.Swap(signature->datasize); | |
983 | ||
984 | uint8_t *top = reinterpret_cast<uint8_t *>(mach_header.GetBase()); | |
985 | uint8_t *blob = top + data; | |
986 | struct SuperBlob *super = reinterpret_cast<struct SuperBlob *>(blob); | |
987 | super->blob.magic = Swap(CSMAGIC_EMBEDDED_SIGNATURE); | |
988 | ||
989 | uint32_t count = xmld == NULL ? 2 : 3; | |
990 | uint32_t offset = sizeof(struct SuperBlob) + count * sizeof(struct BlobIndex); | |
991 | ||
992 | super->index[0].type = Swap(CSSLOT_CODEDIRECTORY); | |
993 | super->index[0].offset = Swap(offset); | |
994 | ||
995 | uint32_t begin = offset; | |
996 | struct CodeDirectory *directory = reinterpret_cast<struct CodeDirectory *>(blob + begin); | |
997 | offset += sizeof(struct CodeDirectory); | |
998 | ||
999 | directory->blob.magic = Swap(CSMAGIC_CODEDIRECTORY); | |
1000 | directory->version = Swap(uint32_t(0x00020001)); | |
1001 | directory->flags = Swap(uint32_t(0)); | |
1002 | directory->codeLimit = Swap(data); | |
1003 | directory->hashSize = 0x14; | |
1004 | directory->hashType = 0x01; | |
1005 | directory->spare1 = 0x00; | |
1006 | directory->pageSize = 0x0c; | |
1007 | directory->spare2 = Swap(uint32_t(0)); | |
1008 | ||
1009 | directory->identOffset = Swap(offset - begin); | |
1010 | strcpy(reinterpret_cast<char *>(blob + offset), base); | |
1011 | offset += strlen(base) + 1; | |
1012 | ||
1013 | uint32_t special = xmld == NULL ? CSSLOT_REQUIREMENTS : CSSLOT_ENTITLEMENTS; | |
1014 | directory->nSpecialSlots = Swap(special); | |
1015 | ||
1016 | uint8_t (*hashes)[20] = reinterpret_cast<uint8_t (*)[20]>(blob + offset); | |
1017 | memset(hashes, 0, sizeof(*hashes) * special); | |
1018 | ||
1019 | offset += sizeof(*hashes) * special; | |
1020 | hashes += special; | |
1021 | ||
1022 | uint32_t pages = (data + 0x1000 - 1) / 0x1000; | |
1023 | directory->nCodeSlots = Swap(pages); | |
1024 | ||
1025 | if (pages != 1) | |
1026 | for (size_t i = 0; i != pages - 1; ++i) | |
1027 | sha1(hashes[i], top + 0x1000 * i, 0x1000); | |
1028 | if (pages != 0) | |
1029 | sha1(hashes[pages - 1], top + 0x1000 * (pages - 1), ((data - 1) % 0x1000) + 1); | |
1030 | ||
1031 | directory->hashOffset = Swap(offset - begin); | |
1032 | offset += sizeof(*hashes) * pages; | |
1033 | directory->blob.length = Swap(offset - begin); | |
1034 | ||
1035 | super->index[1].type = Swap(CSSLOT_REQUIREMENTS); | |
1036 | super->index[1].offset = Swap(offset); | |
1037 | ||
1038 | memcpy(blob + offset, "\xfa\xde\x0c\x01\x00\x00\x00\x0c\x00\x00\x00\x00", 0xc); | |
1039 | offset += 0xc; | |
1040 | ||
1041 | if (xmld != NULL) { | |
1042 | super->index[2].type = Swap(CSSLOT_ENTITLEMENTS); | |
1043 | super->index[2].offset = Swap(offset); | |
1044 | ||
1045 | uint32_t begin = offset; | |
1046 | struct Blob *entitlements = reinterpret_cast<struct Blob *>(blob + begin); | |
1047 | offset += sizeof(struct Blob); | |
1048 | ||
1049 | memcpy(blob + offset, xmld, xmls); | |
1050 | offset += xmls; | |
1051 | ||
1052 | entitlements->magic = Swap(CSMAGIC_ENTITLEMENTS); | |
1053 | entitlements->length = Swap(offset - begin); | |
1054 | } | |
1055 | ||
1056 | for (size_t index(0); index != count; ++index) { | |
1057 | uint32_t type = Swap(super->index[index].type); | |
1058 | if (type != 0 && type <= special) { | |
1059 | uint32_t offset = Swap(super->index[index].offset); | |
1060 | struct Blob *local = (struct Blob *) (blob + offset); | |
1061 | sha1((uint8_t *) (hashes - type), (uint8_t *) local, Swap(local->length)); | |
1062 | } | |
1063 | } | |
1064 | ||
1065 | super->count = Swap(count); | |
1066 | super->blob.length = Swap(offset); | |
1067 | ||
1068 | if (offset > size) { | |
1069 | fprintf(stderr, "offset (%u) > size (%u)\n", offset, size); | |
1070 | _assert(false); | |
1071 | } //else fprintf(stderr, "offset (%zu) <= size (%zu)\n", offset, size); | |
1072 | ||
1073 | memset(blob + offset, 0, size - offset); | |
1074 | } | |
1075 | } | |
1076 | ||
1077 | if (flag_S) { | |
1078 | uint8_t *top = reinterpret_cast<uint8_t *>(fat_header.GetBase()); | |
1079 | size_t size = fat_header.GetSize(); | |
1080 | ||
1081 | char *copy; | |
1082 | asprintf(©, "%s.%s.cp", dir, base); | |
1083 | FILE *file = fopen(copy, "w+"); | |
1084 | size_t writ = fwrite(top, 1, size, file); | |
1085 | _assert(writ == size); | |
1086 | fclose(file); | |
1087 | ||
1088 | _syscall(unlink(temp)); | |
1089 | free(temp); | |
1090 | temp = copy; | |
1091 | } | |
1092 | ||
1093 | if (temp != NULL) { | |
1094 | struct stat info; | |
1095 | _syscall(stat(path, &info)); | |
1096 | _syscall(chown(temp, info.st_uid, info.st_gid)); | |
1097 | _syscall(chmod(temp, info.st_mode)); | |
1098 | _syscall(unlink(path)); | |
1099 | _syscall(rename(temp, path)); | |
1100 | free(temp); | |
1101 | } | |
1102 | ||
1103 | free(dir); | |
1104 | ++filei; | |
1105 | } catch (const char *) { | |
1106 | ++filee; | |
1107 | ++filei; | |
1108 | } | |
1109 | ||
1110 | return filee; | |
1111 | } |