1 /* ldid - (Mach-O) Link-Loader Identity Editor
2 * Copyright (C) 2007-2015 Jay Freeman (saurik)
5 /* GNU Affero General Public License, Version 3 {{{ */
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.
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.
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/>.
43 #include <sys/types.h>
46 #include <openssl/err.h>
47 #include <openssl/pem.h>
48 #include <openssl/pkcs7.h>
49 #include <openssl/pkcs12.h>
53 #include <CommonCrypto/CommonDigest.h>
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
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
69 #include <openssl/sha.h>
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
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
87 #include <plist/plist.h>
92 #define _assert___(line) \
94 #define _assert__(line) \
98 #define _assert_(expr, format, ...) \
100 fprintf(stderr, "%s(%u): _assert(): " format "\n", __FILE__, __LINE__, ## __VA_ARGS__); \
101 throw __FILE__ "(" _assert__(__LINE__) "): _assert(" #expr ")"; \
104 // XXX: this is not acceptable
105 #define _assert_(expr, format, ...) \
107 fprintf(stderr, "%s(%u): _assert(): " format "\n", __FILE__, __LINE__, ## __VA_ARGS__); \
112 #define _assert(expr) \
113 _assert_(expr, "%s", #expr)
115 #define _syscall(expr, ...) [&] { for (;;) { \
117 if ((long) _value != -1) \
120 if (error == EINTR) \
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); \
130 fprintf(stderr, "_trace(%s:%u): %s\n", __FILE__, __LINE__, __FUNCTION__)
136 __attribute__((packed))
138 template <typename Type_
>
140 typedef typename
Type_::const_iterator Result
;
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)
153 template <typename Function_
>
161 Scope(const Function_
&function
) :
171 template <typename Function_
>
172 Scope
<Function_
> _scope(const Function_
&function
) {
173 return Scope
<Function_
>(function
);
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)
184 #define CPU_ARCH_MASK uint32_t(0xff000000)
185 #define CPU_ARCH_ABI64 uint32_t(0x01000000)
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)
199 #define CPU_TYPE_I386 CPU_TYPE_X86
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)
210 #define FAT_MAGIC 0xcafebabe
211 #define FAT_CIGAM 0xbebafeca
231 #define MH_MAGIC 0xfeedface
232 #define MH_CIGAM 0xcefaedfe
234 #define MH_MAGIC_64 0xfeedfacf
235 #define MH_CIGAM_64 0xcffaedfe
237 #define MH_DYLDLINK 0x4
239 #define MH_OBJECT 0x1
240 #define MH_EXECUTE 0x2
242 #define MH_BUNDLE 0x8
243 #define MH_DYLIB_STUB 0x9
245 struct load_command
{
250 #define LC_REQ_DYLD uint32_t(0x80000000)
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)
280 uint32_t current_version
;
281 uint32_t compatibility_version
;
284 struct dylib_command
{
290 struct uuid_command
{
296 struct symtab_command
{
305 struct dyld_info_command
{
309 uint32_t rebase_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
;
317 uint32_t export_size
;
320 struct dysymtab_command
{
333 uint32_t extrefsymoff
;
334 uint32_t nextrefsyms
;
335 uint32_t indirectsymoff
;
336 uint32_t nindirectsyms
;
343 struct dylib_table_of_contents
{
344 uint32_t symbol_index
;
345 uint32_t module_index
;
348 struct dylib_module
{
349 uint32_t module_name
;
358 uint32_t iinit_iterm
;
359 uint32_t ninit_nterm
;
360 uint32_t objc_module_info_addr
;
361 uint32_t objc_module_info_size
;
364 struct dylib_reference
{
369 struct relocation_info
{
371 uint32_t r_symbolnum
:24;
390 struct segment_command
{
404 struct segment_command_64
{
447 struct linkedit_data_command
{
454 struct encryption_info_command
{
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
478 static std::streamsize
read(std::streambuf
&stream
, void *data
, size_t size
) {
479 auto writ(stream
.sgetn(static_cast<char *>(data
), size
));
484 static inline void get(std::streambuf
&stream
, void *data
, size_t size
) {
485 _assert(read(stream
, data
, size
) == size
);
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
);
492 static size_t most(std::streambuf
&stream
, void *data
, size_t size
) {
495 if (auto writ
= read(stream
, data
, size
))
501 static inline void pad(std::streambuf
&stream
, size_t size
) {
503 memset(padding
, 0, size
);
504 put(stream
, padding
, size
);
507 template <typename Type_
>
508 Type_
Align(Type_ value
, size_t align
) {
515 static const uint8_t PageShift_(0x0c);
516 static const uint32_t PageSize_(1 << PageShift_
);
518 static inline uint16_t Swap_(uint16_t value
) {
520 ((value
>> 8) & 0x00ff) |
521 ((value
<< 8) & 0xff00);
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);
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;
539 static inline int16_t Swap_(int16_t value
) {
540 return Swap_(static_cast<uint16_t>(value
));
543 static inline int32_t Swap_(int32_t value
) {
544 return Swap_(static_cast<uint32_t>(value
));
547 static inline int64_t Swap_(int64_t value
) {
548 return Swap_(static_cast<uint64_t>(value
));
551 static bool little_(true);
553 static inline uint16_t Swap(uint16_t value
) {
554 return little_
? Swap_(value
) : value
;
557 static inline uint32_t Swap(uint32_t value
) {
558 return little_
? Swap_(value
) : value
;
561 static inline uint64_t Swap(uint64_t value
) {
562 return little_
? Swap_(value
) : value
;
565 static inline int16_t Swap(int16_t value
) {
566 return Swap(static_cast<uint16_t>(value
));
569 static inline int32_t Swap(int32_t value
) {
570 return Swap(static_cast<uint32_t>(value
));
573 static inline int64_t Swap(int64_t value
) {
574 return Swap(static_cast<uint64_t>(value
));
587 Swapped(bool swapped
) :
592 template <typename Type_
>
593 Type_
Swap(Type_ value
) const {
594 return swapped_
? Swap_(value
) : value
;
606 Data(void *base
, size_t size
) :
612 void *GetBase() const {
616 size_t GetSize() const {
627 struct mach_header
*mach_header_
;
628 struct load_command
*load_command_
;
631 MachHeader(void *base
, size_t size
) :
634 mach_header_
= (mach_header
*) base
;
636 switch (Swap(mach_header_
->magic
)) {
638 swapped_
= !swapped_
;
644 swapped_
= !swapped_
;
653 void *post
= mach_header_
+ 1;
655 post
= (uint32_t *) post
+ 1;
656 load_command_
= (struct load_command
*) post
;
659 Swap(mach_header_
->filetype
) == MH_EXECUTE
||
660 Swap(mach_header_
->filetype
) == MH_DYLIB
||
661 Swap(mach_header_
->filetype
) == MH_BUNDLE
665 bool Bits64() const {
669 struct mach_header
*operator ->() const {
673 operator struct mach_header
*() const {
677 uint32_t GetCPUType() const {
678 return Swap(mach_header_
->cputype
);
681 uint32_t GetCPUSubtype() const {
682 return Swap(mach_header_
->cpusubtype
) & 0xff;
685 struct load_command
*GetLoadCommand() const {
686 return load_command_
;
689 std::vector
<struct load_command
*> GetLoadCommands() const {
690 std::vector
<struct load_command
*> load_commands
;
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
));
698 return load_commands
;
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
)) {
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
);
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
);
722 template <typename Target_
>
723 Target_
*GetOffset(uint32_t offset
) const {
724 return reinterpret_cast<Target_
*>(offset
+ (uint8_t *) mach_header_
);
728 class FatMachHeader
:
735 FatMachHeader(void *base
, size_t size
, fat_arch
*fat_arch
) :
736 MachHeader(base
, size
),
741 fat_arch
*GetFatArch() const {
750 fat_header
*fat_header_
;
751 std::vector
<FatMachHeader
> mach_headers_
;
754 FatHeader(void *base
, size_t size
) :
757 fat_header_
= reinterpret_cast<struct fat_header
*>(base
);
759 if (Swap(fat_header_
->magic
) == FAT_CIGAM
) {
760 swapped_
= !swapped_
;
762 } else if (Swap(fat_header_
->magic
) != FAT_MAGIC
) {
764 mach_headers_
.push_back(FatMachHeader(base
, size
, NULL
));
766 size_t fat_narch
= Swap(fat_header_
->nfat_arch
);
767 fat_arch
*fat_arch
= reinterpret_cast<struct fat_arch
*>(fat_header_
+ 1);
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
));
778 std::vector
<FatMachHeader
> &GetMachHeaders() {
779 return mach_headers_
;
783 return fat_header_
!= NULL
;
786 struct fat_header
*operator ->() const {
790 operator struct fat_header
*() const {
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)
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)
811 #define CSSLOT_SIGNATURESLOT uint32_t(0x10000)
813 #define CS_HASHTYPE_SHA1 1
828 struct BlobIndex index
[];
831 struct CodeDirectory
{
835 uint32_t identOffset
;
836 uint32_t nSpecialSlots
;
844 uint32_t scatterOffset
;
845 uint32_t teamIDOffset
;
847 uint64_t codeLimit64
;
851 extern "C" uint32_t hash(uint8_t *k
, uint32_t length
, uint32_t initval
);
854 static void sha1(uint8_t *hash
, const void *data
, size_t size
) {
855 LDID_SHA1(static_cast<const uint8_t *>(data
), size
, hash
);
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
);
863 struct CodesignAllocation
{
864 FatMachHeader mach_header_
;
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
),
895 _syscall(close(file_
));
898 void open(const char *path
, int flags
) {
899 _assert(file_
== -1);
900 file_
= _syscall(::open(path
, flags
));
917 _syscall(munmap(data_
, size_
));
929 Map(const std::string
&path
, int oflag
, int pflag
, int mflag
) :
932 open(path
, oflag
, pflag
, mflag
);
935 Map(const std::string
&path
, bool edit
) :
946 return data_
== NULL
;
949 void open(const std::string
&path
, int oflag
, int pflag
, int mflag
) {
952 file_
.open(path
.c_str(), oflag
);
953 int file(file_
.file());
956 _syscall(fstat(file
, &stat
));
957 size_
= stat
.st_size
;
959 data_
= _syscall(mmap(NULL
, size_
, pflag
, mflag
, file
, 0));
962 void open(const std::string
&path
, bool edit
) {
964 open(path
, O_RDWR
, PROT_READ
| PROT_WRITE
, MAP_SHARED
);
966 open(path
, O_RDONLY
, PROT_READ
, MAP_PRIVATE
);
973 size_t size() const {
977 operator std::string() const {
978 return std::string(static_cast<char *>(data_
), size_
);
985 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
) {
986 FatHeader
source(const_cast<void *>(idata
), isize
);
990 offset
+= sizeof(fat_header
) + sizeof(fat_arch
) * source
.Swap(source
->nfat_arch
);
992 std::vector
<CodesignAllocation
> allocations
;
993 _foreach (mach_header
, source
.GetMachHeaders()) {
994 struct linkedit_data_command
*signature(NULL
);
995 struct symtab_command
*symtab(NULL
);
997 _foreach (load_command
, mach_header
.GetLoadCommands()) {
998 uint32_t cmd(mach_header
.Swap(load_command
->cmd
));
1000 else if (cmd
== LC_CODE_SIGNATURE
)
1001 signature
= reinterpret_cast<struct linkedit_data_command
*>(load_command
);
1002 else if (cmd
== LC_SYMTAB
)
1003 symtab
= reinterpret_cast<struct symtab_command
*>(load_command
);
1007 if (signature
== NULL
)
1008 size
= mach_header
.GetSize();
1010 size
= mach_header
.Swap(signature
->dataoff
);
1011 _assert(size
<= mach_header
.GetSize());
1014 if (symtab
!= NULL
) {
1015 auto end(mach_header
.Swap(symtab
->stroff
) + mach_header
.Swap(symtab
->strsize
));
1016 _assert(end
<= size
);
1017 _assert(end
>= size
- 0x10);
1021 size_t alloc(allocate(mach_header
, size
));
1023 auto *fat_arch(mach_header
.GetFatArch());
1026 if (fat_arch
!= NULL
)
1027 align
= source
.Swap(fat_arch
->align
);
1028 else switch (mach_header
.GetCPUType()) {
1029 case CPU_TYPE_POWERPC
:
1030 case CPU_TYPE_POWERPC64
:
1032 case CPU_TYPE_X86_64
:
1036 case CPU_TYPE_ARM64
:
1044 offset
= Align(offset
, 1 << align
);
1046 uint32_t limit(size
);
1048 limit
= Align(limit
, 0x10);
1050 allocations
.push_back(CodesignAllocation(mach_header
, offset
, size
, limit
, alloc
, align
));
1051 offset
+= size
+ alloc
;
1052 offset
= Align(offset
, 0x10);
1057 if (source
.IsFat()) {
1058 fat_header fat_header
;
1059 fat_header
.magic
= Swap(FAT_MAGIC
);
1060 fat_header
.nfat_arch
= Swap(uint32_t(allocations
.size()));
1061 put(output
, &fat_header
, sizeof(fat_header
));
1062 position
+= sizeof(fat_header
);
1064 _foreach (allocation
, allocations
) {
1065 auto &mach_header(allocation
.mach_header_
);
1068 fat_arch
.cputype
= Swap(mach_header
->cputype
);
1069 fat_arch
.cpusubtype
= Swap(mach_header
->cpusubtype
);
1070 fat_arch
.offset
= Swap(allocation
.offset_
);
1071 fat_arch
.size
= Swap(allocation
.limit_
+ allocation
.alloc_
);
1072 fat_arch
.align
= Swap(allocation
.align_
);
1073 put(output
, &fat_arch
, sizeof(fat_arch
));
1074 position
+= sizeof(fat_arch
);
1078 _foreach (allocation
, allocations
) {
1079 auto &mach_header(allocation
.mach_header_
);
1081 pad(output
, allocation
.offset_
- position
);
1082 position
= allocation
.offset_
;
1084 std::vector
<std::string
> commands
;
1086 _foreach (load_command
, mach_header
.GetLoadCommands()) {
1087 std::string
copy(reinterpret_cast<const char *>(load_command
), load_command
->cmdsize
);
1089 switch (mach_header
.Swap(load_command
->cmd
)) {
1090 case LC_CODE_SIGNATURE
:
1095 auto segment_command(reinterpret_cast<struct segment_command
*>(©
[0]));
1096 if (strncmp(segment_command
->segname
, "__LINKEDIT", 16) != 0)
1098 size_t size(mach_header
.Swap(allocation
.limit_
+ allocation
.alloc_
- mach_header
.Swap(segment_command
->fileoff
)));
1099 segment_command
->filesize
= size
;
1100 segment_command
->vmsize
= Align(size
, 1 << allocation
.align_
);
1103 case LC_SEGMENT_64
: {
1104 auto segment_command(reinterpret_cast<struct segment_command_64
*>(©
[0]));
1105 if (strncmp(segment_command
->segname
, "__LINKEDIT", 16) != 0)
1107 size_t size(mach_header
.Swap(allocation
.limit_
+ allocation
.alloc_
- mach_header
.Swap(segment_command
->fileoff
)));
1108 segment_command
->filesize
= size
;
1109 segment_command
->vmsize
= Align(size
, 1 << allocation
.align_
);
1113 commands
.push_back(copy
);
1116 if (allocation
.alloc_
!= 0) {
1117 linkedit_data_command signature
;
1118 signature
.cmd
= mach_header
.Swap(LC_CODE_SIGNATURE
);
1119 signature
.cmdsize
= mach_header
.Swap(uint32_t(sizeof(signature
)));
1120 signature
.dataoff
= mach_header
.Swap(allocation
.limit_
);
1121 signature
.datasize
= mach_header
.Swap(allocation
.alloc_
);
1122 commands
.push_back(std::string(reinterpret_cast<const char *>(&signature
), sizeof(signature
)));
1125 size_t begin(position
);
1128 _foreach(command
, commands
)
1129 after
+= command
.size();
1131 std::stringbuf altern
;
1133 struct mach_header
header(*mach_header
);
1134 header
.ncmds
= mach_header
.Swap(uint32_t(commands
.size()));
1135 header
.sizeofcmds
= mach_header
.Swap(after
);
1136 put(output
, &header
, sizeof(header
));
1137 put(altern
, &header
, sizeof(header
));
1138 position
+= sizeof(header
);
1140 if (mach_header
.Bits64()) {
1141 auto pad(mach_header
.Swap(uint32_t(0)));
1142 put(output
, &pad
, sizeof(pad
));
1143 put(altern
, &pad
, sizeof(pad
));
1144 position
+= sizeof(pad
);
1147 _foreach(command
, commands
) {
1148 put(output
, command
.data(), command
.size());
1149 put(altern
, command
.data(), command
.size());
1150 position
+= command
.size();
1153 uint32_t before(mach_header
.Swap(mach_header
->sizeofcmds
));
1154 if (before
> after
) {
1155 pad(output
, before
- after
);
1156 pad(altern
, before
- after
);
1157 position
+= before
- after
;
1160 auto top(reinterpret_cast<char *>(mach_header
.GetBase()));
1162 std::string
overlap(altern
.str());
1163 overlap
.append(top
+ overlap
.size(), Align(overlap
.size(), 0x1000) - overlap
.size());
1165 put(output
, top
+ (position
- begin
), allocation
.size_
- (position
- begin
));
1166 position
= begin
+ allocation
.size_
;
1168 pad(output
, allocation
.limit_
- allocation
.size_
);
1169 position
+= allocation
.limit_
- allocation
.size_
;
1171 size_t saved(save(mach_header
, output
, allocation
.limit_
, overlap
, top
));
1172 if (allocation
.alloc_
> saved
)
1173 pad(output
, allocation
.alloc_
- saved
);
1174 position
+= allocation
.alloc_
;
1180 typedef std::map
<uint32_t, std::string
> Blobs
;
1182 static void insert(Blobs
&blobs
, uint32_t slot
, const std::stringbuf
&buffer
) {
1183 auto value(buffer
.str());
1184 std::swap(blobs
[slot
], value
);
1187 static void insert(Blobs
&blobs
, uint32_t slot
, uint32_t magic
, const std::stringbuf
&buffer
) {
1188 auto value(buffer
.str());
1190 blob
.magic
= Swap(magic
);
1191 blob
.length
= Swap(uint32_t(sizeof(blob
) + value
.size()));
1192 value
.insert(0, reinterpret_cast<char *>(&blob
), sizeof(blob
));
1193 std::swap(blobs
[slot
], value
);
1196 static size_t put(std::streambuf
&output
, uint32_t magic
, const Blobs
&blobs
) {
1198 _foreach (blob
, blobs
)
1199 total
+= blob
.second
.size();
1201 struct SuperBlob super
;
1202 super
.blob
.magic
= Swap(magic
);
1203 super
.blob
.length
= Swap(uint32_t(sizeof(SuperBlob
) + blobs
.size() * sizeof(BlobIndex
) + total
));
1204 super
.count
= Swap(uint32_t(blobs
.size()));
1205 put(output
, &super
, sizeof(super
));
1207 size_t offset(sizeof(SuperBlob
) + sizeof(BlobIndex
) * blobs
.size());
1209 _foreach (blob
, blobs
) {
1211 index
.type
= Swap(blob
.first
);
1212 index
.offset
= Swap(uint32_t(offset
));
1213 put(output
, &index
, sizeof(index
));
1214 offset
+= blob
.second
.size();
1217 _foreach (blob
, blobs
)
1218 put(output
, blob
.second
.data(), blob
.second
.size());
1223 #ifndef LDID_NOSMIME
1232 _assert(bio_
!= NULL
);
1236 bio_(BIO_new(BIO_s_mem()))
1240 Buffer(const char *data
, size_t size
) :
1241 Buffer(BIO_new_mem_buf(const_cast<char *>(data
), size
))
1245 Buffer(const std::string
&data
) :
1246 Buffer(data
.data(), data
.size())
1250 Buffer(PKCS7
*pkcs
) :
1253 _assert(i2d_PKCS7_bio(bio_
, pkcs
) != 0);
1260 operator BIO
*() const {
1264 explicit operator std::string() const {
1266 auto size(BIO_get_mem_data(bio_
, &data
));
1267 return std::string(data
, size
);
1276 STACK_OF(X509
) *ca_
;
1280 value_(d2i_PKCS12_bio(bio
, NULL
)),
1283 _assert(value_
!= NULL
);
1284 _assert(PKCS12_parse(value_
, "", &key_
, &cert_
, &ca_
) != 0);
1285 _assert(key_
!= NULL
);
1286 _assert(cert_
!= NULL
);
1289 Stuff(const std::string
&data
) :
1295 sk_X509_pop_free(ca_
, X509_free
);
1297 EVP_PKEY_free(key_
);
1298 PKCS12_free(value_
);
1301 operator PKCS12
*() const {
1305 operator EVP_PKEY
*() const {
1309 operator X509
*() const {
1313 operator STACK_OF(X509
) *() const {
1323 Signature(const Stuff
&stuff
, const Buffer
&data
) :
1324 value_(PKCS7_sign(stuff
, stuff
, stuff
, data
, PKCS7_BINARY
| PKCS7_DETACHED
))
1326 _assert(value_
!= NULL
);
1333 operator PKCS7
*() const {
1340 public std::streambuf
1343 virtual std::streamsize
xsputn(const char_type
*data
, std::streamsize size
) {
1347 virtual int_type
overflow(int_type next
) {
1354 char sha1_
[LDID_SHA1_DIGEST_LENGTH
];
1355 char sha256_
[LDID_SHA256_DIGEST_LENGTH
];
1357 operator std::vector
<char>() const {
1358 return {sha1_
, sha1_
+ sizeof(sha1_
)};
1363 public std::streambuf
1368 LDID_SHA1_CTX sha1_
;
1369 LDID_SHA256_CTX sha256_
;
1372 HashBuffer(Hash
&hash
) :
1375 LDID_SHA1_Init(&sha1_
);
1376 LDID_SHA256_Init(&sha256_
);
1380 LDID_SHA1_Final(reinterpret_cast<uint8_t *>(hash_
.sha1_
), &sha1_
);
1381 LDID_SHA256_Final(reinterpret_cast<uint8_t *>(hash_
.sha256_
), &sha256_
);
1384 virtual std::streamsize
xsputn(const char_type
*data
, std::streamsize size
) {
1385 LDID_SHA1_Update(&sha1_
, data
, size
);
1386 LDID_SHA256_Update(&sha256_
, data
, size
);
1390 virtual int_type
overflow(int_type next
) {
1391 if (next
== traits_type::eof())
1403 std::streambuf
&buffer_
;
1406 HashProxy(Hash
&hash
, std::streambuf
&buffer
) :
1412 virtual std::streamsize
xsputn(const char_type
*data
, std::streamsize size
) {
1413 _assert(HashBuffer::xsputn(data
, size
) == size
);
1414 return buffer_
.sputn(data
, size
);
1418 #ifndef LDID_NOTOOLS
1419 static bool Starts(const std::string
&lhs
, const std::string
&rhs
) {
1420 return lhs
.size() >= rhs
.size() && lhs
.compare(0, rhs
.size(), rhs
) == 0;
1428 Split(const std::string
&path
) {
1429 size_t slash(path
.rfind('/'));
1430 if (slash
== std::string::npos
)
1433 dir
= path
.substr(0, slash
+ 1);
1434 base
= path
.substr(slash
+ 1);
1439 static void mkdir_p(const std::string
&path
) {
1443 if (_syscall(mkdir(path
.c_str()), EEXIST
) == -EEXIST
)
1446 if (_syscall(mkdir(path
.c_str(), 0755), EEXIST
) == -EEXIST
)
1449 auto slash(path
.rfind('/', path
.size() - 1));
1450 if (slash
== std::string::npos
)
1452 mkdir_p(path
.substr(0, slash
));
1455 static std::string
Temporary(std::filebuf
&file
, const Split
&split
) {
1456 std::string
temp(split
.dir
+ ".ldid." + split
.base
);
1458 _assert_(file
.open(temp
.c_str(), std::ios::out
| std::ios::trunc
| std::ios::binary
) == &file
, "open(): %s", temp
.c_str());
1462 static void Commit(const std::string
&path
, const std::string
&temp
) {
1464 if (_syscall(stat(path
.c_str(), &info
), ENOENT
) == 0) {
1466 _syscall(chown(temp
.c_str(), info
.st_uid
, info
.st_gid
));
1468 _syscall(chmod(temp
.c_str(), info
.st_mode
));
1471 _syscall(rename(temp
.c_str(), path
.c_str()));
1477 void 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
) {
1480 #ifndef LDID_NOSMIME
1483 auto name(X509_get_subject_name(stuff
));
1484 _assert(name
!= NULL
);
1485 auto index(X509_NAME_get_index_by_NID(name
, NID_organizationalUnitName
, -1));
1486 _assert(index
>= 0);
1487 auto next(X509_NAME_get_index_by_NID(name
, NID_organizationalUnitName
, index
));
1488 _assert(next
== -1);
1489 auto entry(X509_NAME_get_entry(name
, index
));
1490 _assert(entry
!= NULL
);
1491 auto asn(X509_NAME_ENTRY_get_data(entry
));
1492 _assert(asn
!= NULL
);
1493 team
.assign(reinterpret_cast<char *>(ASN1_STRING_data(asn
)), ASN1_STRING_length(asn
));
1497 Allocate(idata
, isize
, output
, fun([&](const MachHeader
&mach_header
, size_t size
) -> size_t {
1498 size_t alloc(sizeof(struct SuperBlob
));
1500 uint32_t special(0);
1502 special
= std::max(special
, CSSLOT_REQUIREMENTS
);
1503 alloc
+= sizeof(struct BlobIndex
);
1504 if (!requirement
.empty())
1507 alloc
+= requirement
.size();
1509 if (!entitlements
.empty()) {
1510 special
= std::max(special
, CSSLOT_ENTITLEMENTS
);
1511 alloc
+= sizeof(struct BlobIndex
);
1512 alloc
+= sizeof(struct Blob
);
1513 alloc
+= entitlements
.size();
1516 special
= std::max(special
, CSSLOT_CODEDIRECTORY
);
1517 alloc
+= sizeof(struct BlobIndex
);
1518 alloc
+= sizeof(struct Blob
);
1519 alloc
+= sizeof(struct CodeDirectory
);
1520 alloc
+= identifier
.size() + 1;
1523 alloc
+= team
.size() + 1;
1526 alloc
+= sizeof(struct BlobIndex
);
1527 alloc
+= sizeof(struct Blob
);
1528 // XXX: this is just a "sufficiently large number"
1532 _foreach (slot
, slots
)
1533 special
= std::max(special
, slot
.first
);
1535 mach_header
.ForSection(fun([&](const char *segment
, const char *section
, void *data
, size_t size
) {
1536 if (strcmp(segment
, "__TEXT") == 0 && section
!= NULL
&& strcmp(section
, "__info_plist") == 0)
1537 special
= std::max(special
, CSSLOT_INFOSLOT
);
1540 uint32_t normal((size
+ PageSize_
- 1) / PageSize_
);
1541 alloc
= Align(alloc
+ (special
+ normal
) * LDID_SHA1_DIGEST_LENGTH
, 16);
1543 }), fun([&](const MachHeader
&mach_header
, std::streambuf
&output
, size_t limit
, const std::string
&overlap
, const char *top
) -> size_t {
1547 std::stringbuf data
;
1549 if (requirement
.empty()) {
1551 put(data
, CSMAGIC_REQUIREMENTS
, requirements
);
1553 put(data
, requirement
.data(), requirement
.size());
1556 insert(blobs
, CSSLOT_REQUIREMENTS
, data
);
1559 if (!entitlements
.empty()) {
1560 std::stringbuf data
;
1561 put(data
, entitlements
.data(), entitlements
.size());
1562 insert(blobs
, CSSLOT_ENTITLEMENTS
, CSMAGIC_EMBEDDED_ENTITLEMENTS
, data
);
1566 std::stringbuf data
;
1570 mach_header
.ForSection(fun([&](const char *segment
, const char *section
, void *data
, size_t size
) {
1571 if (strcmp(segment
, "__TEXT") == 0 && section
!= NULL
&& strcmp(section
, "__info_plist") == 0)
1572 sha1(posts
[CSSLOT_INFOSLOT
], data
, size
);
1575 uint32_t special(0);
1576 _foreach (blob
, blobs
)
1577 special
= std::max(special
, blob
.first
);
1578 _foreach (slot
, posts
)
1579 special
= std::max(special
, slot
.first
);
1580 uint32_t normal((limit
+ PageSize_
- 1) / PageSize_
);
1582 CodeDirectory directory
;
1583 directory
.version
= Swap(uint32_t(0x00020200));
1584 directory
.flags
= Swap(uint32_t(0));
1585 directory
.nSpecialSlots
= Swap(special
);
1586 directory
.codeLimit
= Swap(uint32_t(limit
));
1587 directory
.nCodeSlots
= Swap(normal
);
1588 directory
.hashSize
= LDID_SHA1_DIGEST_LENGTH
;
1589 directory
.hashType
= CS_HASHTYPE_SHA1
;
1590 directory
.spare1
= 0x00;
1591 directory
.pageSize
= PageShift_
;
1592 directory
.spare2
= Swap(uint32_t(0));
1593 directory
.scatterOffset
= Swap(uint32_t(0));
1594 directory
.spare3
= Swap(uint32_t(0));
1595 directory
.codeLimit64
= Swap(uint64_t(0));
1597 uint32_t offset(sizeof(Blob
) + sizeof(CodeDirectory
));
1599 directory
.identOffset
= Swap(uint32_t(offset
));
1600 offset
+= identifier
.size() + 1;
1603 directory
.teamIDOffset
= Swap(uint32_t(0));
1605 directory
.teamIDOffset
= Swap(uint32_t(offset
));
1606 offset
+= team
.size() + 1;
1609 offset
+= LDID_SHA1_DIGEST_LENGTH
* special
;
1610 directory
.hashOffset
= Swap(uint32_t(offset
));
1611 offset
+= LDID_SHA1_DIGEST_LENGTH
* normal
;
1613 put(data
, &directory
, sizeof(directory
));
1615 put(data
, identifier
.c_str(), identifier
.size() + 1);
1616 put(data
, team
.c_str(), team
.size() + 1);
1618 uint8_t storage
[special
+ normal
][LDID_SHA1_DIGEST_LENGTH
];
1619 uint8_t (*hashes
)[LDID_SHA1_DIGEST_LENGTH
] = storage
+ special
;
1621 memset(storage
, 0, sizeof(*storage
) * special
);
1623 _foreach (blob
, blobs
) {
1624 auto local(reinterpret_cast<const Blob
*>(&blob
.second
[0]));
1625 sha1((uint8_t *) (hashes
- blob
.first
), local
, Swap(local
->length
));
1628 _foreach (slot
, posts
) {
1629 _assert(sizeof(*hashes
) == slot
.second
.size());
1630 memcpy(hashes
- slot
.first
, slot
.second
.data(), slot
.second
.size());
1634 for (size_t i
= 0; i
!= normal
- 1; ++i
)
1635 sha1(hashes
[i
], (PageSize_
* i
< overlap
.size() ? overlap
.data() : top
) + PageSize_
* i
, PageSize_
);
1637 sha1(hashes
[normal
- 1], top
+ PageSize_
* (normal
- 1), ((limit
- 1) % PageSize_
) + 1);
1639 put(data
, storage
, sizeof(storage
));
1641 insert(blobs
, CSSLOT_CODEDIRECTORY
, CSMAGIC_CODEDIRECTORY
, data
);
1644 #ifndef LDID_NOSMIME
1646 std::stringbuf data
;
1647 const std::string
&sign(blobs
[CSSLOT_CODEDIRECTORY
]);
1652 Signature
signature(stuff
, sign
);
1653 Buffer
result(signature
);
1654 std::string
value(result
);
1655 put(data
, value
.data(), value
.size());
1657 insert(blobs
, CSSLOT_SIGNATURESLOT
, CSMAGIC_BLOBWRAPPER
, data
);
1661 return put(output
, CSMAGIC_EMBEDDED_SIGNATURE
, blobs
);
1665 #ifndef LDID_NOTOOLS
1666 static void Unsign(void *idata
, size_t isize
, std::streambuf
&output
) {
1667 Allocate(idata
, isize
, output
, fun([](const MachHeader
&mach_header
, size_t size
) -> size_t {
1669 }), fun([](const MachHeader
&mach_header
, std::streambuf
&output
, size_t limit
, const std::string
&overlap
, const char *top
) -> size_t {
1674 std::string
DiskFolder::Path(const std::string
&path
) {
1675 return path_
+ "/" + path
;
1678 DiskFolder::DiskFolder(const std::string
&path
) :
1683 DiskFolder::~DiskFolder() {
1684 if (!std::uncaught_exception())
1685 for (const auto &commit
: commit_
)
1686 Commit(commit
.first
, commit
.second
);
1690 std::string
readlink(const std::string
&path
) {
1691 for (size_t size(1024); ; size
*= 2) {
1695 int writ(_syscall(::readlink(path
.c_str(), &data
[0], data
.size())));
1696 if (size_t(writ
) >= size
)
1705 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
) {
1706 std::string
path(Path(root
) + base
);
1708 DIR *dir(opendir(path
.c_str()));
1709 _assert(dir
!= NULL
);
1710 _scope({ _syscall(closedir(dir
)); });
1712 while (auto child
= readdir(dir
)) {
1713 std::string
name(child
->d_name
);
1714 if (name
== "." || name
== "..")
1716 if (Starts(name
, ".ldid."))
1723 _syscall(stat((path
+ name
).c_str(), &info
));
1725 else if (S_ISDIR(info
.st_mode
))
1727 else if (S_ISREG(info
.st_mode
))
1730 _assert_(false, "st_mode=%x", info
.st_mode
);
1732 switch (child
->d_type
) {
1740 link(base
+ name
, fun([&]() { return readlink(path
+ name
); }));
1743 _assert_(false, "d_type=%u", child
->d_type
);
1748 Find(root
, base
+ name
+ "/", code
, link
);
1750 code(base
+ name
, fun([&](const Functor
<void (std::streambuf
&, std::streambuf
&)> &code
) {
1751 std::string
access(root
+ base
+ name
);
1752 Open(access
, fun([&](std::streambuf
&data
, const void *flag
) {
1753 auto from(path
+ name
);
1755 commit_
[from
] = Temporary(save
, from
);
1762 void DiskFolder::Save(const std::string
&path
, const void *flag
, const Functor
<void (std::streambuf
&)> &code
) {
1764 auto from(Path(path
));
1765 commit_
[from
] = Temporary(save
, from
);
1769 bool DiskFolder::Look(const std::string
&path
) {
1770 return _syscall(access(Path(path
).c_str(), R_OK
), ENOENT
) == 0;
1773 void DiskFolder::Open(const std::string
&path
, const Functor
<void (std::streambuf
&, const void *)> &code
) {
1775 auto result(data
.open(Path(path
).c_str(), std::ios::binary
| std::ios::in
));
1776 _assert_(result
== &data
, "DiskFolder::Open(%s)", path
.c_str());
1780 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
) {
1781 Find(path
, "", code
, link
);
1785 SubFolder::SubFolder(Folder
&parent
, const std::string
&path
) :
1791 void SubFolder::Save(const std::string
&path
, const void *flag
, const Functor
<void (std::streambuf
&)> &code
) {
1792 return parent_
.Save(path_
+ path
, flag
, code
);
1795 bool SubFolder::Look(const std::string
&path
) {
1796 return parent_
.Look(path_
+ path
);
1799 void SubFolder::Open(const std::string
&path
, const Functor
<void (std::streambuf
&, const void *)> &code
) {
1800 return parent_
.Open(path_
+ path
, code
);
1803 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
) {
1804 return parent_
.Find(path_
+ path
, code
, link
);
1807 std::string
UnionFolder::Map(const std::string
&path
) {
1808 auto remap(remaps_
.find(path
));
1809 if (remap
== remaps_
.end())
1811 return remap
->second
;
1814 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
) {
1815 if (file
.size() >= path
.size() && file
.substr(0, path
.size()) == path
)
1816 code(file
.substr(path
.size()), fun([&](const Functor
<void (std::streambuf
&, std::streambuf
&)> &code
) {
1817 save(fun([&](std::streambuf
&data
, const void *flag
) {
1818 parent_
.Save(file
, flag
, fun([&](std::streambuf
&save
) {
1825 UnionFolder::UnionFolder(Folder
&parent
) :
1830 void UnionFolder::Save(const std::string
&path
, const void *flag
, const Functor
<void (std::streambuf
&)> &code
) {
1831 return parent_
.Save(Map(path
), flag
, code
);
1834 bool UnionFolder::Look(const std::string
&path
) {
1835 auto file(resets_
.find(path
));
1836 if (file
!= resets_
.end())
1838 return parent_
.Look(Map(path
));
1841 void UnionFolder::Open(const std::string
&path
, const Functor
<void (std::streambuf
&, const void *)> &code
) {
1842 auto file(resets_
.find(path
));
1843 if (file
== resets_
.end())
1844 return parent_
.Open(Map(path
), code
);
1845 auto &entry(file
->second
);
1847 auto &data(entry
.first
);
1848 data
.pubseekpos(0, std::ios::in
);
1849 code(data
, entry
.second
);
1852 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
) {
1853 parent_
.Find(path
, fun([&](const std::string
&name
, const Functor
<void (const Functor
<void (std::streambuf
&, std::streambuf
&)> &)> &save
) {
1854 if (deletes_
.find(path
+ name
) == deletes_
.end())
1856 }), fun([&](const std::string
&name
, const Functor
<std::string ()> &read
) {
1857 if (deletes_
.find(path
+ name
) == deletes_
.end())
1861 for (auto &reset
: resets_
)
1862 Map(path
, code
, reset
.first
, fun([&](const Functor
<void (std::streambuf
&, const void *)> &code
) {
1863 auto &entry(reset
.second
);
1864 entry
.first
.pubseekpos(0, std::ios::in
);
1865 code(entry
.first
, entry
.second
);
1868 for (auto &remap
: remaps_
)
1869 Map(path
, code
, remap
.first
, fun([&](const Functor
<void (std::streambuf
&, const void *)> &code
) {
1870 parent_
.Open(remap
.second
, fun([&](std::streambuf
&data
, const void *flag
) {
1876 #ifndef LDID_NOTOOLS
1877 static size_t copy(std::streambuf
&source
, std::streambuf
&target
) {
1881 size_t writ(source
.sgetn(data
, sizeof(data
)));
1884 _assert(target
.sputn(data
, writ
) == writ
);
1890 #ifndef LDID_NOPLIST
1891 static plist_t
plist(const std::string
&data
) {
1892 plist_t
plist(NULL
);
1893 if (Starts(data
, "bplist00"))
1894 plist_from_bin(data
.data(), data
.size(), &plist
);
1896 plist_from_xml(data
.data(), data
.size(), &plist
);
1897 _assert(plist
!= NULL
);
1901 static void plist_d(std::streambuf
&buffer
, const Functor
<void (plist_t
)> &code
) {
1902 std::stringbuf data
;
1904 auto node(plist(data
.str()));
1905 _scope({ plist_free(node
); });
1906 _assert(plist_get_node_type(node
) == PLIST_DICT
);
1910 static std::string
plist_s(plist_t node
) {
1911 _assert(node
!= NULL
);
1912 _assert(plist_get_node_type(node
) == PLIST_STRING
);
1914 plist_get_string_val(node
, &data
);
1915 _scope({ free(data
); });
1933 Expression(const std::string
&code
) {
1934 _assert_(regcomp(®ex_
, code
.c_str(), REG_EXTENDED
| REG_NOSUB
) == 0, "regcomp()");
1941 bool operator ()(const std::string
&data
) const {
1942 auto value(regexec(®ex_
, data
.c_str(), 0, NULL
, 0));
1943 if (value
== REG_NOMATCH
)
1945 _assert_(value
== 0, "regexec()");
1955 mutable std::auto_ptr
<Expression
> regex_
;
1957 Rule(unsigned weight
, Mode mode
, const std::string
&code
) :
1964 Rule(const Rule
&rhs
) :
1965 weight_(rhs
.weight_
),
1971 void Compile() const {
1972 regex_
.reset(new Expression(code_
));
1975 bool operator ()(const std::string
&data
) const {
1976 _assert(regex_
.get() != NULL
);
1977 return (*regex_
)(data
);
1980 bool operator <(const Rule
&rhs
) const {
1981 if (weight_
> rhs
.weight_
)
1983 if (weight_
< rhs
.weight_
)
1985 return mode_
> rhs
.mode_
;
1990 bool operator ()(const Rule
*lhs
, const Rule
*rhs
) const {
1991 return lhs
->code_
< rhs
->code_
;
1995 #ifndef LDID_NOPLIST
1996 static void 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
) {
1997 // XXX: this is a miserable fail
1998 std::stringbuf temp
;
1999 put(temp
, prefix
, size
);
2001 auto data(temp
.str());
2003 HashProxy
proxy(hash
, save
);
2004 Sign(data
.data(), data
.size(), proxy
, identifier
, entitlements
, requirement
, key
, slots
);
2007 std::string
Bundle(const std::string
&root
, Folder
&folder
, const std::string
&key
, std::set
<std::string
> &remote
, const std::string
&entitlements
, const std::string
&requirement
) {
2008 std::string executable
;
2009 std::string identifier
;
2011 static const std::string
info("Info.plist");
2013 folder
.Open(info
, fun([&](std::streambuf
&buffer
, const void *flag
) {
2014 plist_d(buffer
, fun([&](plist_t node
) {
2015 executable
= plist_s(plist_dict_get_item(node
, "CFBundleExecutable"));
2016 identifier
= plist_s(plist_dict_get_item(node
, "CFBundleIdentifier"));
2020 static const std::string
directory("_CodeSignature/");
2021 static const std::string
signature(directory
+ "CodeResources");
2023 std::map
<std::string
, std::multiset
<Rule
>> versions
;
2025 auto &rules1(versions
[""]);
2026 auto &rules2(versions
["2"]);
2029 rules1
.insert(Rule
{1, NoMode
, "^"});
2030 rules1
.insert(Rule
{10000, OmitMode
, "^(Frameworks/[^/]+\\.framework/|PlugIns/[^/]+\\.appex/|PlugIns/[^/]+\\.appex/Frameworks/[^/]+\\.framework/|())SC_Info/[^/]+\\.(sinf|supf|supp)$"});
2031 rules1
.insert(Rule
{1000, OptionalMode
, "^.*\\.lproj/"});
2032 rules1
.insert(Rule
{1100, OmitMode
, "^.*\\.lproj/locversion.plist$"});
2033 rules1
.insert(Rule
{10000, OmitMode
, "^Watch/[^/]+\\.app/(Frameworks/[^/]+\\.framework/|PlugIns/[^/]+\\.appex/|PlugIns/[^/]+\\.appex/Frameworks/[^/]+\\.framework/)SC_Info/[^/]+\\.(sinf|supf|supp)$"});
2034 rules1
.insert(Rule
{1, NoMode
, "^version.plist$"});
2038 rules2
.insert(Rule
{11, NoMode
, ".*\\.dSYM($|/)"});
2039 rules2
.insert(Rule
{20, NoMode
, "^"});
2040 rules2
.insert(Rule
{2000, OmitMode
, "^(.*/)?\\.DS_Store$"});
2041 rules2
.insert(Rule
{10000, OmitMode
, "^(Frameworks/[^/]+\\.framework/|PlugIns/[^/]+\\.appex/|PlugIns/[^/]+\\.appex/Frameworks/[^/]+\\.framework/|())SC_Info/[^/]+\\.(sinf|supf|supp)$"});
2042 rules2
.insert(Rule
{10, NestedMode
, "^(Frameworks|SharedFrameworks|PlugIns|Plug-ins|XPCServices|Helpers|MacOS|Library/(Automator|Spotlight|LoginItems))/"});
2043 rules2
.insert(Rule
{1, NoMode
, "^.*"});
2044 rules2
.insert(Rule
{1000, OptionalMode
, "^.*\\.lproj/"});
2045 rules2
.insert(Rule
{1100, OmitMode
, "^.*\\.lproj/locversion.plist$"});
2046 rules2
.insert(Rule
{20, OmitMode
, "^Info\\.plist$"});
2047 rules2
.insert(Rule
{20, OmitMode
, "^PkgInfo$"});
2048 rules2
.insert(Rule
{10000, OmitMode
, "^Watch/[^/]+\\.app/(Frameworks/[^/]+\\.framework/|PlugIns/[^/]+\\.appex/|PlugIns/[^/]+\\.appex/Frameworks/[^/]+\\.framework/)SC_Info/[^/]+\\.(sinf|supf|supp)$"});
2049 rules2
.insert(Rule
{10, NestedMode
, "^[^/]+$"});
2050 rules2
.insert(Rule
{20, NoMode
, "^embedded\\.provisionprofile$"});
2051 rules2
.insert(Rule
{20, NoMode
, "^version\\.plist$"});
2054 std::map
<std::string
, Hash
> hashes
;
2055 std::set
<std::string
> local
;
2057 static Expression
nested("^PlugIns/[^/]*\\.appex/Info\\.plist$");
2059 folder
.Find("", fun([&](const std::string
&name
, const Functor
<void (const Functor
<void (std::streambuf
&, std::streambuf
&)> &)> &code
) {
2062 auto bundle(root
+ Split(name
).dir
);
2063 SubFolder
subfolder(folder
, bundle
);
2064 Bundle(bundle
, subfolder
, key
, local
, "", "");
2065 }), fun([&](const std::string
&name
, const Functor
<std::string ()> &read
) {
2068 std::map
<std::string
, std::string
> links
;
2070 folder
.Find("", fun([&](const std::string
&name
, const Functor
<void (const Functor
<void (std::streambuf
&, std::streambuf
&)> &)> &code
) {
2071 // BundleDiskRep::adjustResources -> builder.addExclusion
2072 if (name
== executable
|| Starts(name
, directory
) || Starts(name
, "_MASReceipt/") || name
== "CodeResources")
2075 if (local
.find(name
) != local
.end())
2079 auto &hash(hashes
[name
]);
2081 code(fun([&](std::streambuf
&data
, std::streambuf
&save
) {
2091 auto size(most(data
, &header
.bytes
, sizeof(header
.bytes
)));
2092 if (size
== sizeof(header
.bytes
))
2093 switch (Swap(header
.magic
)) {
2095 // Java class file format
2096 if (Swap(header
.count
) >= 40)
2099 case MH_MAGIC
: case MH_MAGIC_64
:
2100 case MH_CIGAM
: case MH_CIGAM_64
:
2102 Sign(header
.bytes
, size
, data
, hash
, save
, identifier
, "", "", key
, slots
);
2106 HashProxy
proxy(hash
, save
);
2107 put(proxy
, header
.bytes
, size
);
2110 }), fun([&](const std::string
&name
, const Functor
<std::string ()> &read
) {
2111 links
[name
] = read();
2115 auto plist(plist_new_dict());
2116 _scope({ plist_free(plist
); });
2118 for (const auto &version
: versions
) {
2119 auto files(plist_new_dict());
2120 plist_dict_set_item(plist
, ("files" + version
.first
).c_str(), files
);
2122 for (const auto &rule
: version
.second
)
2125 bool old(&version
.second
== &rules1
);
2127 for (const auto &hash
: hashes
)
2128 for (const auto &rule
: version
.second
)
2129 if (rule(hash
.first
)) {
2130 if (rule
.mode_
== NestedMode
) {
2132 } else if (rule
.mode_
== NoMode
&& old
)
2133 plist_dict_set_item(files
, hash
.first
.c_str(), plist_new_data(hash
.second
.sha1_
, sizeof(hash
.second
.sha1_
)));
2134 else if (rule
.mode_
!= OmitMode
) {
2135 auto entry(plist_new_dict());
2136 plist_dict_set_item(entry
, "hash", plist_new_data(hash
.second
.sha1_
, sizeof(hash
.second
.sha1_
)));
2138 plist_dict_set_item(entry
, "hash2", plist_new_data(hash
.second
.sha256_
, sizeof(hash
.second
.sha256_
)));
2139 if (rule
.mode_
== OptionalMode
)
2140 plist_dict_set_item(entry
, "optional", plist_new_bool(true));
2141 plist_dict_set_item(files
, hash
.first
.c_str(), entry
);
2147 for (const auto &link
: links
)
2148 for (const auto &rule
: version
.second
)
2149 if (rule(link
.first
)) {
2150 if (rule
.mode_
== NestedMode
) {
2152 } else if (rule
.mode_
!= OmitMode
) {
2153 auto entry(plist_new_dict());
2154 plist_dict_set_item(entry
, "symlink", plist_new_string(link
.second
.c_str()));
2155 if (rule
.mode_
== OptionalMode
)
2156 plist_dict_set_item(entry
, "optional", plist_new_bool(true));
2157 plist_dict_set_item(files
, link
.first
.c_str(), entry
);
2164 for (const auto &version
: versions
) {
2165 auto rules(plist_new_dict());
2166 plist_dict_set_item(plist
, ("rules" + version
.first
).c_str(), rules
);
2168 std::multiset
<const Rule
*, RuleCode
> ordered
;
2169 for (const auto &rule
: version
.second
)
2170 ordered
.insert(&rule
);
2172 for (const auto &rule
: ordered
)
2173 if (rule
->weight_
== 1 && rule
->mode_
== NoMode
)
2174 plist_dict_set_item(rules
, rule
->code_
.c_str(), plist_new_bool(true));
2176 auto entry(plist_new_dict());
2177 plist_dict_set_item(rules
, rule
->code_
.c_str(), entry
);
2179 switch (rule
->mode_
) {
2183 plist_dict_set_item(entry
, "omit", plist_new_bool(true));
2186 plist_dict_set_item(entry
, "optional", plist_new_bool(true));
2189 plist_dict_set_item(entry
, "nested", plist_new_bool(true));
2192 plist_dict_set_item(entry
, "top", plist_new_bool(true));
2196 if (rule
->weight_
>= 10000)
2197 plist_dict_set_item(entry
, "weight", plist_new_uint(rule
->weight_
));
2198 else if (rule
->weight_
!= 1)
2199 plist_dict_set_item(entry
, "weight", plist_new_real(rule
->weight_
));
2203 folder
.Save(signature
, NULL
, fun([&](std::streambuf
&save
) {
2204 HashProxy
proxy(hashes
[signature
], save
);
2207 plist_to_xml(plist
, &xml
, &size
);
2208 _scope({ free(xml
); });
2209 put(proxy
, xml
, size
);
2212 folder
.Open(executable
, fun([&](std::streambuf
&buffer
, const void *flag
) {
2213 folder
.Save(executable
, flag
, fun([&](std::streambuf
&save
) {
2215 slots
[1] = hashes
.at(info
);
2216 slots
[3] = hashes
.at(signature
);
2217 Sign(NULL
, 0, buffer
, hashes
[executable
], save
, identifier
, entitlements
, requirement
, key
, slots
);
2221 local
.insert(signature
);
2222 local
.insert(executable
);
2224 for (const auto &name
: local
)
2225 remote
.insert(root
+ name
);
2230 std::string
Bundle(const std::string
&root
, Folder
&folder
, const std::string
&key
, const std::string
&entitlements
, const std::string
&requirement
) {
2231 std::set
<std::string
> local
;
2232 return Bundle(root
, folder
, key
, local
, entitlements
, requirement
);
2239 #ifndef LDID_NOTOOLS
2240 int main(int argc
, char *argv
[]) {
2241 #ifndef LDID_NOSMIME
2242 OpenSSL_add_all_algorithms();
2250 little_
= endian
.byte
[0];
2256 #ifndef LDID_NOFLAGT
2270 uint32_t flag_CPUType(_not(uint32_t));
2271 uint32_t flag_CPUSubtype(_not(uint32_t));
2273 const char *flag_I(NULL
);
2275 #ifndef LDID_NOFLAGT
2285 std::vector
<std::string
> files
;
2288 fprintf(stderr
, "usage: %s -S[entitlements.xml] <binary>\n", argv
[0]);
2289 fprintf(stderr
, " %s -e MobileSafari\n", argv
[0]);
2290 fprintf(stderr
, " %s -S cat\n", argv
[0]);
2291 fprintf(stderr
, " %s -Stfp.xml gdb\n", argv
[0]);
2295 for (int argi(1); argi
!= argc
; ++argi
)
2296 if (argv
[argi
][0] != '-')
2297 files
.push_back(argv
[argi
]);
2298 else switch (argv
[argi
][1]) {
2305 case 'e': flag_e
= true; break;
2308 const char *slot
= argv
[argi
] + 2;
2309 const char *colon
= strchr(slot
, ':');
2310 _assert(colon
!= NULL
);
2311 Map
file(colon
+ 1, O_RDONLY
, PROT_READ
, MAP_PRIVATE
);
2313 unsigned number(strtoul(slot
, &arge
, 0));
2314 _assert(arge
== colon
);
2315 sha1(slots
[number
], file
.data(), file
.size());
2318 case 'q': flag_q
= true; break;
2321 const char *xml
= argv
[argi
] + 2;
2322 requirement
.open(xml
, O_RDONLY
, PROT_READ
, MAP_PRIVATE
);
2325 case 'D': flag_D
= true; break;
2327 case 'a': flag_a
= true; break;
2332 if (argv
[argi
][2] != '\0') {
2333 const char *cpu
= argv
[argi
] + 2;
2334 const char *colon
= strchr(cpu
, ':');
2335 _assert(colon
!= NULL
);
2337 flag_CPUType
= strtoul(cpu
, &arge
, 0);
2338 _assert(arge
== colon
);
2339 flag_CPUSubtype
= strtoul(colon
+ 1, &arge
, 0);
2340 _assert(arge
== argv
[argi
] + strlen(argv
[argi
]));
2354 if (argv
[argi
][2] != '\0') {
2355 const char *xml
= argv
[argi
] + 2;
2356 entitlements
.open(xml
, O_RDONLY
, PROT_READ
, MAP_PRIVATE
);
2361 if (argv
[argi
][2] != '\0')
2362 key
.open(argv
[argi
] + 2, O_RDONLY
, PROT_READ
, MAP_PRIVATE
);
2365 #ifndef LDID_NOFLAGT
2368 if (argv
[argi
][2] == '-')
2372 timev
= strtoul(argv
[argi
] + 2, &arge
, 0);
2373 _assert(arge
== argv
[argi
] + strlen(argv
[argi
]));
2383 flag_I
= argv
[argi
] + 2;
2391 _assert(flag_S
|| key
.empty());
2392 _assert(flag_S
|| flag_I
== NULL
);
2394 if (files
.empty()) usage
: {
2398 size_t filei(0), filee(0);
2399 _foreach (file
, files
) try {
2400 std::string
path(file
);
2403 _syscall(stat(path
.c_str(), &info
));
2405 if (S_ISDIR(info
.st_mode
)) {
2406 #ifndef LDID_NOPLIST
2408 ldid::DiskFolder
folder(path
);
2409 path
+= "/" + Bundle("", folder
, key
, entitlements
, requirement
);
2413 } else if (flag_S
|| flag_r
) {
2414 Map
input(path
, O_RDONLY
, PROT_READ
, MAP_PRIVATE
);
2416 std::filebuf output
;
2418 auto temp(Temporary(output
, split
));
2421 ldid::Unsign(input
.data(), input
.size(), output
);
2423 std::string
identifier(flag_I
?: split
.base
.c_str());
2424 ldid::Sign(input
.data(), input
.size(), output
, identifier
, entitlements
, requirement
, key
, slots
);
2431 #ifndef LDID_NOFLAGT
2438 Map
mapping(path
, modify
);
2439 FatHeader
fat_header(mapping
.data(), mapping
.size());
2441 _foreach (mach_header
, fat_header
.GetMachHeaders()) {
2442 struct linkedit_data_command
*signature(NULL
);
2443 struct encryption_info_command
*encryption(NULL
);
2446 if (mach_header
.GetCPUType() != flag_CPUType
)
2448 if (mach_header
.GetCPUSubtype() != flag_CPUSubtype
)
2453 printf("cpu=0x%x:0x%x\n", mach_header
.GetCPUType(), mach_header
.GetCPUSubtype());
2455 _foreach (load_command
, mach_header
.GetLoadCommands()) {
2456 uint32_t cmd(mach_header
.Swap(load_command
->cmd
));
2459 else if (cmd
== LC_CODE_SIGNATURE
)
2460 signature
= reinterpret_cast<struct linkedit_data_command
*>(load_command
);
2461 else if (cmd
== LC_ENCRYPTION_INFO
|| cmd
== LC_ENCRYPTION_INFO_64
)
2462 encryption
= reinterpret_cast<struct encryption_info_command
*>(load_command
);
2463 else if (cmd
== LC_LOAD_DYLIB
) {
2464 volatile struct dylib_command
*dylib_command(reinterpret_cast<struct dylib_command
*>(load_command
));
2465 const char *name(reinterpret_cast<const char *>(load_command
) + mach_header
.Swap(dylib_command
->dylib
.name
));
2467 if (strcmp(name
, "/System/Library/Frameworks/UIKit.framework/UIKit") == 0) {
2470 version
.value
= mach_header
.Swap(dylib_command
->dylib
.current_version
);
2471 printf("uikit=%u.%u.%u\n", version
.major
, version
.minor
, version
.patch
);
2475 #ifndef LDID_NOFLAGT
2476 else if (cmd
== LC_ID_DYLIB
) {
2477 volatile struct dylib_command
*dylib_command(reinterpret_cast<struct dylib_command
*>(load_command
));
2485 dylib_command
->dylib
.timestamp
= 0;
2486 timed
= hash(reinterpret_cast<uint8_t *>(mach_header
.GetBase()), mach_header
.GetSize(), timev
);
2489 dylib_command
->dylib
.timestamp
= mach_header
.Swap(timed
);
2496 _assert(encryption
!= NULL
);
2497 encryption
->cryptid
= mach_header
.Swap(0);
2501 _assert(signature
!= NULL
);
2503 uint32_t data
= mach_header
.Swap(signature
->dataoff
);
2505 uint8_t *top
= reinterpret_cast<uint8_t *>(mach_header
.GetBase());
2506 uint8_t *blob
= top
+ data
;
2507 struct SuperBlob
*super
= reinterpret_cast<struct SuperBlob
*>(blob
);
2509 for (size_t index(0); index
!= Swap(super
->count
); ++index
)
2510 if (Swap(super
->index
[index
].type
) == CSSLOT_ENTITLEMENTS
) {
2511 uint32_t begin
= Swap(super
->index
[index
].offset
);
2512 struct Blob
*entitlements
= reinterpret_cast<struct Blob
*>(blob
+ begin
);
2513 fwrite(entitlements
+ 1, 1, Swap(entitlements
->length
) - sizeof(*entitlements
), stdout
);
2518 _assert(signature
!= NULL
);
2520 uint32_t data
= mach_header
.Swap(signature
->dataoff
);
2522 uint8_t *top
= reinterpret_cast<uint8_t *>(mach_header
.GetBase());
2523 uint8_t *blob
= top
+ data
;
2524 struct SuperBlob
*super
= reinterpret_cast<struct SuperBlob
*>(blob
);
2526 for (size_t index(0); index
!= Swap(super
->count
); ++index
)
2527 if (Swap(super
->index
[index
].type
) == CSSLOT_REQUIREMENTS
) {
2528 uint32_t begin
= Swap(super
->index
[index
].offset
);
2529 struct Blob
*requirement
= reinterpret_cast<struct Blob
*>(blob
+ begin
);
2530 fwrite(requirement
, 1, Swap(requirement
->length
), stdout
);
2535 _assert(signature
!= NULL
);
2537 uint32_t data
= mach_header
.Swap(signature
->dataoff
);
2539 uint8_t *top
= reinterpret_cast<uint8_t *>(mach_header
.GetBase());
2540 uint8_t *blob
= top
+ data
;
2541 struct SuperBlob
*super
= reinterpret_cast<struct SuperBlob
*>(blob
);
2543 for (size_t index(0); index
!= Swap(super
->count
); ++index
)
2544 if (Swap(super
->index
[index
].type
) == CSSLOT_CODEDIRECTORY
) {
2545 uint32_t begin
= Swap(super
->index
[index
].offset
);
2546 struct CodeDirectory
*directory
= reinterpret_cast<struct CodeDirectory
*>(blob
+ begin
+ sizeof(Blob
));
2548 uint8_t (*hashes
)[LDID_SHA1_DIGEST_LENGTH
] = reinterpret_cast<uint8_t (*)[LDID_SHA1_DIGEST_LENGTH
]>(blob
+ begin
+ Swap(directory
->hashOffset
));
2549 uint32_t pages
= Swap(directory
->nCodeSlots
);
2552 for (size_t i
= 0; i
!= pages
- 1; ++i
)
2553 sha1(hashes
[i
], top
+ PageSize_
* i
, PageSize_
);
2555 sha1(hashes
[pages
- 1], top
+ PageSize_
* (pages
- 1), ((data
- 1) % PageSize_
) + 1);
2561 } catch (const char *) {