]> git.cameronkatri.com Git - ldid.git/blob - ldid.cpp
1eacfb760e0a433ba7bfec8b92b05a5a28c40373
[ldid.git] / ldid.cpp
1 /* ldid - (Mach-O) Link-Loader Identity Editor
2 * Copyright (C) 2007-2015 Jay Freeman (saurik)
3 */
4
5 /* GNU Affero General Public License, Version 3 {{{ */
6 /*
7 * This program is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU Affero General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU Affero General Public License for more details.
16
17 * You should have received a copy of the GNU Affero General Public License
18 * along with this program. If not, see <http://www.gnu.org/licenses/>.
19 **/
20 /* }}} */
21
22 #include <cstdio>
23 #include <cstdlib>
24 #include <cstring>
25 #include <fstream>
26 #include <iostream>
27 #include <memory>
28 #include <set>
29 #include <sstream>
30 #include <string>
31 #include <vector>
32
33 #include <dirent.h>
34 #include <errno.h>
35 #include <fcntl.h>
36 #include <regex.h>
37 #include <stdbool.h>
38 #include <stdint.h>
39 #include <unistd.h>
40
41 #include <sys/mman.h>
42 #include <sys/stat.h>
43 #include <sys/types.h>
44
45 #ifndef LDID_NOSMIME
46 #include <openssl/err.h>
47 #include <openssl/pem.h>
48 #include <openssl/pkcs7.h>
49 #include <openssl/pkcs12.h>
50 #endif
51
52 #ifdef __APPLE__
53 #include <CommonCrypto/CommonDigest.h>
54
55 #define LDID_SHA1_DIGEST_LENGTH CC_SHA1_DIGEST_LENGTH
56 #define LDID_SHA1 CC_SHA1
57 #define LDID_SHA1_CTX CC_SHA1_CTX
58 #define LDID_SHA1_Init CC_SHA1_Init
59 #define LDID_SHA1_Update CC_SHA1_Update
60 #define LDID_SHA1_Final CC_SHA1_Final
61
62 #define LDID_SHA256_DIGEST_LENGTH CC_SHA256_DIGEST_LENGTH
63 #define LDID_SHA256 CC_SHA256
64 #define LDID_SHA256_CTX CC_SHA256_CTX
65 #define LDID_SHA256_Init CC_SHA256_Init
66 #define LDID_SHA256_Update CC_SHA256_Update
67 #define LDID_SHA256_Final CC_SHA256_Final
68 #else
69 #include <openssl/sha.h>
70
71 #define LDID_SHA1_DIGEST_LENGTH SHA_DIGEST_LENGTH
72 #define LDID_SHA1 SHA1
73 #define LDID_SHA1_CTX SHA_CTX
74 #define LDID_SHA1_Init SHA1_Init
75 #define LDID_SHA1_Update SHA1_Update
76 #define LDID_SHA1_Final SHA1_Final
77
78 #define LDID_SHA256_DIGEST_LENGTH SHA256_DIGEST_LENGTH
79 #define LDID_SHA256 SHA256
80 #define LDID_SHA256_CTX SHA256_CTX
81 #define LDID_SHA256_Init SHA256_Init
82 #define LDID_SHA256_Update SHA256_Update
83 #define LDID_SHA256_Final SHA256_Final
84 #endif
85
86 #ifndef LDID_NOPLIST
87 #include <plist/plist.h>
88 #endif
89
90 #include "ldid.hpp"
91
92 #define _assert___(line) \
93 #line
94 #define _assert__(line) \
95 _assert___(line)
96
97 #ifdef __EXCEPTIONS
98 #define _assert_(expr, format, ...) \
99 do if (!(expr)) { \
100 fprintf(stderr, "%s(%u): _assert(): " format "\n", __FILE__, __LINE__, ## __VA_ARGS__); \
101 throw __FILE__ "(" _assert__(__LINE__) "): _assert(" #expr ")"; \
102 } while (false)
103 #else
104 // XXX: this is not acceptable
105 #define _assert_(expr, format, ...) \
106 do if (!(expr)) { \
107 fprintf(stderr, "%s(%u): _assert(): " format "\n", __FILE__, __LINE__, ## __VA_ARGS__); \
108 exit(-1); \
109 } while (false)
110 #endif
111
112 #define _assert(expr) \
113 _assert_(expr, "%s", #expr)
114
115 #define _syscall(expr, ...) [&] { for (;;) { \
116 auto _value(expr); \
117 if ((long) _value != -1) \
118 return _value; \
119 int error(errno); \
120 if (error == EINTR) \
121 continue; \
122 /* XXX: EINTR is included in this list to fix g++ */ \
123 for (auto success : (long[]) {EINTR, __VA_ARGS__}) \
124 if (error == success) \
125 return (decltype(expr)) -success; \
126 _assert_(false, "errno=%u", error); \
127 } }()
128
129 #define _trace() \
130 fprintf(stderr, "_trace(%s:%u): %s\n", __FILE__, __LINE__, __FUNCTION__)
131
132 #define _not(type) \
133 ((type) ~ (type) 0)
134
135 #define _packed \
136 __attribute__((packed))
137
138 template <typename Type_>
139 struct Iterator_ {
140 typedef typename Type_::const_iterator Result;
141 };
142
143 #define _foreach(item, list) \
144 for (bool _stop(true); _stop; ) \
145 for (const __typeof__(list) &_list = (list); _stop; _stop = false) \
146 for (Iterator_<__typeof__(list)>::Result _item = _list.begin(); _item != _list.end(); ++_item) \
147 for (bool _suck(true); _suck; _suck = false) \
148 for (const __typeof__(*_item) &item = *_item; _suck; _suck = false)
149
150 class _Scope {
151 };
152
153 template <typename Function_>
154 class Scope :
155 public _Scope
156 {
157 private:
158 Function_ function_;
159
160 public:
161 Scope(const Function_ &function) :
162 function_(function)
163 {
164 }
165
166 ~Scope() {
167 function_();
168 }
169 };
170
171 template <typename Function_>
172 Scope<Function_> _scope(const Function_ &function) {
173 return Scope<Function_>(function);
174 }
175
176 #define _scope__(counter, function) \
177 __attribute__((__unused__)) \
178 const _Scope &_scope ## counter(_scope([&]function))
179 #define _scope_(counter, function) \
180 _scope__(counter, function)
181 #define _scope(function) \
182 _scope_(__COUNTER__, function)
183
184 #define CPU_ARCH_MASK uint32_t(0xff000000)
185 #define CPU_ARCH_ABI64 uint32_t(0x01000000)
186
187 #define CPU_TYPE_ANY uint32_t(-1)
188 #define CPU_TYPE_VAX uint32_t( 1)
189 #define CPU_TYPE_MC680x0 uint32_t( 6)
190 #define CPU_TYPE_X86 uint32_t( 7)
191 #define CPU_TYPE_MC98000 uint32_t(10)
192 #define CPU_TYPE_HPPA uint32_t(11)
193 #define CPU_TYPE_ARM uint32_t(12)
194 #define CPU_TYPE_MC88000 uint32_t(13)
195 #define CPU_TYPE_SPARC uint32_t(14)
196 #define CPU_TYPE_I860 uint32_t(15)
197 #define CPU_TYPE_POWERPC uint32_t(18)
198
199 #define CPU_TYPE_I386 CPU_TYPE_X86
200
201 #define CPU_TYPE_ARM64 (CPU_ARCH_ABI64 | CPU_TYPE_ARM)
202 #define CPU_TYPE_POWERPC64 (CPU_ARCH_ABI64 | CPU_TYPE_POWERPC)
203 #define CPU_TYPE_X86_64 (CPU_ARCH_ABI64 | CPU_TYPE_X86)
204
205 struct fat_header {
206 uint32_t magic;
207 uint32_t nfat_arch;
208 } _packed;
209
210 #define FAT_MAGIC 0xcafebabe
211 #define FAT_CIGAM 0xbebafeca
212
213 struct fat_arch {
214 uint32_t cputype;
215 uint32_t cpusubtype;
216 uint32_t offset;
217 uint32_t size;
218 uint32_t align;
219 } _packed;
220
221 struct mach_header {
222 uint32_t magic;
223 uint32_t cputype;
224 uint32_t cpusubtype;
225 uint32_t filetype;
226 uint32_t ncmds;
227 uint32_t sizeofcmds;
228 uint32_t flags;
229 } _packed;
230
231 #define MH_MAGIC 0xfeedface
232 #define MH_CIGAM 0xcefaedfe
233
234 #define MH_MAGIC_64 0xfeedfacf
235 #define MH_CIGAM_64 0xcffaedfe
236
237 #define MH_DYLDLINK 0x4
238
239 #define MH_OBJECT 0x1
240 #define MH_EXECUTE 0x2
241 #define MH_DYLIB 0x6
242 #define MH_BUNDLE 0x8
243 #define MH_DYLIB_STUB 0x9
244
245 struct load_command {
246 uint32_t cmd;
247 uint32_t cmdsize;
248 } _packed;
249
250 #define LC_REQ_DYLD uint32_t(0x80000000)
251
252 #define LC_SEGMENT uint32_t(0x01)
253 #define LC_SYMTAB uint32_t(0x02)
254 #define LC_DYSYMTAB uint32_t(0x0b)
255 #define LC_LOAD_DYLIB uint32_t(0x0c)
256 #define LC_ID_DYLIB uint32_t(0x0d)
257 #define LC_SEGMENT_64 uint32_t(0x19)
258 #define LC_UUID uint32_t(0x1b)
259 #define LC_CODE_SIGNATURE uint32_t(0x1d)
260 #define LC_SEGMENT_SPLIT_INFO uint32_t(0x1e)
261 #define LC_REEXPORT_DYLIB uint32_t(0x1f | LC_REQ_DYLD)
262 #define LC_ENCRYPTION_INFO uint32_t(0x21)
263 #define LC_DYLD_INFO uint32_t(0x22)
264 #define LC_DYLD_INFO_ONLY uint32_t(0x22 | LC_REQ_DYLD)
265 #define LC_ENCRYPTION_INFO_64 uint32_t(0x2c)
266
267 union Version {
268 struct {
269 uint8_t patch;
270 uint8_t minor;
271 uint16_t major;
272 } _packed;
273
274 uint32_t value;
275 };
276
277 struct dylib {
278 uint32_t name;
279 uint32_t timestamp;
280 uint32_t current_version;
281 uint32_t compatibility_version;
282 } _packed;
283
284 struct dylib_command {
285 uint32_t cmd;
286 uint32_t cmdsize;
287 struct dylib dylib;
288 } _packed;
289
290 struct uuid_command {
291 uint32_t cmd;
292 uint32_t cmdsize;
293 uint8_t uuid[16];
294 } _packed;
295
296 struct symtab_command {
297 uint32_t cmd;
298 uint32_t cmdsize;
299 uint32_t symoff;
300 uint32_t nsyms;
301 uint32_t stroff;
302 uint32_t strsize;
303 } _packed;
304
305 struct dyld_info_command {
306 uint32_t cmd;
307 uint32_t cmdsize;
308 uint32_t rebase_off;
309 uint32_t rebase_size;
310 uint32_t bind_off;
311 uint32_t bind_size;
312 uint32_t weak_bind_off;
313 uint32_t weak_bind_size;
314 uint32_t lazy_bind_off;
315 uint32_t lazy_bind_size;
316 uint32_t export_off;
317 uint32_t export_size;
318 } _packed;
319
320 struct dysymtab_command {
321 uint32_t cmd;
322 uint32_t cmdsize;
323 uint32_t ilocalsym;
324 uint32_t nlocalsym;
325 uint32_t iextdefsym;
326 uint32_t nextdefsym;
327 uint32_t iundefsym;
328 uint32_t nundefsym;
329 uint32_t tocoff;
330 uint32_t ntoc;
331 uint32_t modtaboff;
332 uint32_t nmodtab;
333 uint32_t extrefsymoff;
334 uint32_t nextrefsyms;
335 uint32_t indirectsymoff;
336 uint32_t nindirectsyms;
337 uint32_t extreloff;
338 uint32_t nextrel;
339 uint32_t locreloff;
340 uint32_t nlocrel;
341 } _packed;
342
343 struct dylib_table_of_contents {
344 uint32_t symbol_index;
345 uint32_t module_index;
346 } _packed;
347
348 struct dylib_module {
349 uint32_t module_name;
350 uint32_t iextdefsym;
351 uint32_t nextdefsym;
352 uint32_t irefsym;
353 uint32_t nrefsym;
354 uint32_t ilocalsym;
355 uint32_t nlocalsym;
356 uint32_t iextrel;
357 uint32_t nextrel;
358 uint32_t iinit_iterm;
359 uint32_t ninit_nterm;
360 uint32_t objc_module_info_addr;
361 uint32_t objc_module_info_size;
362 } _packed;
363
364 struct dylib_reference {
365 uint32_t isym:24;
366 uint32_t flags:8;
367 } _packed;
368
369 struct relocation_info {
370 int32_t r_address;
371 uint32_t r_symbolnum:24;
372 uint32_t r_pcrel:1;
373 uint32_t r_length:2;
374 uint32_t r_extern:1;
375 uint32_t r_type:4;
376 } _packed;
377
378 struct nlist {
379 union {
380 char *n_name;
381 int32_t n_strx;
382 } n_un;
383
384 uint8_t n_type;
385 uint8_t n_sect;
386 uint8_t n_desc;
387 uint32_t n_value;
388 } _packed;
389
390 struct segment_command {
391 uint32_t cmd;
392 uint32_t cmdsize;
393 char segname[16];
394 uint32_t vmaddr;
395 uint32_t vmsize;
396 uint32_t fileoff;
397 uint32_t filesize;
398 uint32_t maxprot;
399 uint32_t initprot;
400 uint32_t nsects;
401 uint32_t flags;
402 } _packed;
403
404 struct segment_command_64 {
405 uint32_t cmd;
406 uint32_t cmdsize;
407 char segname[16];
408 uint64_t vmaddr;
409 uint64_t vmsize;
410 uint64_t fileoff;
411 uint64_t filesize;
412 uint32_t maxprot;
413 uint32_t initprot;
414 uint32_t nsects;
415 uint32_t flags;
416 } _packed;
417
418 struct section {
419 char sectname[16];
420 char segname[16];
421 uint32_t addr;
422 uint32_t size;
423 uint32_t offset;
424 uint32_t align;
425 uint32_t reloff;
426 uint32_t nreloc;
427 uint32_t flags;
428 uint32_t reserved1;
429 uint32_t reserved2;
430 } _packed;
431
432 struct section_64 {
433 char sectname[16];
434 char segname[16];
435 uint64_t addr;
436 uint64_t size;
437 uint32_t offset;
438 uint32_t align;
439 uint32_t reloff;
440 uint32_t nreloc;
441 uint32_t flags;
442 uint32_t reserved1;
443 uint32_t reserved2;
444 uint32_t reserved3;
445 } _packed;
446
447 struct linkedit_data_command {
448 uint32_t cmd;
449 uint32_t cmdsize;
450 uint32_t dataoff;
451 uint32_t datasize;
452 } _packed;
453
454 struct encryption_info_command {
455 uint32_t cmd;
456 uint32_t cmdsize;
457 uint32_t cryptoff;
458 uint32_t cryptsize;
459 uint32_t cryptid;
460 } _packed;
461
462 #define BIND_OPCODE_MASK 0xf0
463 #define BIND_IMMEDIATE_MASK 0x0f
464 #define BIND_OPCODE_DONE 0x00
465 #define BIND_OPCODE_SET_DYLIB_ORDINAL_IMM 0x10
466 #define BIND_OPCODE_SET_DYLIB_ORDINAL_ULEB 0x20
467 #define BIND_OPCODE_SET_DYLIB_SPECIAL_IMM 0x30
468 #define BIND_OPCODE_SET_SYMBOL_TRAILING_FLAGS_IMM 0x40
469 #define BIND_OPCODE_SET_TYPE_IMM 0x50
470 #define BIND_OPCODE_SET_ADDEND_SLEB 0x60
471 #define BIND_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB 0x70
472 #define BIND_OPCODE_ADD_ADDR_ULEB 0x80
473 #define BIND_OPCODE_DO_BIND 0x90
474 #define BIND_OPCODE_DO_BIND_ADD_ADDR_ULEB 0xa0
475 #define BIND_OPCODE_DO_BIND_ADD_ADDR_IMM_SCALED 0xb0
476 #define BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB 0xc0
477
478 static std::streamsize read(std::streambuf &stream, void *data, size_t size) {
479 auto writ(stream.sgetn(static_cast<char *>(data), size));
480 _assert(writ >= 0);
481 return writ;
482 }
483
484 static inline void get(std::streambuf &stream, void *data, size_t size) {
485 _assert(read(stream, data, size) == size);
486 }
487
488 static inline void put(std::streambuf &stream, const void *data, size_t size) {
489 _assert(stream.sputn(static_cast<const char *>(data), size) == size);
490 }
491
492 static size_t most(std::streambuf &stream, void *data, size_t size) {
493 size_t total(size);
494 while (size > 0)
495 if (auto writ = read(stream, data, size))
496 size -= writ;
497 else break;
498 return total - size;
499 }
500
501 static inline void pad(std::streambuf &stream, size_t size) {
502 char padding[size];
503 memset(padding, 0, size);
504 put(stream, padding, size);
505 }
506
507 template <typename Type_>
508 Type_ Align(Type_ value, size_t align) {
509 value += align - 1;
510 value /= align;
511 value *= align;
512 return value;
513 }
514
515 static const uint8_t PageShift_(0x0c);
516 static const uint32_t PageSize_(1 << PageShift_);
517
518 static inline uint16_t Swap_(uint16_t value) {
519 return
520 ((value >> 8) & 0x00ff) |
521 ((value << 8) & 0xff00);
522 }
523
524 static inline uint32_t Swap_(uint32_t value) {
525 value = ((value >> 8) & 0x00ff00ff) |
526 ((value << 8) & 0xff00ff00);
527 value = ((value >> 16) & 0x0000ffff) |
528 ((value << 16) & 0xffff0000);
529 return value;
530 }
531
532 static inline uint64_t Swap_(uint64_t value) {
533 value = (value & 0x00000000ffffffff) << 32 | (value & 0xffffffff00000000) >> 32;
534 value = (value & 0x0000ffff0000ffff) << 16 | (value & 0xffff0000ffff0000) >> 16;
535 value = (value & 0x00ff00ff00ff00ff) << 8 | (value & 0xff00ff00ff00ff00) >> 8;
536 return value;
537 }
538
539 static inline int16_t Swap_(int16_t value) {
540 return Swap_(static_cast<uint16_t>(value));
541 }
542
543 static inline int32_t Swap_(int32_t value) {
544 return Swap_(static_cast<uint32_t>(value));
545 }
546
547 static inline int64_t Swap_(int64_t value) {
548 return Swap_(static_cast<uint64_t>(value));
549 }
550
551 static bool little_(true);
552
553 static inline uint16_t Swap(uint16_t value) {
554 return little_ ? Swap_(value) : value;
555 }
556
557 static inline uint32_t Swap(uint32_t value) {
558 return little_ ? Swap_(value) : value;
559 }
560
561 static inline uint64_t Swap(uint64_t value) {
562 return little_ ? Swap_(value) : value;
563 }
564
565 static inline int16_t Swap(int16_t value) {
566 return Swap(static_cast<uint16_t>(value));
567 }
568
569 static inline int32_t Swap(int32_t value) {
570 return Swap(static_cast<uint32_t>(value));
571 }
572
573 static inline int64_t Swap(int64_t value) {
574 return Swap(static_cast<uint64_t>(value));
575 }
576
577 class Swapped {
578 protected:
579 bool swapped_;
580
581 Swapped() :
582 swapped_(false)
583 {
584 }
585
586 public:
587 Swapped(bool swapped) :
588 swapped_(swapped)
589 {
590 }
591
592 template <typename Type_>
593 Type_ Swap(Type_ value) const {
594 return swapped_ ? Swap_(value) : value;
595 }
596 };
597
598 class Data :
599 public Swapped
600 {
601 private:
602 void *base_;
603 size_t size_;
604
605 public:
606 Data(void *base, size_t size) :
607 base_(base),
608 size_(size)
609 {
610 }
611
612 void *GetBase() const {
613 return base_;
614 }
615
616 size_t GetSize() const {
617 return size_;
618 }
619 };
620
621 class MachHeader :
622 public Data
623 {
624 private:
625 bool bits64_;
626
627 struct mach_header *mach_header_;
628 struct load_command *load_command_;
629
630 public:
631 MachHeader(void *base, size_t size) :
632 Data(base, size)
633 {
634 mach_header_ = (mach_header *) base;
635
636 switch (Swap(mach_header_->magic)) {
637 case MH_CIGAM:
638 swapped_ = !swapped_;
639 case MH_MAGIC:
640 bits64_ = false;
641 break;
642
643 case MH_CIGAM_64:
644 swapped_ = !swapped_;
645 case MH_MAGIC_64:
646 bits64_ = true;
647 break;
648
649 default:
650 _assert(false);
651 }
652
653 void *post = mach_header_ + 1;
654 if (bits64_)
655 post = (uint32_t *) post + 1;
656 load_command_ = (struct load_command *) post;
657
658 _assert(
659 Swap(mach_header_->filetype) == MH_EXECUTE ||
660 Swap(mach_header_->filetype) == MH_DYLIB ||
661 Swap(mach_header_->filetype) == MH_BUNDLE
662 );
663 }
664
665 bool Bits64() const {
666 return bits64_;
667 }
668
669 struct mach_header *operator ->() const {
670 return mach_header_;
671 }
672
673 operator struct mach_header *() const {
674 return mach_header_;
675 }
676
677 uint32_t GetCPUType() const {
678 return Swap(mach_header_->cputype);
679 }
680
681 uint32_t GetCPUSubtype() const {
682 return Swap(mach_header_->cpusubtype) & 0xff;
683 }
684
685 struct load_command *GetLoadCommand() const {
686 return load_command_;
687 }
688
689 std::vector<struct load_command *> GetLoadCommands() const {
690 std::vector<struct load_command *> load_commands;
691
692 struct load_command *load_command = load_command_;
693 for (uint32_t cmd = 0; cmd != Swap(mach_header_->ncmds); ++cmd) {
694 load_commands.push_back(load_command);
695 load_command = (struct load_command *) ((uint8_t *) load_command + Swap(load_command->cmdsize));
696 }
697
698 return load_commands;
699 }
700
701 void ForSection(const ldid::Functor<void (const char *, const char *, void *, size_t)> &code) const {
702 _foreach (load_command, GetLoadCommands())
703 switch (Swap(load_command->cmd)) {
704 case LC_SEGMENT: {
705 auto segment(reinterpret_cast<struct segment_command *>(load_command));
706 code(segment->segname, NULL, GetOffset<void>(segment->fileoff), segment->filesize);
707 auto section(reinterpret_cast<struct section *>(segment + 1));
708 for (uint32_t i(0), e(Swap(segment->nsects)); i != e; ++i, ++section)
709 code(segment->segname, section->sectname, GetOffset<void>(segment->fileoff + section->offset), section->size);
710 } break;
711
712 case LC_SEGMENT_64: {
713 auto segment(reinterpret_cast<struct segment_command_64 *>(load_command));
714 code(segment->segname, NULL, GetOffset<void>(segment->fileoff), segment->filesize);
715 auto section(reinterpret_cast<struct section_64 *>(segment + 1));
716 for (uint32_t i(0), e(Swap(segment->nsects)); i != e; ++i, ++section)
717 code(segment->segname, section->sectname, GetOffset<void>(segment->fileoff + section->offset), section->size);
718 } break;
719 }
720 }
721
722 template <typename Target_>
723 Target_ *GetOffset(uint32_t offset) const {
724 return reinterpret_cast<Target_ *>(offset + (uint8_t *) mach_header_);
725 }
726 };
727
728 class FatMachHeader :
729 public MachHeader
730 {
731 private:
732 fat_arch *fat_arch_;
733
734 public:
735 FatMachHeader(void *base, size_t size, fat_arch *fat_arch) :
736 MachHeader(base, size),
737 fat_arch_(fat_arch)
738 {
739 }
740
741 fat_arch *GetFatArch() const {
742 return fat_arch_;
743 }
744 };
745
746 class FatHeader :
747 public Data
748 {
749 private:
750 fat_header *fat_header_;
751 std::vector<FatMachHeader> mach_headers_;
752
753 public:
754 FatHeader(void *base, size_t size) :
755 Data(base, size)
756 {
757 fat_header_ = reinterpret_cast<struct fat_header *>(base);
758
759 if (Swap(fat_header_->magic) == FAT_CIGAM) {
760 swapped_ = !swapped_;
761 goto fat;
762 } else if (Swap(fat_header_->magic) != FAT_MAGIC) {
763 fat_header_ = NULL;
764 mach_headers_.push_back(FatMachHeader(base, size, NULL));
765 } else fat: {
766 size_t fat_narch = Swap(fat_header_->nfat_arch);
767 fat_arch *fat_arch = reinterpret_cast<struct fat_arch *>(fat_header_ + 1);
768 size_t arch;
769 for (arch = 0; arch != fat_narch; ++arch) {
770 uint32_t arch_offset = Swap(fat_arch->offset);
771 uint32_t arch_size = Swap(fat_arch->size);
772 mach_headers_.push_back(FatMachHeader((uint8_t *) base + arch_offset, arch_size, fat_arch));
773 ++fat_arch;
774 }
775 }
776 }
777
778 std::vector<FatMachHeader> &GetMachHeaders() {
779 return mach_headers_;
780 }
781
782 bool IsFat() const {
783 return fat_header_ != NULL;
784 }
785
786 struct fat_header *operator ->() const {
787 return fat_header_;
788 }
789
790 operator struct fat_header *() const {
791 return fat_header_;
792 }
793 };
794
795 #define CSMAGIC_REQUIREMENT uint32_t(0xfade0c00)
796 #define CSMAGIC_REQUIREMENTS uint32_t(0xfade0c01)
797 #define CSMAGIC_CODEDIRECTORY uint32_t(0xfade0c02)
798 #define CSMAGIC_EMBEDDED_SIGNATURE uint32_t(0xfade0cc0)
799 #define CSMAGIC_EMBEDDED_SIGNATURE_OLD uint32_t(0xfade0b02)
800 #define CSMAGIC_EMBEDDED_ENTITLEMENTS uint32_t(0xfade7171)
801 #define CSMAGIC_DETACHED_SIGNATURE uint32_t(0xfade0cc1)
802 #define CSMAGIC_BLOBWRAPPER uint32_t(0xfade0b01)
803
804 #define CSSLOT_CODEDIRECTORY uint32_t(0x00000)
805 #define CSSLOT_INFOSLOT uint32_t(0x00001)
806 #define CSSLOT_REQUIREMENTS uint32_t(0x00002)
807 #define CSSLOT_RESOURCEDIR uint32_t(0x00003)
808 #define CSSLOT_APPLICATION uint32_t(0x00004)
809 #define CSSLOT_ENTITLEMENTS uint32_t(0x00005)
810
811 #define CSSLOT_SIGNATURESLOT uint32_t(0x10000)
812
813 #define CS_HASHTYPE_SHA1 1
814
815 struct BlobIndex {
816 uint32_t type;
817 uint32_t offset;
818 } _packed;
819
820 struct Blob {
821 uint32_t magic;
822 uint32_t length;
823 } _packed;
824
825 struct SuperBlob {
826 struct Blob blob;
827 uint32_t count;
828 struct BlobIndex index[];
829 } _packed;
830
831 struct CodeDirectory {
832 uint32_t version;
833 uint32_t flags;
834 uint32_t hashOffset;
835 uint32_t identOffset;
836 uint32_t nSpecialSlots;
837 uint32_t nCodeSlots;
838 uint32_t codeLimit;
839 uint8_t hashSize;
840 uint8_t hashType;
841 uint8_t spare1;
842 uint8_t pageSize;
843 uint32_t spare2;
844 uint32_t scatterOffset;
845 uint32_t teamIDOffset;
846 uint32_t spare3;
847 uint64_t codeLimit64;
848 } _packed;
849
850 #ifndef LDID_NOFLAGT
851 extern "C" uint32_t hash(uint8_t *k, uint32_t length, uint32_t initval);
852 #endif
853
854 static void sha1(uint8_t *hash, const void *data, size_t size) {
855 LDID_SHA1(static_cast<const uint8_t *>(data), size, hash);
856 }
857
858 static void sha1(std::vector<char> &hash, const void *data, size_t size) {
859 hash.resize(LDID_SHA1_DIGEST_LENGTH);
860 sha1(reinterpret_cast<uint8_t *>(hash.data()), data, size);
861 }
862
863 struct CodesignAllocation {
864 FatMachHeader mach_header_;
865 uint32_t offset_;
866 uint32_t size_;
867 uint32_t limit_;
868 uint32_t alloc_;
869 uint32_t align_;
870
871 CodesignAllocation(FatMachHeader mach_header, size_t offset, size_t size, size_t limit, size_t alloc, size_t align) :
872 mach_header_(mach_header),
873 offset_(offset),
874 size_(size),
875 limit_(limit),
876 alloc_(alloc),
877 align_(align)
878 {
879 }
880 };
881
882 #ifndef LDID_NOTOOLS
883 class File {
884 private:
885 int file_;
886
887 public:
888 File() :
889 file_(-1)
890 {
891 }
892
893 ~File() {
894 if (file_ != -1)
895 _syscall(close(file_));
896 }
897
898 void open(const char *path, int flags) {
899 _assert(file_ == -1);
900 file_ = _syscall(::open(path, flags));
901 }
902
903 int file() const {
904 return file_;
905 }
906 };
907
908 class Map {
909 private:
910 File file_;
911 void *data_;
912 size_t size_;
913
914 void clear() {
915 if (data_ == NULL)
916 return;
917 _syscall(munmap(data_, size_));
918 data_ = NULL;
919 size_ = 0;
920 }
921
922 public:
923 Map() :
924 data_(NULL),
925 size_(0)
926 {
927 }
928
929 Map(const std::string &path, int oflag, int pflag, int mflag) :
930 Map()
931 {
932 open(path, oflag, pflag, mflag);
933 }
934
935 Map(const std::string &path, bool edit) :
936 Map()
937 {
938 open(path, edit);
939 }
940
941 ~Map() {
942 clear();
943 }
944
945 bool empty() const {
946 return data_ == NULL;
947 }
948
949 void open(const std::string &path, int oflag, int pflag, int mflag) {
950 clear();
951
952 file_.open(path.c_str(), oflag);
953 int file(file_.file());
954
955 struct stat stat;
956 _syscall(fstat(file, &stat));
957 size_ = stat.st_size;
958
959 data_ = _syscall(mmap(NULL, size_, pflag, mflag, file, 0));
960 }
961
962 void open(const std::string &path, bool edit) {
963 if (edit)
964 open(path, O_RDWR, PROT_READ | PROT_WRITE, MAP_SHARED);
965 else
966 open(path, O_RDONLY, PROT_READ, MAP_PRIVATE);
967 }
968
969 void *data() const {
970 return data_;
971 }
972
973 size_t size() const {
974 return size_;
975 }
976
977 operator std::string() const {
978 return std::string(static_cast<char *>(data_), size_);
979 }
980 };
981 #endif
982
983 namespace ldid {
984
985 std::string Analyze(const void *data, size_t size) {
986 std::string entitlements;
987
988 FatHeader fat_header(const_cast<void *>(data), size);
989 _foreach (mach_header, fat_header.GetMachHeaders())
990 _foreach (load_command, mach_header.GetLoadCommands())
991 if (mach_header.Swap(load_command->cmd) == LC_CODE_SIGNATURE) {
992 auto signature(reinterpret_cast<struct linkedit_data_command *>(load_command));
993 auto offset(mach_header.Swap(signature->dataoff));
994 auto pointer(reinterpret_cast<uint8_t *>(mach_header.GetBase()) + offset);
995 auto super(reinterpret_cast<struct SuperBlob *>(pointer));
996
997 for (size_t index(0); index != Swap(super->count); ++index)
998 if (Swap(super->index[index].type) == CSSLOT_ENTITLEMENTS) {
999 auto begin(Swap(super->index[index].offset));
1000 auto blob(reinterpret_cast<struct Blob *>(pointer + begin));
1001 auto writ(Swap(blob->length) - sizeof(*blob));
1002
1003 if (entitlements.empty())
1004 entitlements.assign(reinterpret_cast<char *>(blob + 1), writ);
1005 else
1006 _assert(entitlements.compare(0, entitlements.size(), reinterpret_cast<char *>(blob + 1), writ) == 0);
1007 }
1008 }
1009
1010 return entitlements;
1011 }
1012
1013 static void Allocate(const void *idata, size_t isize, std::streambuf &output, const Functor<size_t (const MachHeader &, size_t)> &allocate, const Functor<size_t (const MachHeader &, std::streambuf &output, size_t, const std::string &, const char *)> &save) {
1014 FatHeader source(const_cast<void *>(idata), isize);
1015
1016 size_t offset(0);
1017 if (source.IsFat())
1018 offset += sizeof(fat_header) + sizeof(fat_arch) * source.Swap(source->nfat_arch);
1019
1020 std::vector<CodesignAllocation> allocations;
1021 _foreach (mach_header, source.GetMachHeaders()) {
1022 struct linkedit_data_command *signature(NULL);
1023 struct symtab_command *symtab(NULL);
1024
1025 _foreach (load_command, mach_header.GetLoadCommands()) {
1026 uint32_t cmd(mach_header.Swap(load_command->cmd));
1027 if (false);
1028 else if (cmd == LC_CODE_SIGNATURE)
1029 signature = reinterpret_cast<struct linkedit_data_command *>(load_command);
1030 else if (cmd == LC_SYMTAB)
1031 symtab = reinterpret_cast<struct symtab_command *>(load_command);
1032 }
1033
1034 size_t size;
1035 if (signature == NULL)
1036 size = mach_header.GetSize();
1037 else {
1038 size = mach_header.Swap(signature->dataoff);
1039 _assert(size <= mach_header.GetSize());
1040 }
1041
1042 if (symtab != NULL) {
1043 auto end(mach_header.Swap(symtab->stroff) + mach_header.Swap(symtab->strsize));
1044 _assert(end <= size);
1045 _assert(end >= size - 0x10);
1046 size = end;
1047 }
1048
1049 size_t alloc(allocate(mach_header, size));
1050
1051 auto *fat_arch(mach_header.GetFatArch());
1052 uint32_t align;
1053
1054 if (fat_arch != NULL)
1055 align = source.Swap(fat_arch->align);
1056 else switch (mach_header.GetCPUType()) {
1057 case CPU_TYPE_POWERPC:
1058 case CPU_TYPE_POWERPC64:
1059 case CPU_TYPE_X86:
1060 case CPU_TYPE_X86_64:
1061 align = 0xc;
1062 break;
1063 case CPU_TYPE_ARM:
1064 case CPU_TYPE_ARM64:
1065 align = 0xe;
1066 break;
1067 default:
1068 align = 0x0;
1069 break;
1070 }
1071
1072 offset = Align(offset, 1 << align);
1073
1074 uint32_t limit(size);
1075 if (alloc != 0)
1076 limit = Align(limit, 0x10);
1077
1078 allocations.push_back(CodesignAllocation(mach_header, offset, size, limit, alloc, align));
1079 offset += size + alloc;
1080 offset = Align(offset, 0x10);
1081 }
1082
1083 size_t position(0);
1084
1085 if (source.IsFat()) {
1086 fat_header fat_header;
1087 fat_header.magic = Swap(FAT_MAGIC);
1088 fat_header.nfat_arch = Swap(uint32_t(allocations.size()));
1089 put(output, &fat_header, sizeof(fat_header));
1090 position += sizeof(fat_header);
1091
1092 _foreach (allocation, allocations) {
1093 auto &mach_header(allocation.mach_header_);
1094
1095 fat_arch fat_arch;
1096 fat_arch.cputype = Swap(mach_header->cputype);
1097 fat_arch.cpusubtype = Swap(mach_header->cpusubtype);
1098 fat_arch.offset = Swap(allocation.offset_);
1099 fat_arch.size = Swap(allocation.limit_ + allocation.alloc_);
1100 fat_arch.align = Swap(allocation.align_);
1101 put(output, &fat_arch, sizeof(fat_arch));
1102 position += sizeof(fat_arch);
1103 }
1104 }
1105
1106 _foreach (allocation, allocations) {
1107 auto &mach_header(allocation.mach_header_);
1108
1109 pad(output, allocation.offset_ - position);
1110 position = allocation.offset_;
1111
1112 std::vector<std::string> commands;
1113
1114 _foreach (load_command, mach_header.GetLoadCommands()) {
1115 std::string copy(reinterpret_cast<const char *>(load_command), load_command->cmdsize);
1116
1117 switch (mach_header.Swap(load_command->cmd)) {
1118 case LC_CODE_SIGNATURE:
1119 continue;
1120 break;
1121
1122 case LC_SEGMENT: {
1123 auto segment_command(reinterpret_cast<struct segment_command *>(&copy[0]));
1124 if (strncmp(segment_command->segname, "__LINKEDIT", 16) != 0)
1125 break;
1126 size_t size(mach_header.Swap(allocation.limit_ + allocation.alloc_ - mach_header.Swap(segment_command->fileoff)));
1127 segment_command->filesize = size;
1128 segment_command->vmsize = Align(size, 1 << allocation.align_);
1129 } break;
1130
1131 case LC_SEGMENT_64: {
1132 auto segment_command(reinterpret_cast<struct segment_command_64 *>(&copy[0]));
1133 if (strncmp(segment_command->segname, "__LINKEDIT", 16) != 0)
1134 break;
1135 size_t size(mach_header.Swap(allocation.limit_ + allocation.alloc_ - mach_header.Swap(segment_command->fileoff)));
1136 segment_command->filesize = size;
1137 segment_command->vmsize = Align(size, 1 << allocation.align_);
1138 } break;
1139 }
1140
1141 commands.push_back(copy);
1142 }
1143
1144 if (allocation.alloc_ != 0) {
1145 linkedit_data_command signature;
1146 signature.cmd = mach_header.Swap(LC_CODE_SIGNATURE);
1147 signature.cmdsize = mach_header.Swap(uint32_t(sizeof(signature)));
1148 signature.dataoff = mach_header.Swap(allocation.limit_);
1149 signature.datasize = mach_header.Swap(allocation.alloc_);
1150 commands.push_back(std::string(reinterpret_cast<const char *>(&signature), sizeof(signature)));
1151 }
1152
1153 size_t begin(position);
1154
1155 uint32_t after(0);
1156 _foreach(command, commands)
1157 after += command.size();
1158
1159 std::stringbuf altern;
1160
1161 struct mach_header header(*mach_header);
1162 header.ncmds = mach_header.Swap(uint32_t(commands.size()));
1163 header.sizeofcmds = mach_header.Swap(after);
1164 put(output, &header, sizeof(header));
1165 put(altern, &header, sizeof(header));
1166 position += sizeof(header);
1167
1168 if (mach_header.Bits64()) {
1169 auto pad(mach_header.Swap(uint32_t(0)));
1170 put(output, &pad, sizeof(pad));
1171 put(altern, &pad, sizeof(pad));
1172 position += sizeof(pad);
1173 }
1174
1175 _foreach(command, commands) {
1176 put(output, command.data(), command.size());
1177 put(altern, command.data(), command.size());
1178 position += command.size();
1179 }
1180
1181 uint32_t before(mach_header.Swap(mach_header->sizeofcmds));
1182 if (before > after) {
1183 pad(output, before - after);
1184 pad(altern, before - after);
1185 position += before - after;
1186 }
1187
1188 auto top(reinterpret_cast<char *>(mach_header.GetBase()));
1189
1190 std::string overlap(altern.str());
1191 overlap.append(top + overlap.size(), Align(overlap.size(), 0x1000) - overlap.size());
1192
1193 put(output, top + (position - begin), allocation.size_ - (position - begin));
1194 position = begin + allocation.size_;
1195
1196 pad(output, allocation.limit_ - allocation.size_);
1197 position += allocation.limit_ - allocation.size_;
1198
1199 size_t saved(save(mach_header, output, allocation.limit_, overlap, top));
1200 if (allocation.alloc_ > saved)
1201 pad(output, allocation.alloc_ - saved);
1202 else
1203 _assert(allocation.alloc_ == saved);
1204 position += allocation.alloc_;
1205 }
1206 }
1207
1208 }
1209
1210 typedef std::map<uint32_t, std::string> Blobs;
1211
1212 static void insert(Blobs &blobs, uint32_t slot, const std::stringbuf &buffer) {
1213 auto value(buffer.str());
1214 std::swap(blobs[slot], value);
1215 }
1216
1217 static const std::string &insert(Blobs &blobs, uint32_t slot, uint32_t magic, const std::stringbuf &buffer) {
1218 auto value(buffer.str());
1219 Blob blob;
1220 blob.magic = Swap(magic);
1221 blob.length = Swap(uint32_t(sizeof(blob) + value.size()));
1222 value.insert(0, reinterpret_cast<char *>(&blob), sizeof(blob));
1223 auto &save(blobs[slot]);
1224 std::swap(save, value);
1225 return save;
1226 }
1227
1228 static size_t put(std::streambuf &output, uint32_t magic, const Blobs &blobs) {
1229 size_t total(0);
1230 _foreach (blob, blobs)
1231 total += blob.second.size();
1232
1233 struct SuperBlob super;
1234 super.blob.magic = Swap(magic);
1235 super.blob.length = Swap(uint32_t(sizeof(SuperBlob) + blobs.size() * sizeof(BlobIndex) + total));
1236 super.count = Swap(uint32_t(blobs.size()));
1237 put(output, &super, sizeof(super));
1238
1239 size_t offset(sizeof(SuperBlob) + sizeof(BlobIndex) * blobs.size());
1240
1241 _foreach (blob, blobs) {
1242 BlobIndex index;
1243 index.type = Swap(blob.first);
1244 index.offset = Swap(uint32_t(offset));
1245 put(output, &index, sizeof(index));
1246 offset += blob.second.size();
1247 }
1248
1249 _foreach (blob, blobs)
1250 put(output, blob.second.data(), blob.second.size());
1251
1252 return offset;
1253 }
1254
1255 #ifndef LDID_NOSMIME
1256 class Buffer {
1257 private:
1258 BIO *bio_;
1259
1260 public:
1261 Buffer(BIO *bio) :
1262 bio_(bio)
1263 {
1264 _assert(bio_ != NULL);
1265 }
1266
1267 Buffer() :
1268 bio_(BIO_new(BIO_s_mem()))
1269 {
1270 }
1271
1272 Buffer(const char *data, size_t size) :
1273 Buffer(BIO_new_mem_buf(const_cast<char *>(data), size))
1274 {
1275 }
1276
1277 Buffer(const std::string &data) :
1278 Buffer(data.data(), data.size())
1279 {
1280 }
1281
1282 Buffer(PKCS7 *pkcs) :
1283 Buffer()
1284 {
1285 _assert(i2d_PKCS7_bio(bio_, pkcs) != 0);
1286 }
1287
1288 ~Buffer() {
1289 BIO_free_all(bio_);
1290 }
1291
1292 operator BIO *() const {
1293 return bio_;
1294 }
1295
1296 explicit operator std::string() const {
1297 char *data;
1298 auto size(BIO_get_mem_data(bio_, &data));
1299 return std::string(data, size);
1300 }
1301 };
1302
1303 class Stuff {
1304 private:
1305 PKCS12 *value_;
1306 EVP_PKEY *key_;
1307 X509 *cert_;
1308 STACK_OF(X509) *ca_;
1309
1310 public:
1311 Stuff(BIO *bio) :
1312 value_(d2i_PKCS12_bio(bio, NULL)),
1313 ca_(NULL)
1314 {
1315 _assert(value_ != NULL);
1316 _assert(PKCS12_parse(value_, "", &key_, &cert_, &ca_) != 0);
1317 _assert(key_ != NULL);
1318 _assert(cert_ != NULL);
1319 }
1320
1321 Stuff(const std::string &data) :
1322 Stuff(Buffer(data))
1323 {
1324 }
1325
1326 ~Stuff() {
1327 sk_X509_pop_free(ca_, X509_free);
1328 X509_free(cert_);
1329 EVP_PKEY_free(key_);
1330 PKCS12_free(value_);
1331 }
1332
1333 operator PKCS12 *() const {
1334 return value_;
1335 }
1336
1337 operator EVP_PKEY *() const {
1338 return key_;
1339 }
1340
1341 operator X509 *() const {
1342 return cert_;
1343 }
1344
1345 operator STACK_OF(X509) *() const {
1346 return ca_;
1347 }
1348 };
1349
1350 class Signature {
1351 private:
1352 PKCS7 *value_;
1353
1354 public:
1355 Signature(const Stuff &stuff, const Buffer &data) :
1356 value_(PKCS7_sign(stuff, stuff, stuff, data, PKCS7_BINARY | PKCS7_DETACHED))
1357 {
1358 _assert(value_ != NULL);
1359 }
1360
1361 ~Signature() {
1362 PKCS7_free(value_);
1363 }
1364
1365 operator PKCS7 *() const {
1366 return value_;
1367 }
1368 };
1369 #endif
1370
1371 class NullBuffer :
1372 public std::streambuf
1373 {
1374 public:
1375 virtual std::streamsize xsputn(const char_type *data, std::streamsize size) {
1376 return size;
1377 }
1378
1379 virtual int_type overflow(int_type next) {
1380 return next;
1381 }
1382 };
1383
1384 class Digest {
1385 public:
1386 uint8_t sha1_[LDID_SHA1_DIGEST_LENGTH];
1387 };
1388
1389 class Hash {
1390 public:
1391 char sha1_[LDID_SHA1_DIGEST_LENGTH];
1392 char sha256_[LDID_SHA256_DIGEST_LENGTH];
1393
1394 operator std::vector<char>() const {
1395 return {sha1_, sha1_ + sizeof(sha1_)};
1396 }
1397 };
1398
1399 class HashBuffer :
1400 public std::streambuf
1401 {
1402 private:
1403 Hash &hash_;
1404
1405 LDID_SHA1_CTX sha1_;
1406 LDID_SHA256_CTX sha256_;
1407
1408 public:
1409 HashBuffer(Hash &hash) :
1410 hash_(hash)
1411 {
1412 LDID_SHA1_Init(&sha1_);
1413 LDID_SHA256_Init(&sha256_);
1414 }
1415
1416 ~HashBuffer() {
1417 LDID_SHA1_Final(reinterpret_cast<uint8_t *>(hash_.sha1_), &sha1_);
1418 LDID_SHA256_Final(reinterpret_cast<uint8_t *>(hash_.sha256_), &sha256_);
1419 }
1420
1421 virtual std::streamsize xsputn(const char_type *data, std::streamsize size) {
1422 LDID_SHA1_Update(&sha1_, data, size);
1423 LDID_SHA256_Update(&sha256_, data, size);
1424 return size;
1425 }
1426
1427 virtual int_type overflow(int_type next) {
1428 if (next == traits_type::eof())
1429 return sync();
1430 char value(next);
1431 xsputn(&value, 1);
1432 return next;
1433 }
1434 };
1435
1436 class HashProxy :
1437 public HashBuffer
1438 {
1439 private:
1440 std::streambuf &buffer_;
1441
1442 public:
1443 HashProxy(Hash &hash, std::streambuf &buffer) :
1444 HashBuffer(hash),
1445 buffer_(buffer)
1446 {
1447 }
1448
1449 virtual std::streamsize xsputn(const char_type *data, std::streamsize size) {
1450 _assert(HashBuffer::xsputn(data, size) == size);
1451 return buffer_.sputn(data, size);
1452 }
1453 };
1454
1455 #ifndef LDID_NOTOOLS
1456 static bool Starts(const std::string &lhs, const std::string &rhs) {
1457 return lhs.size() >= rhs.size() && lhs.compare(0, rhs.size(), rhs) == 0;
1458 }
1459
1460 class Split {
1461 public:
1462 std::string dir;
1463 std::string base;
1464
1465 Split(const std::string &path) {
1466 size_t slash(path.rfind('/'));
1467 if (slash == std::string::npos)
1468 base = path;
1469 else {
1470 dir = path.substr(0, slash + 1);
1471 base = path.substr(slash + 1);
1472 }
1473 }
1474 };
1475
1476 static void mkdir_p(const std::string &path) {
1477 if (path.empty())
1478 return;
1479 #ifdef __WIN32__
1480 if (_syscall(mkdir(path.c_str()), EEXIST) == -EEXIST)
1481 return;
1482 #else
1483 if (_syscall(mkdir(path.c_str(), 0755), EEXIST) == -EEXIST)
1484 return;
1485 #endif
1486 auto slash(path.rfind('/', path.size() - 1));
1487 if (slash == std::string::npos)
1488 return;
1489 mkdir_p(path.substr(0, slash));
1490 }
1491
1492 static std::string Temporary(std::filebuf &file, const Split &split) {
1493 std::string temp(split.dir + ".ldid." + split.base);
1494 mkdir_p(split.dir);
1495 _assert_(file.open(temp.c_str(), std::ios::out | std::ios::trunc | std::ios::binary) == &file, "open(): %s", temp.c_str());
1496 return temp;
1497 }
1498
1499 static void Commit(const std::string &path, const std::string &temp) {
1500 struct stat info;
1501 if (_syscall(stat(path.c_str(), &info), ENOENT) == 0) {
1502 #ifndef __WIN32__
1503 _syscall(chown(temp.c_str(), info.st_uid, info.st_gid));
1504 #endif
1505 _syscall(chmod(temp.c_str(), info.st_mode));
1506 }
1507
1508 _syscall(rename(temp.c_str(), path.c_str()));
1509 }
1510 #endif
1511
1512 namespace ldid {
1513
1514 std::vector<char> Sign(const void *idata, size_t isize, std::streambuf &output, const std::string &identifier, const std::string &entitlements, const std::string &requirement, const std::string &key, const Slots &slots) {
1515 std::vector<char> hash(LDID_SHA1_DIGEST_LENGTH);
1516
1517 std::string team;
1518
1519 #ifndef LDID_NOSMIME
1520 if (!key.empty()) {
1521 Stuff stuff(key);
1522 auto name(X509_get_subject_name(stuff));
1523 _assert(name != NULL);
1524 auto index(X509_NAME_get_index_by_NID(name, NID_organizationalUnitName, -1));
1525 _assert(index >= 0);
1526 auto next(X509_NAME_get_index_by_NID(name, NID_organizationalUnitName, index));
1527 _assert(next == -1);
1528 auto entry(X509_NAME_get_entry(name, index));
1529 _assert(entry != NULL);
1530 auto asn(X509_NAME_ENTRY_get_data(entry));
1531 _assert(asn != NULL);
1532 team.assign(reinterpret_cast<char *>(ASN1_STRING_data(asn)), ASN1_STRING_length(asn));
1533 }
1534 #endif
1535
1536 // XXX: this is just a "sufficiently large number"
1537 size_t certificate(0x3000);
1538
1539 Allocate(idata, isize, output, fun([&](const MachHeader &mach_header, size_t size) -> size_t {
1540 size_t alloc(sizeof(struct SuperBlob));
1541
1542 uint32_t special(0);
1543
1544 special = std::max(special, CSSLOT_REQUIREMENTS);
1545 alloc += sizeof(struct BlobIndex);
1546 if (requirement.empty())
1547 alloc += 0xc;
1548 else
1549 alloc += requirement.size();
1550
1551 if (!entitlements.empty()) {
1552 special = std::max(special, CSSLOT_ENTITLEMENTS);
1553 alloc += sizeof(struct BlobIndex);
1554 alloc += sizeof(struct Blob);
1555 alloc += entitlements.size();
1556 }
1557
1558 special = std::max(special, CSSLOT_CODEDIRECTORY);
1559 alloc += sizeof(struct BlobIndex);
1560 alloc += sizeof(struct Blob);
1561 alloc += sizeof(struct CodeDirectory);
1562 alloc += identifier.size() + 1;
1563
1564 if (!team.empty())
1565 alloc += team.size() + 1;
1566
1567 if (!key.empty()) {
1568 alloc += sizeof(struct BlobIndex);
1569 alloc += sizeof(struct Blob);
1570 alloc += certificate;
1571 }
1572
1573 _foreach (slot, slots)
1574 special = std::max(special, slot.first);
1575
1576 mach_header.ForSection(fun([&](const char *segment, const char *section, void *data, size_t size) {
1577 if (strcmp(segment, "__TEXT") == 0 && section != NULL && strcmp(section, "__info_plist") == 0)
1578 special = std::max(special, CSSLOT_INFOSLOT);
1579 }));
1580
1581 uint32_t normal((size + PageSize_ - 1) / PageSize_);
1582 alloc = Align(alloc + (special + normal) * LDID_SHA1_DIGEST_LENGTH, 16);
1583 return alloc;
1584 }), fun([&](const MachHeader &mach_header, std::streambuf &output, size_t limit, const std::string &overlap, const char *top) -> size_t {
1585 Blobs blobs;
1586
1587 if (true) {
1588 std::stringbuf data;
1589
1590 if (requirement.empty()) {
1591 Blobs requirements;
1592 put(data, CSMAGIC_REQUIREMENTS, requirements);
1593 } else {
1594 put(data, requirement.data(), requirement.size());
1595 }
1596
1597 insert(blobs, CSSLOT_REQUIREMENTS, data);
1598 }
1599
1600 if (!entitlements.empty()) {
1601 std::stringbuf data;
1602 put(data, entitlements.data(), entitlements.size());
1603 insert(blobs, CSSLOT_ENTITLEMENTS, CSMAGIC_EMBEDDED_ENTITLEMENTS, data);
1604 }
1605
1606 if (true) {
1607 std::stringbuf data;
1608
1609 Slots posts(slots);
1610
1611 mach_header.ForSection(fun([&](const char *segment, const char *section, void *data, size_t size) {
1612 if (strcmp(segment, "__TEXT") == 0 && section != NULL && strcmp(section, "__info_plist") == 0)
1613 sha1(posts[CSSLOT_INFOSLOT], data, size);
1614 }));
1615
1616 uint32_t special(0);
1617 _foreach (blob, blobs)
1618 special = std::max(special, blob.first);
1619 _foreach (slot, posts)
1620 special = std::max(special, slot.first);
1621 uint32_t normal((limit + PageSize_ - 1) / PageSize_);
1622
1623 CodeDirectory directory;
1624 directory.version = Swap(uint32_t(0x00020200));
1625 directory.flags = Swap(uint32_t(0));
1626 directory.nSpecialSlots = Swap(special);
1627 directory.codeLimit = Swap(uint32_t(limit));
1628 directory.nCodeSlots = Swap(normal);
1629 directory.hashSize = LDID_SHA1_DIGEST_LENGTH;
1630 directory.hashType = CS_HASHTYPE_SHA1;
1631 directory.spare1 = 0x00;
1632 directory.pageSize = PageShift_;
1633 directory.spare2 = Swap(uint32_t(0));
1634 directory.scatterOffset = Swap(uint32_t(0));
1635 directory.spare3 = Swap(uint32_t(0));
1636 directory.codeLimit64 = Swap(uint64_t(0));
1637
1638 uint32_t offset(sizeof(Blob) + sizeof(CodeDirectory));
1639
1640 directory.identOffset = Swap(uint32_t(offset));
1641 offset += identifier.size() + 1;
1642
1643 if (team.empty())
1644 directory.teamIDOffset = Swap(uint32_t(0));
1645 else {
1646 directory.teamIDOffset = Swap(uint32_t(offset));
1647 offset += team.size() + 1;
1648 }
1649
1650 offset += LDID_SHA1_DIGEST_LENGTH * special;
1651 directory.hashOffset = Swap(uint32_t(offset));
1652 offset += LDID_SHA1_DIGEST_LENGTH * normal;
1653
1654 put(data, &directory, sizeof(directory));
1655
1656 put(data, identifier.c_str(), identifier.size() + 1);
1657 if (!team.empty())
1658 put(data, team.c_str(), team.size() + 1);
1659
1660 std::vector<Digest> storage(special + normal);
1661 auto *hashes(&storage[special]);
1662
1663 memset(storage.data(), 0, sizeof(Digest) * special);
1664
1665 _foreach (blob, blobs) {
1666 auto local(reinterpret_cast<const Blob *>(&blob.second[0]));
1667 sha1((hashes - blob.first)->sha1_, local, Swap(local->length));
1668 }
1669
1670 _foreach (slot, posts) {
1671 _assert(sizeof(*hashes) == slot.second.size());
1672 memcpy(hashes - slot.first, slot.second.data(), slot.second.size());
1673 }
1674
1675 if (normal != 1)
1676 for (size_t i = 0; i != normal - 1; ++i)
1677 sha1(hashes[i].sha1_, (PageSize_ * i < overlap.size() ? overlap.data() : top) + PageSize_ * i, PageSize_);
1678 if (normal != 0)
1679 sha1(hashes[normal - 1].sha1_, top + PageSize_ * (normal - 1), ((limit - 1) % PageSize_) + 1);
1680
1681 put(data, storage.data(), sizeof(Digest) * storage.size());
1682
1683 const auto &save(insert(blobs, CSSLOT_CODEDIRECTORY, CSMAGIC_CODEDIRECTORY, data));
1684 sha1(hash, save.data(), save.size());
1685 }
1686
1687 #ifndef LDID_NOSMIME
1688 if (!key.empty()) {
1689 std::stringbuf data;
1690 const std::string &sign(blobs[CSSLOT_CODEDIRECTORY]);
1691
1692 Stuff stuff(key);
1693 Buffer bio(sign);
1694
1695 Signature signature(stuff, sign);
1696 Buffer result(signature);
1697 std::string value(result);
1698 put(data, value.data(), value.size());
1699
1700 const auto &save(insert(blobs, CSSLOT_SIGNATURESLOT, CSMAGIC_BLOBWRAPPER, data));
1701 _assert(save.size() <= certificate);
1702 }
1703 #endif
1704
1705 return put(output, CSMAGIC_EMBEDDED_SIGNATURE, blobs);
1706 }));
1707
1708 return hash;
1709 }
1710
1711 #ifndef LDID_NOTOOLS
1712 static void Unsign(void *idata, size_t isize, std::streambuf &output) {
1713 Allocate(idata, isize, output, fun([](const MachHeader &mach_header, size_t size) -> size_t {
1714 return 0;
1715 }), fun([](const MachHeader &mach_header, std::streambuf &output, size_t limit, const std::string &overlap, const char *top) -> size_t {
1716 return 0;
1717 }));
1718 }
1719
1720 std::string DiskFolder::Path(const std::string &path) {
1721 return path_ + "/" + path;
1722 }
1723
1724 DiskFolder::DiskFolder(const std::string &path) :
1725 path_(path)
1726 {
1727 }
1728
1729 DiskFolder::~DiskFolder() {
1730 if (!std::uncaught_exception())
1731 for (const auto &commit : commit_)
1732 Commit(commit.first, commit.second);
1733 }
1734
1735 #ifndef __WIN32__
1736 std::string readlink(const std::string &path) {
1737 for (size_t size(1024); ; size *= 2) {
1738 std::string data;
1739 data.resize(size);
1740
1741 int writ(_syscall(::readlink(path.c_str(), &data[0], data.size())));
1742 if (size_t(writ) >= size)
1743 continue;
1744
1745 data.resize(writ);
1746 return data;
1747 }
1748 }
1749 #endif
1750
1751 void DiskFolder::Find(const std::string &root, const std::string &base, const Functor<void (const std::string &, const Functor<void (const Functor<void (std::streambuf &, std::streambuf &)> &)> &)> &code, const Functor<void (const std::string &, const Functor<std::string ()> &)> &link) {
1752 std::string path(Path(root) + base);
1753
1754 DIR *dir(opendir(path.c_str()));
1755 _assert(dir != NULL);
1756 _scope({ _syscall(closedir(dir)); });
1757
1758 while (auto child = readdir(dir)) {
1759 std::string name(child->d_name);
1760 if (name == "." || name == "..")
1761 continue;
1762 if (Starts(name, ".ldid."))
1763 continue;
1764
1765 bool directory;
1766
1767 #ifdef __WIN32__
1768 struct stat info;
1769 _syscall(stat((path + name).c_str(), &info));
1770 if (false);
1771 else if (S_ISDIR(info.st_mode))
1772 directory = true;
1773 else if (S_ISREG(info.st_mode))
1774 directory = false;
1775 else
1776 _assert_(false, "st_mode=%x", info.st_mode);
1777 #else
1778 switch (child->d_type) {
1779 case DT_DIR:
1780 directory = true;
1781 break;
1782 case DT_REG:
1783 directory = false;
1784 break;
1785 case DT_LNK:
1786 link(base + name, fun([&]() { return readlink(path + name); }));
1787 continue;
1788 default:
1789 _assert_(false, "d_type=%u", child->d_type);
1790 }
1791 #endif
1792
1793 if (directory)
1794 Find(root, base + name + "/", code, link);
1795 else
1796 code(base + name, fun([&](const Functor<void (std::streambuf &, std::streambuf &)> &code) {
1797 std::string access(root + base + name);
1798 Open(access, fun([&](std::streambuf &data, const void *flag) {
1799 auto from(path + name);
1800 std::filebuf save;
1801 commit_[from] = Temporary(save, from);
1802 code(data, save);
1803 }));
1804 }));
1805 }
1806 }
1807
1808 void DiskFolder::Save(const std::string &path, const void *flag, const Functor<void (std::streambuf &)> &code) {
1809 std::filebuf save;
1810 auto from(Path(path));
1811 commit_[from] = Temporary(save, from);
1812 code(save);
1813 }
1814
1815 bool DiskFolder::Look(const std::string &path) {
1816 return _syscall(access(Path(path).c_str(), R_OK), ENOENT) == 0;
1817 }
1818
1819 void DiskFolder::Open(const std::string &path, const Functor<void (std::streambuf &, const void *)> &code) {
1820 std::filebuf data;
1821 auto result(data.open(Path(path).c_str(), std::ios::binary | std::ios::in));
1822 _assert_(result == &data, "DiskFolder::Open(%s)", path.c_str());
1823 code(data, NULL);
1824 }
1825
1826 void DiskFolder::Find(const std::string &path, const Functor<void (const std::string &, const Functor<void (const Functor<void (std::streambuf &, std::streambuf &)> &)> &)> &code, const Functor<void (const std::string &, const Functor<std::string ()> &)> &link) {
1827 Find(path, "", code, link);
1828 }
1829 #endif
1830
1831 SubFolder::SubFolder(Folder &parent, const std::string &path) :
1832 parent_(parent),
1833 path_(path)
1834 {
1835 }
1836
1837 void SubFolder::Save(const std::string &path, const void *flag, const Functor<void (std::streambuf &)> &code) {
1838 return parent_.Save(path_ + path, flag, code);
1839 }
1840
1841 bool SubFolder::Look(const std::string &path) {
1842 return parent_.Look(path_ + path);
1843 }
1844
1845 void SubFolder::Open(const std::string &path, const Functor<void (std::streambuf &, const void *)> &code) {
1846 return parent_.Open(path_ + path, code);
1847 }
1848
1849 void SubFolder::Find(const std::string &path, const Functor<void (const std::string &, const Functor<void (const Functor<void (std::streambuf &, std::streambuf &)> &)> &)> &code, const Functor<void (const std::string &, const Functor<std::string ()> &)> &link) {
1850 return parent_.Find(path_ + path, code, link);
1851 }
1852
1853 std::string UnionFolder::Map(const std::string &path) {
1854 auto remap(remaps_.find(path));
1855 if (remap == remaps_.end())
1856 return path;
1857 return remap->second;
1858 }
1859
1860 void UnionFolder::Map(const std::string &path, const Functor<void (const std::string &, const Functor<void (const Functor<void (std::streambuf &, std::streambuf &)> &)> &)> &code, const std::string &file, const Functor<void (const Functor<void (std::streambuf &, const void *)> &)> &save) {
1861 if (file.size() >= path.size() && file.substr(0, path.size()) == path)
1862 code(file.substr(path.size()), fun([&](const Functor<void (std::streambuf &, std::streambuf &)> &code) {
1863 save(fun([&](std::streambuf &data, const void *flag) {
1864 parent_.Save(file, flag, fun([&](std::streambuf &save) {
1865 code(data, save);
1866 }));
1867 }));
1868 }));
1869 }
1870
1871 UnionFolder::UnionFolder(Folder &parent) :
1872 parent_(parent)
1873 {
1874 }
1875
1876 void UnionFolder::Save(const std::string &path, const void *flag, const Functor<void (std::streambuf &)> &code) {
1877 return parent_.Save(Map(path), flag, code);
1878 }
1879
1880 bool UnionFolder::Look(const std::string &path) {
1881 auto file(resets_.find(path));
1882 if (file != resets_.end())
1883 return true;
1884 return parent_.Look(Map(path));
1885 }
1886
1887 void UnionFolder::Open(const std::string &path, const Functor<void (std::streambuf &, const void *)> &code) {
1888 auto file(resets_.find(path));
1889 if (file == resets_.end())
1890 return parent_.Open(Map(path), code);
1891 auto &entry(file->second);
1892
1893 auto &data(entry.first);
1894 data.pubseekpos(0, std::ios::in);
1895 code(data, entry.second);
1896 }
1897
1898 void UnionFolder::Find(const std::string &path, const Functor<void (const std::string &, const Functor<void (const Functor<void (std::streambuf &, std::streambuf &)> &)> &)> &code, const Functor<void (const std::string &, const Functor<std::string ()> &)> &link) {
1899 parent_.Find(path, fun([&](const std::string &name, const Functor<void (const Functor<void (std::streambuf &, std::streambuf &)> &)> &save) {
1900 if (deletes_.find(path + name) == deletes_.end())
1901 code(name, save);
1902 }), fun([&](const std::string &name, const Functor<std::string ()> &read) {
1903 if (deletes_.find(path + name) == deletes_.end())
1904 link(name, read);
1905 }));
1906
1907 for (auto &reset : resets_)
1908 Map(path, code, reset.first, fun([&](const Functor<void (std::streambuf &, const void *)> &code) {
1909 auto &entry(reset.second);
1910 entry.first.pubseekpos(0, std::ios::in);
1911 code(entry.first, entry.second);
1912 }));
1913
1914 for (auto &remap : remaps_)
1915 Map(path, code, remap.first, fun([&](const Functor<void (std::streambuf &, const void *)> &code) {
1916 parent_.Open(remap.second, fun([&](std::streambuf &data, const void *flag) {
1917 code(data, flag);
1918 }));
1919 }));
1920 }
1921
1922 #ifndef LDID_NOTOOLS
1923 static size_t copy(std::streambuf &source, std::streambuf &target) {
1924 size_t total(0);
1925 for (;;) {
1926 char data[4096];
1927 size_t writ(source.sgetn(data, sizeof(data)));
1928 if (writ == 0)
1929 break;
1930 _assert(target.sputn(data, writ) == writ);
1931 total += writ;
1932 }
1933 return total;
1934 }
1935
1936 #ifndef LDID_NOPLIST
1937 static plist_t plist(const std::string &data) {
1938 plist_t plist(NULL);
1939 if (Starts(data, "bplist00"))
1940 plist_from_bin(data.data(), data.size(), &plist);
1941 else
1942 plist_from_xml(data.data(), data.size(), &plist);
1943 _assert(plist != NULL);
1944 return plist;
1945 }
1946
1947 static void plist_d(std::streambuf &buffer, const Functor<void (plist_t)> &code) {
1948 std::stringbuf data;
1949 copy(buffer, data);
1950 auto node(plist(data.str()));
1951 _scope({ plist_free(node); });
1952 _assert(plist_get_node_type(node) == PLIST_DICT);
1953 code(node);
1954 }
1955
1956 static std::string plist_s(plist_t node) {
1957 _assert(node != NULL);
1958 _assert(plist_get_node_type(node) == PLIST_STRING);
1959 char *data;
1960 plist_get_string_val(node, &data);
1961 _scope({ free(data); });
1962 return data;
1963 }
1964 #endif
1965
1966 enum Mode {
1967 NoMode,
1968 OptionalMode,
1969 OmitMode,
1970 NestedMode,
1971 TopMode,
1972 };
1973
1974 class Expression {
1975 private:
1976 regex_t regex_;
1977 std::vector<std::string> matches_;
1978
1979 public:
1980 Expression(const std::string &code) {
1981 _assert_(regcomp(&regex_, code.c_str(), REG_EXTENDED) == 0, "regcomp()");
1982 matches_.resize(regex_.re_nsub + 1);
1983 }
1984
1985 ~Expression() {
1986 regfree(&regex_);
1987 }
1988
1989 bool operator ()(const std::string &data) {
1990 regmatch_t matches[matches_.size()];
1991 auto value(regexec(&regex_, data.c_str(), matches_.size(), matches, 0));
1992 if (value == REG_NOMATCH)
1993 return false;
1994 _assert_(value == 0, "regexec()");
1995 for (size_t i(0); i != matches_.size(); ++i)
1996 matches_[i].assign(data.data() + matches[i].rm_so, matches[i].rm_eo - matches[i].rm_so);
1997 return true;
1998 }
1999
2000 const std::string &operator [](size_t index) const {
2001 return matches_[index];
2002 }
2003 };
2004
2005 struct Rule {
2006 unsigned weight_;
2007 Mode mode_;
2008 std::string code_;
2009
2010 mutable std::auto_ptr<Expression> regex_;
2011
2012 Rule(unsigned weight, Mode mode, const std::string &code) :
2013 weight_(weight),
2014 mode_(mode),
2015 code_(code)
2016 {
2017 }
2018
2019 Rule(const Rule &rhs) :
2020 weight_(rhs.weight_),
2021 mode_(rhs.mode_),
2022 code_(rhs.code_)
2023 {
2024 }
2025
2026 void Compile() const {
2027 regex_.reset(new Expression(code_));
2028 }
2029
2030 bool operator ()(const std::string &data) const {
2031 _assert(regex_.get() != NULL);
2032 return (*regex_)(data);
2033 }
2034
2035 bool operator <(const Rule &rhs) const {
2036 if (weight_ > rhs.weight_)
2037 return true;
2038 if (weight_ < rhs.weight_)
2039 return false;
2040 return mode_ > rhs.mode_;
2041 }
2042 };
2043
2044 struct RuleCode {
2045 bool operator ()(const Rule *lhs, const Rule *rhs) const {
2046 return lhs->code_ < rhs->code_;
2047 }
2048 };
2049
2050 #ifndef LDID_NOPLIST
2051 static std::vector<char> Sign(const uint8_t *prefix, size_t size, std::streambuf &buffer, Hash &hash, std::streambuf &save, const std::string &identifier, const std::string &entitlements, const std::string &requirement, const std::string &key, const Slots &slots) {
2052 // XXX: this is a miserable fail
2053 std::stringbuf temp;
2054 put(temp, prefix, size);
2055 size += copy(buffer, temp);
2056 // XXX: this is a stupid hack
2057 pad(temp, 0x10 - (size & 0xf));
2058 auto data(temp.str());
2059
2060 HashProxy proxy(hash, save);
2061 return Sign(data.data(), data.size(), proxy, identifier, entitlements, requirement, key, slots);
2062 }
2063
2064 Bundle Sign(const std::string &root, Folder &folder, const std::string &key, std::map<std::string, Hash> &remote, const std::string &requirement, const Functor<std::string (const std::string &, const std::string &)> &alter) {
2065 std::string executable;
2066 std::string identifier;
2067
2068 bool mac(false);
2069
2070 std::string info("Info.plist");
2071 if (!folder.Look(info) && folder.Look("Resources/" + info)) {
2072 mac = true;
2073 info = "Resources/" + info;
2074 }
2075
2076 folder.Open(info, fun([&](std::streambuf &buffer, const void *flag) {
2077 plist_d(buffer, fun([&](plist_t node) {
2078 executable = plist_s(plist_dict_get_item(node, "CFBundleExecutable"));
2079 identifier = plist_s(plist_dict_get_item(node, "CFBundleIdentifier"));
2080 }));
2081 }));
2082
2083 if (!mac && folder.Look("MacOS/" + executable)) {
2084 executable = "MacOS/" + executable;
2085 mac = true;
2086 }
2087
2088 std::string entitlements;
2089 folder.Open(executable, fun([&](std::streambuf &buffer, const void *flag) {
2090 // XXX: this is a miserable fail
2091 std::stringbuf temp;
2092 auto size(copy(buffer, temp));
2093 // XXX: this is a stupid hack
2094 pad(temp, 0x10 - (size & 0xf));
2095 auto data(temp.str());
2096 entitlements = alter(root, Analyze(data.data(), data.size()));
2097 }));
2098
2099 static const std::string directory("_CodeSignature/");
2100 static const std::string signature(directory + "CodeResources");
2101
2102 std::map<std::string, std::multiset<Rule>> versions;
2103
2104 auto &rules1(versions[""]);
2105 auto &rules2(versions["2"]);
2106
2107 const std::string resources(mac ? "Resources/" : "");
2108
2109 if (true) {
2110 rules1.insert(Rule{1, NoMode, "^" + resources});
2111 if (!mac) rules1.insert(Rule{10000, OmitMode, "^(Frameworks/[^/]+\\.framework/|PlugIns/[^/]+\\.appex/|PlugIns/[^/]+\\.appex/Frameworks/[^/]+\\.framework/|())SC_Info/[^/]+\\.(sinf|supf|supp)$"});
2112 rules1.insert(Rule{1000, OptionalMode, "^" + resources + ".*\\.lproj/"});
2113 rules1.insert(Rule{1100, OmitMode, "^" + resources + ".*\\.lproj/locversion.plist$"});
2114 if (!mac) rules1.insert(Rule{10000, OmitMode, "^Watch/[^/]+\\.app/(Frameworks/[^/]+\\.framework/|PlugIns/[^/]+\\.appex/|PlugIns/[^/]+\\.appex/Frameworks/[^/]+\\.framework/)SC_Info/[^/]+\\.(sinf|supf|supp)$"});
2115 rules1.insert(Rule{1, NoMode, "^version.plist$"});
2116 }
2117
2118 if (true) {
2119 rules2.insert(Rule{11, NoMode, ".*\\.dSYM($|/)"});
2120 rules2.insert(Rule{20, NoMode, "^" + resources});
2121 rules2.insert(Rule{2000, OmitMode, "^(.*/)?\\.DS_Store$"});
2122 if (!mac) rules2.insert(Rule{10000, OmitMode, "^(Frameworks/[^/]+\\.framework/|PlugIns/[^/]+\\.appex/|PlugIns/[^/]+\\.appex/Frameworks/[^/]+\\.framework/|())SC_Info/[^/]+\\.(sinf|supf|supp)$"});
2123 rules2.insert(Rule{10, NestedMode, "^(Frameworks|SharedFrameworks|PlugIns|Plug-ins|XPCServices|Helpers|MacOS|Library/(Automator|Spotlight|LoginItems))/"});
2124 rules2.insert(Rule{1, NoMode, "^.*"});
2125 rules2.insert(Rule{1000, OptionalMode, "^" + resources + ".*\\.lproj/"});
2126 rules2.insert(Rule{1100, OmitMode, "^" + resources + ".*\\.lproj/locversion.plist$"});
2127 rules2.insert(Rule{20, OmitMode, "^Info\\.plist$"});
2128 rules2.insert(Rule{20, OmitMode, "^PkgInfo$"});
2129 if (!mac) rules2.insert(Rule{10000, OmitMode, "^Watch/[^/]+\\.app/(Frameworks/[^/]+\\.framework/|PlugIns/[^/]+\\.appex/|PlugIns/[^/]+\\.appex/Frameworks/[^/]+\\.framework/)SC_Info/[^/]+\\.(sinf|supf|supp)$"});
2130 rules2.insert(Rule{10, NestedMode, "^[^/]+$"});
2131 rules2.insert(Rule{20, NoMode, "^embedded\\.provisionprofile$"});
2132 rules2.insert(Rule{20, NoMode, "^version\\.plist$"});
2133 }
2134
2135 std::map<std::string, Hash> local;
2136
2137 std::string failure(mac ? "Contents/|Versions/[^/]*/Resources/" : "");
2138 Expression nested("^(Frameworks/[^/]*\\.framework|PlugIns/[^/]*\\.appex(()|/[^/]*.app))/(" + failure + ")Info\\.plist$");
2139 std::map<std::string, Bundle> bundles;
2140
2141 folder.Find("", fun([&](const std::string &name, const Functor<void (const Functor<void (std::streambuf &, std::streambuf &)> &)> &code) {
2142 if (!nested(name))
2143 return;
2144 auto bundle(root + Split(name).dir);
2145 bundle.resize(bundle.size() - resources.size());
2146 SubFolder subfolder(folder, bundle);
2147
2148 bundles[nested[1]] = Sign(bundle, subfolder, key, local, "", Starts(name, "PlugIns/") ? alter :
2149 static_cast<const Functor<std::string (const std::string &, const std::string &)> &>(fun([&](const std::string &, const std::string &entitlements) -> std::string { return entitlements; })));
2150 }), fun([&](const std::string &name, const Functor<std::string ()> &read) {
2151 }));
2152
2153 std::set<std::string> excludes;
2154
2155 auto exclude([&](const std::string &name) {
2156 // BundleDiskRep::adjustResources -> builder.addExclusion
2157 if (name == executable || Starts(name, directory) || Starts(name, "_MASReceipt/") || name == "CodeResources")
2158 return true;
2159
2160 for (const auto &bundle : bundles)
2161 if (Starts(name, bundle.first + "/")) {
2162 excludes.insert(name);
2163 return true;
2164 }
2165
2166 return false;
2167 });
2168
2169 std::map<std::string, std::string> links;
2170
2171 folder.Find("", fun([&](const std::string &name, const Functor<void (const Functor<void (std::streambuf &, std::streambuf &)> &)> &code) {
2172 if (exclude(name))
2173 return;
2174
2175 if (local.find(name) != local.end())
2176 return;
2177 auto &hash(local[name]);
2178
2179 code(fun([&](std::streambuf &data, std::streambuf &save) {
2180 union {
2181 struct {
2182 uint32_t magic;
2183 uint32_t count;
2184 };
2185
2186 uint8_t bytes[8];
2187 } header;
2188
2189 auto size(most(data, &header.bytes, sizeof(header.bytes)));
2190
2191 if (name != "_WatchKitStub/WK" && size == sizeof(header.bytes))
2192 switch (Swap(header.magic)) {
2193 case FAT_MAGIC:
2194 // Java class file format
2195 if (Swap(header.count) >= 40)
2196 break;
2197 case FAT_CIGAM:
2198 case MH_MAGIC: case MH_MAGIC_64:
2199 case MH_CIGAM: case MH_CIGAM_64:
2200 Slots slots;
2201 Sign(header.bytes, size, data, hash, save, identifier, "", "", key, slots);
2202 return;
2203 }
2204
2205 HashProxy proxy(hash, save);
2206 put(proxy, header.bytes, size);
2207 copy(data, proxy);
2208 }));
2209 }), fun([&](const std::string &name, const Functor<std::string ()> &read) {
2210 if (exclude(name))
2211 return;
2212
2213 links[name] = read();
2214 }));
2215
2216 auto plist(plist_new_dict());
2217 _scope({ plist_free(plist); });
2218
2219 for (const auto &version : versions) {
2220 auto files(plist_new_dict());
2221 plist_dict_set_item(plist, ("files" + version.first).c_str(), files);
2222
2223 for (const auto &rule : version.second)
2224 rule.Compile();
2225
2226 bool old(&version.second == &rules1);
2227
2228 for (const auto &hash : local)
2229 for (const auto &rule : version.second)
2230 if (rule(hash.first)) {
2231 if (!old && mac && excludes.find(hash.first) != excludes.end());
2232 else if (old && rule.mode_ == NoMode)
2233 plist_dict_set_item(files, hash.first.c_str(), plist_new_data(hash.second.sha1_, sizeof(hash.second.sha1_)));
2234 else if (rule.mode_ != OmitMode) {
2235 auto entry(plist_new_dict());
2236 plist_dict_set_item(entry, "hash", plist_new_data(hash.second.sha1_, sizeof(hash.second.sha1_)));
2237 if (!old)
2238 plist_dict_set_item(entry, "hash2", plist_new_data(hash.second.sha256_, sizeof(hash.second.sha256_)));
2239 if (rule.mode_ == OptionalMode)
2240 plist_dict_set_item(entry, "optional", plist_new_bool(true));
2241 plist_dict_set_item(files, hash.first.c_str(), entry);
2242 }
2243
2244 break;
2245 }
2246
2247 for (const auto &link : links)
2248 for (const auto &rule : version.second)
2249 if (rule(link.first)) {
2250 if (rule.mode_ != OmitMode) {
2251 auto entry(plist_new_dict());
2252 plist_dict_set_item(entry, "symlink", plist_new_string(link.second.c_str()));
2253 if (rule.mode_ == OptionalMode)
2254 plist_dict_set_item(entry, "optional", plist_new_bool(true));
2255 plist_dict_set_item(files, link.first.c_str(), entry);
2256 }
2257
2258 break;
2259 }
2260
2261 if (!old && mac)
2262 for (const auto &bundle : bundles) {
2263 auto entry(plist_new_dict());
2264 plist_dict_set_item(entry, "cdhash", plist_new_data(bundle.second.hash.data(), bundle.second.hash.size()));
2265 plist_dict_set_item(entry, "requirement", plist_new_string("anchor apple generic"));
2266 plist_dict_set_item(files, bundle.first.c_str(), entry);
2267 }
2268 }
2269
2270 for (const auto &version : versions) {
2271 auto rules(plist_new_dict());
2272 plist_dict_set_item(plist, ("rules" + version.first).c_str(), rules);
2273
2274 std::multiset<const Rule *, RuleCode> ordered;
2275 for (const auto &rule : version.second)
2276 ordered.insert(&rule);
2277
2278 for (const auto &rule : ordered)
2279 if (rule->weight_ == 1 && rule->mode_ == NoMode)
2280 plist_dict_set_item(rules, rule->code_.c_str(), plist_new_bool(true));
2281 else {
2282 auto entry(plist_new_dict());
2283 plist_dict_set_item(rules, rule->code_.c_str(), entry);
2284
2285 switch (rule->mode_) {
2286 case NoMode:
2287 break;
2288 case OmitMode:
2289 plist_dict_set_item(entry, "omit", plist_new_bool(true));
2290 break;
2291 case OptionalMode:
2292 plist_dict_set_item(entry, "optional", plist_new_bool(true));
2293 break;
2294 case NestedMode:
2295 plist_dict_set_item(entry, "nested", plist_new_bool(true));
2296 break;
2297 case TopMode:
2298 plist_dict_set_item(entry, "top", plist_new_bool(true));
2299 break;
2300 }
2301
2302 if (rule->weight_ >= 10000)
2303 plist_dict_set_item(entry, "weight", plist_new_uint(rule->weight_));
2304 else if (rule->weight_ != 1)
2305 plist_dict_set_item(entry, "weight", plist_new_real(rule->weight_));
2306 }
2307 }
2308
2309 folder.Save(signature, NULL, fun([&](std::streambuf &save) {
2310 HashProxy proxy(local[signature], save);
2311 char *xml(NULL);
2312 uint32_t size;
2313 plist_to_xml(plist, &xml, &size);
2314 _scope({ free(xml); });
2315 put(proxy, xml, size);
2316 }));
2317
2318 Bundle bundle;
2319 bundle.path = executable;
2320
2321 folder.Open(executable, fun([&](std::streambuf &buffer, const void *flag) {
2322 folder.Save(executable, flag, fun([&](std::streambuf &save) {
2323 Slots slots;
2324 slots[1] = local.at(info);
2325 slots[3] = local.at(signature);
2326 bundle.hash = Sign(NULL, 0, buffer, local[executable], save, identifier, entitlements, requirement, key, slots);
2327 }));
2328 }));
2329
2330 for (const auto &entry : local)
2331 remote[root + entry.first] = entry.second;
2332
2333 return bundle;
2334 }
2335
2336 Bundle Sign(const std::string &root, Folder &folder, const std::string &key, const std::string &requirement, const Functor<std::string (const std::string &, const std::string &)> &alter) {
2337 std::map<std::string, Hash> local;
2338 return Sign(root, folder, key, local, requirement, alter);
2339 }
2340 #endif
2341
2342 #endif
2343 }
2344
2345 #ifndef LDID_NOTOOLS
2346 int main(int argc, char *argv[]) {
2347 #ifndef LDID_NOSMIME
2348 OpenSSL_add_all_algorithms();
2349 #endif
2350
2351 union {
2352 uint16_t word;
2353 uint8_t byte[2];
2354 } endian = {1};
2355
2356 little_ = endian.byte[0];
2357
2358 bool flag_r(false);
2359 bool flag_e(false);
2360 bool flag_q(false);
2361
2362 #ifndef LDID_NOFLAGT
2363 bool flag_T(false);
2364 #endif
2365
2366 bool flag_S(false);
2367 bool flag_s(false);
2368
2369 bool flag_D(false);
2370
2371 bool flag_A(false);
2372 bool flag_a(false);
2373
2374 bool flag_u(false);
2375
2376 uint32_t flag_CPUType(_not(uint32_t));
2377 uint32_t flag_CPUSubtype(_not(uint32_t));
2378
2379 const char *flag_I(NULL);
2380
2381 #ifndef LDID_NOFLAGT
2382 bool timeh(false);
2383 uint32_t timev(0);
2384 #endif
2385
2386 Map entitlements;
2387 Map requirement;
2388 Map key;
2389 ldid::Slots slots;
2390
2391 std::vector<std::string> files;
2392
2393 if (argc == 1) {
2394 fprintf(stderr, "usage: %s -S[entitlements.xml] <binary>\n", argv[0]);
2395 fprintf(stderr, " %s -e MobileSafari\n", argv[0]);
2396 fprintf(stderr, " %s -S cat\n", argv[0]);
2397 fprintf(stderr, " %s -Stfp.xml gdb\n", argv[0]);
2398 exit(0);
2399 }
2400
2401 for (int argi(1); argi != argc; ++argi)
2402 if (argv[argi][0] != '-')
2403 files.push_back(argv[argi]);
2404 else switch (argv[argi][1]) {
2405 case 'r':
2406 _assert(!flag_s);
2407 _assert(!flag_S);
2408 flag_r = true;
2409 break;
2410
2411 case 'e': flag_e = true; break;
2412
2413 case 'E': {
2414 const char *slot = argv[argi] + 2;
2415 const char *colon = strchr(slot, ':');
2416 _assert(colon != NULL);
2417 Map file(colon + 1, O_RDONLY, PROT_READ, MAP_PRIVATE);
2418 char *arge;
2419 unsigned number(strtoul(slot, &arge, 0));
2420 _assert(arge == colon);
2421 sha1(slots[number], file.data(), file.size());
2422 } break;
2423
2424 case 'q': flag_q = true; break;
2425
2426 case 'Q': {
2427 const char *xml = argv[argi] + 2;
2428 requirement.open(xml, O_RDONLY, PROT_READ, MAP_PRIVATE);
2429 } break;
2430
2431 case 'D': flag_D = true; break;
2432
2433 case 'a': flag_a = true; break;
2434
2435 case 'A':
2436 _assert(!flag_A);
2437 flag_A = true;
2438 if (argv[argi][2] != '\0') {
2439 const char *cpu = argv[argi] + 2;
2440 const char *colon = strchr(cpu, ':');
2441 _assert(colon != NULL);
2442 char *arge;
2443 flag_CPUType = strtoul(cpu, &arge, 0);
2444 _assert(arge == colon);
2445 flag_CPUSubtype = strtoul(colon + 1, &arge, 0);
2446 _assert(arge == argv[argi] + strlen(argv[argi]));
2447 }
2448 break;
2449
2450 case 's':
2451 _assert(!flag_r);
2452 _assert(!flag_S);
2453 flag_s = true;
2454 break;
2455
2456 case 'S':
2457 _assert(!flag_r);
2458 _assert(!flag_s);
2459 flag_S = true;
2460 if (argv[argi][2] != '\0') {
2461 const char *xml = argv[argi] + 2;
2462 entitlements.open(xml, O_RDONLY, PROT_READ, MAP_PRIVATE);
2463 }
2464 break;
2465
2466 case 'K':
2467 if (argv[argi][2] != '\0')
2468 key.open(argv[argi] + 2, O_RDONLY, PROT_READ, MAP_PRIVATE);
2469 break;
2470
2471 #ifndef LDID_NOFLAGT
2472 case 'T': {
2473 flag_T = true;
2474 if (argv[argi][2] == '-')
2475 timeh = true;
2476 else {
2477 char *arge;
2478 timev = strtoul(argv[argi] + 2, &arge, 0);
2479 _assert(arge == argv[argi] + strlen(argv[argi]));
2480 }
2481 } break;
2482 #endif
2483
2484 case 'u': {
2485 flag_u = true;
2486 } break;
2487
2488 case 'I': {
2489 flag_I = argv[argi] + 2;
2490 } break;
2491
2492 default:
2493 goto usage;
2494 break;
2495 }
2496
2497 _assert(flag_S || key.empty());
2498 _assert(flag_S || flag_I == NULL);
2499
2500 if (files.empty()) usage: {
2501 exit(0);
2502 }
2503
2504 size_t filei(0), filee(0);
2505 _foreach (file, files) try {
2506 std::string path(file);
2507
2508 struct stat info;
2509 _syscall(stat(path.c_str(), &info));
2510
2511 if (S_ISDIR(info.st_mode)) {
2512 #ifndef LDID_NOPLIST
2513 _assert(!flag_r);
2514 ldid::DiskFolder folder(path);
2515 path += "/" + Sign("", folder, key, requirement, ldid::fun([&](const std::string &, const std::string &) -> std::string { return entitlements; })).path;
2516 #else
2517 _assert(false);
2518 #endif
2519 } else if (flag_S || flag_r) {
2520 Map input(path, O_RDONLY, PROT_READ, MAP_PRIVATE);
2521
2522 std::filebuf output;
2523 Split split(path);
2524 auto temp(Temporary(output, split));
2525
2526 if (flag_r)
2527 ldid::Unsign(input.data(), input.size(), output);
2528 else {
2529 std::string identifier(flag_I ?: split.base.c_str());
2530 ldid::Sign(input.data(), input.size(), output, identifier, entitlements, requirement, key, slots);
2531 }
2532
2533 Commit(path, temp);
2534 }
2535
2536 bool modify(false);
2537 #ifndef LDID_NOFLAGT
2538 if (flag_T)
2539 modify = true;
2540 #endif
2541 if (flag_s)
2542 modify = true;
2543
2544 Map mapping(path, modify);
2545 FatHeader fat_header(mapping.data(), mapping.size());
2546
2547 _foreach (mach_header, fat_header.GetMachHeaders()) {
2548 struct linkedit_data_command *signature(NULL);
2549 struct encryption_info_command *encryption(NULL);
2550
2551 if (flag_A) {
2552 if (mach_header.GetCPUType() != flag_CPUType)
2553 continue;
2554 if (mach_header.GetCPUSubtype() != flag_CPUSubtype)
2555 continue;
2556 }
2557
2558 if (flag_a)
2559 printf("cpu=0x%x:0x%x\n", mach_header.GetCPUType(), mach_header.GetCPUSubtype());
2560
2561 _foreach (load_command, mach_header.GetLoadCommands()) {
2562 uint32_t cmd(mach_header.Swap(load_command->cmd));
2563
2564 if (false);
2565 else if (cmd == LC_CODE_SIGNATURE)
2566 signature = reinterpret_cast<struct linkedit_data_command *>(load_command);
2567 else if (cmd == LC_ENCRYPTION_INFO || cmd == LC_ENCRYPTION_INFO_64)
2568 encryption = reinterpret_cast<struct encryption_info_command *>(load_command);
2569 else if (cmd == LC_LOAD_DYLIB) {
2570 volatile struct dylib_command *dylib_command(reinterpret_cast<struct dylib_command *>(load_command));
2571 const char *name(reinterpret_cast<const char *>(load_command) + mach_header.Swap(dylib_command->dylib.name));
2572
2573 if (strcmp(name, "/System/Library/Frameworks/UIKit.framework/UIKit") == 0) {
2574 if (flag_u) {
2575 Version version;
2576 version.value = mach_header.Swap(dylib_command->dylib.current_version);
2577 printf("uikit=%u.%u.%u\n", version.major, version.minor, version.patch);
2578 }
2579 }
2580 }
2581 #ifndef LDID_NOFLAGT
2582 else if (cmd == LC_ID_DYLIB) {
2583 volatile struct dylib_command *dylib_command(reinterpret_cast<struct dylib_command *>(load_command));
2584
2585 if (flag_T) {
2586 uint32_t timed;
2587
2588 if (!timeh)
2589 timed = timev;
2590 else {
2591 dylib_command->dylib.timestamp = 0;
2592 timed = hash(reinterpret_cast<uint8_t *>(mach_header.GetBase()), mach_header.GetSize(), timev);
2593 }
2594
2595 dylib_command->dylib.timestamp = mach_header.Swap(timed);
2596 }
2597 }
2598 #endif
2599 }
2600
2601 if (flag_D) {
2602 _assert(encryption != NULL);
2603 encryption->cryptid = mach_header.Swap(0);
2604 }
2605
2606 if (flag_e) {
2607 _assert(signature != NULL);
2608
2609 uint32_t data = mach_header.Swap(signature->dataoff);
2610
2611 uint8_t *top = reinterpret_cast<uint8_t *>(mach_header.GetBase());
2612 uint8_t *blob = top + data;
2613 struct SuperBlob *super = reinterpret_cast<struct SuperBlob *>(blob);
2614
2615 for (size_t index(0); index != Swap(super->count); ++index)
2616 if (Swap(super->index[index].type) == CSSLOT_ENTITLEMENTS) {
2617 uint32_t begin = Swap(super->index[index].offset);
2618 struct Blob *entitlements = reinterpret_cast<struct Blob *>(blob + begin);
2619 fwrite(entitlements + 1, 1, Swap(entitlements->length) - sizeof(*entitlements), stdout);
2620 }
2621 }
2622
2623 if (flag_q) {
2624 _assert(signature != NULL);
2625
2626 uint32_t data = mach_header.Swap(signature->dataoff);
2627
2628 uint8_t *top = reinterpret_cast<uint8_t *>(mach_header.GetBase());
2629 uint8_t *blob = top + data;
2630 struct SuperBlob *super = reinterpret_cast<struct SuperBlob *>(blob);
2631
2632 for (size_t index(0); index != Swap(super->count); ++index)
2633 if (Swap(super->index[index].type) == CSSLOT_REQUIREMENTS) {
2634 uint32_t begin = Swap(super->index[index].offset);
2635 struct Blob *requirement = reinterpret_cast<struct Blob *>(blob + begin);
2636 fwrite(requirement, 1, Swap(requirement->length), stdout);
2637 }
2638 }
2639
2640 if (flag_s) {
2641 _assert(signature != NULL);
2642
2643 uint32_t data = mach_header.Swap(signature->dataoff);
2644
2645 uint8_t *top = reinterpret_cast<uint8_t *>(mach_header.GetBase());
2646 uint8_t *blob = top + data;
2647 struct SuperBlob *super = reinterpret_cast<struct SuperBlob *>(blob);
2648
2649 for (size_t index(0); index != Swap(super->count); ++index)
2650 if (Swap(super->index[index].type) == CSSLOT_CODEDIRECTORY) {
2651 uint32_t begin = Swap(super->index[index].offset);
2652 struct CodeDirectory *directory = reinterpret_cast<struct CodeDirectory *>(blob + begin + sizeof(Blob));
2653
2654 uint8_t (*hashes)[LDID_SHA1_DIGEST_LENGTH] = reinterpret_cast<uint8_t (*)[LDID_SHA1_DIGEST_LENGTH]>(blob + begin + Swap(directory->hashOffset));
2655 uint32_t pages = Swap(directory->nCodeSlots);
2656
2657 if (pages != 1)
2658 for (size_t i = 0; i != pages - 1; ++i)
2659 sha1(hashes[i], top + PageSize_ * i, PageSize_);
2660 if (pages != 0)
2661 sha1(hashes[pages - 1], top + PageSize_ * (pages - 1), ((data - 1) % PageSize_) + 1);
2662 }
2663 }
2664 }
2665
2666 ++filei;
2667 } catch (const char *) {
2668 ++filee;
2669 ++filei;
2670 }
2671
2672 return filee;
2673 }
2674 #endif