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>
89 #include <CoreFoundation/CoreFoundation.h>
94 #define _assert___(line) \
96 #define _assert__(line) \
100 #define $(value) value
104 #define _assert_(expr, format, ...) \
106 fprintf(stderr, $("%s(%u): _assert(): " format "\n"), __FILE__, __LINE__, ## __VA_ARGS__); \
107 throw $(__FILE__ "(" _assert__(__LINE__) "): _assert(" #expr ")"); \
110 // XXX: this is not acceptable
111 #define _assert_(expr, format, ...) \
113 fprintf(stderr, $("%s(%u): _assert(): " format "\n"), __FILE__, __LINE__, ## __VA_ARGS__); \
118 #define _assert(expr) \
119 _assert_(expr, "%s", $(#expr))
121 #define _syscall(expr, ...) [&] { for (;;) { \
123 if ((long) _value != -1) \
126 if (error == EINTR) \
128 /* XXX: EINTR is included in this list to fix g++ */ \
129 for (auto success : (long[]) {EINTR, __VA_ARGS__}) \
130 if (error == success) \
131 return (decltype(expr)) -success; \
132 _assert_(false, "errno=%u", error); \
136 fprintf(stderr, $("_trace(%s:%u): %s\n"), __FILE__, __LINE__, $(__FUNCTION__))
142 __attribute__((packed))
144 template <typename Type_
>
146 typedef typename
Type_::const_iterator Result
;
149 #define _foreach(item, list) \
150 for (bool _stop(true); _stop; ) \
151 for (const __typeof__(list) &_list = (list); _stop; _stop = false) \
152 for (Iterator_<__typeof__(list)>::Result _item = _list.begin(); _item != _list.end(); ++_item) \
153 for (bool _suck(true); _suck; _suck = false) \
154 for (const __typeof__(*_item) &item = *_item; _suck; _suck = false)
159 template <typename Function_
>
167 Scope(const Function_
&function
) :
177 template <typename Function_
>
178 Scope
<Function_
> _scope(const Function_
&function
) {
179 return Scope
<Function_
>(function
);
182 #define _scope__(counter, function) \
183 __attribute__((__unused__)) \
184 const _Scope &_scope ## counter(_scope([&]function))
185 #define _scope_(counter, function) \
186 _scope__(counter, function)
187 #define _scope(function) \
188 _scope_(__COUNTER__, function)
190 #define CPU_ARCH_MASK uint32_t(0xff000000)
191 #define CPU_ARCH_ABI64 uint32_t(0x01000000)
193 #define CPU_TYPE_ANY uint32_t(-1)
194 #define CPU_TYPE_VAX uint32_t( 1)
195 #define CPU_TYPE_MC680x0 uint32_t( 6)
196 #define CPU_TYPE_X86 uint32_t( 7)
197 #define CPU_TYPE_MC98000 uint32_t(10)
198 #define CPU_TYPE_HPPA uint32_t(11)
199 #define CPU_TYPE_ARM uint32_t(12)
200 #define CPU_TYPE_MC88000 uint32_t(13)
201 #define CPU_TYPE_SPARC uint32_t(14)
202 #define CPU_TYPE_I860 uint32_t(15)
203 #define CPU_TYPE_POWERPC uint32_t(18)
205 #define CPU_TYPE_I386 CPU_TYPE_X86
207 #define CPU_TYPE_ARM64 (CPU_ARCH_ABI64 | CPU_TYPE_ARM)
208 #define CPU_TYPE_POWERPC64 (CPU_ARCH_ABI64 | CPU_TYPE_POWERPC)
209 #define CPU_TYPE_X86_64 (CPU_ARCH_ABI64 | CPU_TYPE_X86)
216 #define FAT_MAGIC 0xcafebabe
217 #define FAT_CIGAM 0xbebafeca
237 #define MH_MAGIC 0xfeedface
238 #define MH_CIGAM 0xcefaedfe
240 #define MH_MAGIC_64 0xfeedfacf
241 #define MH_CIGAM_64 0xcffaedfe
243 #define MH_DYLDLINK 0x4
245 #define MH_OBJECT 0x1
246 #define MH_EXECUTE 0x2
248 #define MH_BUNDLE 0x8
249 #define MH_DYLIB_STUB 0x9
251 struct load_command
{
256 #define LC_REQ_DYLD uint32_t(0x80000000)
258 #define LC_SEGMENT uint32_t(0x01)
259 #define LC_SYMTAB uint32_t(0x02)
260 #define LC_DYSYMTAB uint32_t(0x0b)
261 #define LC_LOAD_DYLIB uint32_t(0x0c)
262 #define LC_ID_DYLIB uint32_t(0x0d)
263 #define LC_SEGMENT_64 uint32_t(0x19)
264 #define LC_UUID uint32_t(0x1b)
265 #define LC_CODE_SIGNATURE uint32_t(0x1d)
266 #define LC_SEGMENT_SPLIT_INFO uint32_t(0x1e)
267 #define LC_REEXPORT_DYLIB uint32_t(0x1f | LC_REQ_DYLD)
268 #define LC_ENCRYPTION_INFO uint32_t(0x21)
269 #define LC_DYLD_INFO uint32_t(0x22)
270 #define LC_DYLD_INFO_ONLY uint32_t(0x22 | LC_REQ_DYLD)
271 #define LC_ENCRYPTION_INFO_64 uint32_t(0x2c)
286 uint32_t current_version
;
287 uint32_t compatibility_version
;
290 struct dylib_command
{
296 struct uuid_command
{
302 struct symtab_command
{
311 struct dyld_info_command
{
315 uint32_t rebase_size
;
318 uint32_t weak_bind_off
;
319 uint32_t weak_bind_size
;
320 uint32_t lazy_bind_off
;
321 uint32_t lazy_bind_size
;
323 uint32_t export_size
;
326 struct dysymtab_command
{
339 uint32_t extrefsymoff
;
340 uint32_t nextrefsyms
;
341 uint32_t indirectsymoff
;
342 uint32_t nindirectsyms
;
349 struct dylib_table_of_contents
{
350 uint32_t symbol_index
;
351 uint32_t module_index
;
354 struct dylib_module
{
355 uint32_t module_name
;
364 uint32_t iinit_iterm
;
365 uint32_t ninit_nterm
;
366 uint32_t objc_module_info_addr
;
367 uint32_t objc_module_info_size
;
370 struct dylib_reference
{
375 struct relocation_info
{
377 uint32_t r_symbolnum
:24;
396 struct segment_command
{
410 struct segment_command_64
{
453 struct linkedit_data_command
{
460 struct encryption_info_command
{
468 #define BIND_OPCODE_MASK 0xf0
469 #define BIND_IMMEDIATE_MASK 0x0f
470 #define BIND_OPCODE_DONE 0x00
471 #define BIND_OPCODE_SET_DYLIB_ORDINAL_IMM 0x10
472 #define BIND_OPCODE_SET_DYLIB_ORDINAL_ULEB 0x20
473 #define BIND_OPCODE_SET_DYLIB_SPECIAL_IMM 0x30
474 #define BIND_OPCODE_SET_SYMBOL_TRAILING_FLAGS_IMM 0x40
475 #define BIND_OPCODE_SET_TYPE_IMM 0x50
476 #define BIND_OPCODE_SET_ADDEND_SLEB 0x60
477 #define BIND_OPCODE_SET_SEGMENT_AND_OFFSET_ULEB 0x70
478 #define BIND_OPCODE_ADD_ADDR_ULEB 0x80
479 #define BIND_OPCODE_DO_BIND 0x90
480 #define BIND_OPCODE_DO_BIND_ADD_ADDR_ULEB 0xa0
481 #define BIND_OPCODE_DO_BIND_ADD_ADDR_IMM_SCALED 0xb0
482 #define BIND_OPCODE_DO_BIND_ULEB_TIMES_SKIPPING_ULEB 0xc0
484 struct : ldid::Progress
{
485 virtual void operator()(const std::string
&value
) const {
488 virtual void operator()(double value
) const {
492 struct Progression
: ldid::Progress
{
493 const ldid::Progress
&progress_
;
496 Progression(const ldid::Progress
&progress
, const std::string
&name
) :
502 virtual void operator()(const std::string
&value
) const {
503 return progress_(name_
+ " (" + value
+ ")");
506 virtual void operator()(double value
) const {
507 return progress_(value
);
511 static std::streamsize
read(std::streambuf
&stream
, void *data
, size_t size
) {
512 auto writ(stream
.sgetn(static_cast<char *>(data
), size
));
517 static inline void get(std::streambuf
&stream
, void *data
, size_t size
) {
518 _assert(read(stream
, data
, size
) == size
);
521 static inline void put(std::streambuf
&stream
, const void *data
, size_t size
) {
522 _assert(stream
.sputn(static_cast<const char *>(data
), size
) == size
);
525 static inline void put(std::streambuf
&stream
, const void *data
, size_t size
, const ldid::Progress
&progress
) {
527 for (size_t total(0); total
!= size
;) {
528 auto writ(std::min(size
- total
, size_t(4096 * 4)));
529 _assert(stream
.sputn(static_cast<const char *>(data
) + total
, writ
) == writ
);
531 progress(double(total
) / size
);
535 static size_t most(std::streambuf
&stream
, void *data
, size_t size
) {
538 if (auto writ
= read(stream
, data
, size
))
544 static inline void pad(std::streambuf
&stream
, size_t size
) {
546 memset(padding
, 0, size
);
547 put(stream
, padding
, size
);
550 template <typename Type_
>
551 Type_
Align(Type_ value
, size_t align
) {
558 static const uint8_t PageShift_(0x0c);
559 static const uint32_t PageSize_(1 << PageShift_
);
561 static inline uint16_t Swap_(uint16_t value
) {
563 ((value
>> 8) & 0x00ff) |
564 ((value
<< 8) & 0xff00);
567 static inline uint32_t Swap_(uint32_t value
) {
568 value
= ((value
>> 8) & 0x00ff00ff) |
569 ((value
<< 8) & 0xff00ff00);
570 value
= ((value
>> 16) & 0x0000ffff) |
571 ((value
<< 16) & 0xffff0000);
575 static inline uint64_t Swap_(uint64_t value
) {
576 value
= (value
& 0x00000000ffffffff) << 32 | (value
& 0xffffffff00000000) >> 32;
577 value
= (value
& 0x0000ffff0000ffff) << 16 | (value
& 0xffff0000ffff0000) >> 16;
578 value
= (value
& 0x00ff00ff00ff00ff) << 8 | (value
& 0xff00ff00ff00ff00) >> 8;
582 static inline int16_t Swap_(int16_t value
) {
583 return Swap_(static_cast<uint16_t>(value
));
586 static inline int32_t Swap_(int32_t value
) {
587 return Swap_(static_cast<uint32_t>(value
));
590 static inline int64_t Swap_(int64_t value
) {
591 return Swap_(static_cast<uint64_t>(value
));
594 static bool little_(true);
596 static inline uint16_t Swap(uint16_t value
) {
597 return little_
? Swap_(value
) : value
;
600 static inline uint32_t Swap(uint32_t value
) {
601 return little_
? Swap_(value
) : value
;
604 static inline uint64_t Swap(uint64_t value
) {
605 return little_
? Swap_(value
) : value
;
608 static inline int16_t Swap(int16_t value
) {
609 return Swap(static_cast<uint16_t>(value
));
612 static inline int32_t Swap(int32_t value
) {
613 return Swap(static_cast<uint32_t>(value
));
616 static inline int64_t Swap(int64_t value
) {
617 return Swap(static_cast<uint64_t>(value
));
630 Swapped(bool swapped
) :
635 template <typename Type_
>
636 Type_
Swap(Type_ value
) const {
637 return swapped_
? Swap_(value
) : value
;
649 Data(void *base
, size_t size
) :
655 void *GetBase() const {
659 size_t GetSize() const {
670 struct mach_header
*mach_header_
;
671 struct load_command
*load_command_
;
674 MachHeader(void *base
, size_t size
) :
677 mach_header_
= (mach_header
*) base
;
679 switch (Swap(mach_header_
->magic
)) {
681 swapped_
= !swapped_
;
687 swapped_
= !swapped_
;
696 void *post
= mach_header_
+ 1;
698 post
= (uint32_t *) post
+ 1;
699 load_command_
= (struct load_command
*) post
;
702 Swap(mach_header_
->filetype
) == MH_EXECUTE
||
703 Swap(mach_header_
->filetype
) == MH_DYLIB
||
704 Swap(mach_header_
->filetype
) == MH_BUNDLE
708 bool Bits64() const {
712 struct mach_header
*operator ->() const {
716 operator struct mach_header
*() const {
720 uint32_t GetCPUType() const {
721 return Swap(mach_header_
->cputype
);
724 uint32_t GetCPUSubtype() const {
725 return Swap(mach_header_
->cpusubtype
) & 0xff;
728 struct load_command
*GetLoadCommand() const {
729 return load_command_
;
732 std::vector
<struct load_command
*> GetLoadCommands() const {
733 std::vector
<struct load_command
*> load_commands
;
735 struct load_command
*load_command
= load_command_
;
736 for (uint32_t cmd
= 0; cmd
!= Swap(mach_header_
->ncmds
); ++cmd
) {
737 load_commands
.push_back(load_command
);
738 load_command
= (struct load_command
*) ((uint8_t *) load_command
+ Swap(load_command
->cmdsize
));
741 return load_commands
;
744 void ForSection(const ldid::Functor
<void (const char *, const char *, void *, size_t)> &code
) const {
745 _foreach (load_command
, GetLoadCommands())
746 switch (Swap(load_command
->cmd
)) {
748 auto segment(reinterpret_cast<struct segment_command
*>(load_command
));
749 code(segment
->segname
, NULL
, GetOffset
<void>(segment
->fileoff
), segment
->filesize
);
750 auto section(reinterpret_cast<struct section
*>(segment
+ 1));
751 for (uint32_t i(0), e(Swap(segment
->nsects
)); i
!= e
; ++i
, ++section
)
752 code(segment
->segname
, section
->sectname
, GetOffset
<void>(segment
->fileoff
+ section
->offset
), section
->size
);
755 case LC_SEGMENT_64
: {
756 auto segment(reinterpret_cast<struct segment_command_64
*>(load_command
));
757 code(segment
->segname
, NULL
, GetOffset
<void>(segment
->fileoff
), segment
->filesize
);
758 auto section(reinterpret_cast<struct section_64
*>(segment
+ 1));
759 for (uint32_t i(0), e(Swap(segment
->nsects
)); i
!= e
; ++i
, ++section
)
760 code(segment
->segname
, section
->sectname
, GetOffset
<void>(segment
->fileoff
+ section
->offset
), section
->size
);
765 template <typename Target_
>
766 Target_
*GetOffset(uint32_t offset
) const {
767 return reinterpret_cast<Target_
*>(offset
+ (uint8_t *) mach_header_
);
771 class FatMachHeader
:
778 FatMachHeader(void *base
, size_t size
, fat_arch
*fat_arch
) :
779 MachHeader(base
, size
),
784 fat_arch
*GetFatArch() const {
793 fat_header
*fat_header_
;
794 std::vector
<FatMachHeader
> mach_headers_
;
797 FatHeader(void *base
, size_t size
) :
800 fat_header_
= reinterpret_cast<struct fat_header
*>(base
);
802 if (Swap(fat_header_
->magic
) == FAT_CIGAM
) {
803 swapped_
= !swapped_
;
805 } else if (Swap(fat_header_
->magic
) != FAT_MAGIC
) {
807 mach_headers_
.push_back(FatMachHeader(base
, size
, NULL
));
809 size_t fat_narch
= Swap(fat_header_
->nfat_arch
);
810 fat_arch
*fat_arch
= reinterpret_cast<struct fat_arch
*>(fat_header_
+ 1);
812 for (arch
= 0; arch
!= fat_narch
; ++arch
) {
813 uint32_t arch_offset
= Swap(fat_arch
->offset
);
814 uint32_t arch_size
= Swap(fat_arch
->size
);
815 mach_headers_
.push_back(FatMachHeader((uint8_t *) base
+ arch_offset
, arch_size
, fat_arch
));
821 std::vector
<FatMachHeader
> &GetMachHeaders() {
822 return mach_headers_
;
826 return fat_header_
!= NULL
;
829 struct fat_header
*operator ->() const {
833 operator struct fat_header
*() const {
838 #define CSMAGIC_REQUIREMENT uint32_t(0xfade0c00)
839 #define CSMAGIC_REQUIREMENTS uint32_t(0xfade0c01)
840 #define CSMAGIC_CODEDIRECTORY uint32_t(0xfade0c02)
841 #define CSMAGIC_EMBEDDED_SIGNATURE uint32_t(0xfade0cc0)
842 #define CSMAGIC_EMBEDDED_SIGNATURE_OLD uint32_t(0xfade0b02)
843 #define CSMAGIC_EMBEDDED_ENTITLEMENTS uint32_t(0xfade7171)
844 #define CSMAGIC_DETACHED_SIGNATURE uint32_t(0xfade0cc1)
845 #define CSMAGIC_BLOBWRAPPER uint32_t(0xfade0b01)
847 #define CSSLOT_CODEDIRECTORY uint32_t(0x00000)
848 #define CSSLOT_INFOSLOT uint32_t(0x00001)
849 #define CSSLOT_REQUIREMENTS uint32_t(0x00002)
850 #define CSSLOT_RESOURCEDIR uint32_t(0x00003)
851 #define CSSLOT_APPLICATION uint32_t(0x00004)
852 #define CSSLOT_ENTITLEMENTS uint32_t(0x00005)
853 #define CSSLOT_ALTERNATE uint32_t(0x01000)
855 #define CSSLOT_SIGNATURESLOT uint32_t(0x10000)
857 #define CS_HASHTYPE_SHA160_160 1
858 #define CS_HASHTYPE_SHA256_256 2
859 #define CS_HASHTYPE_SHA256_160 3
860 #define CS_HASHTYPE_SHA386_386 4
875 struct BlobIndex index
[];
878 struct CodeDirectory
{
882 uint32_t identOffset
;
883 uint32_t nSpecialSlots
;
891 uint32_t scatterOffset
;
892 uint32_t teamIDOffset
;
894 //uint64_t codeLimit64;
897 enum CodeSignatureFlags
{
898 kSecCodeSignatureHost
= 0x0001,
899 kSecCodeSignatureAdhoc
= 0x0002,
900 kSecCodeSignatureForceHard
= 0x0100,
901 kSecCodeSignatureForceKill
= 0x0200,
902 kSecCodeSignatureForceExpiration
= 0x0400,
903 kSecCodeSignatureRestrict
= 0x0800,
904 kSecCodeSignatureEnforcement
= 0x1000,
905 kSecCodeSignatureLibraryValidation
= 0x2000,
908 enum Kind
: uint32_t {
909 exprForm
= 1, // prefix expr form
912 enum ExprOp
: uint32_t {
913 opFalse
, // unconditionally false
914 opTrue
, // unconditionally true
915 opIdent
, // match canonical code [string]
916 opAppleAnchor
, // signed by Apple as Apple's product
917 opAnchorHash
, // match anchor [cert hash]
918 opInfoKeyValue
, // *legacy* - use opInfoKeyField [key; value]
919 opAnd
, // binary prefix expr AND expr [expr; expr]
920 opOr
, // binary prefix expr OR expr [expr; expr]
921 opCDHash
, // match hash of CodeDirectory directly [cd hash]
922 opNot
, // logical inverse [expr]
923 opInfoKeyField
, // Info.plist key field [string; match suffix]
924 opCertField
, // Certificate field [cert index; field name; match suffix]
925 opTrustedCert
, // require trust settings to approve one particular cert [cert index]
926 opTrustedCerts
, // require trust settings to approve the cert chain
927 opCertGeneric
, // Certificate component by OID [cert index; oid; match suffix]
928 opAppleGenericAnchor
, // signed by Apple in any capacity
929 opEntitlementField
, // entitlement dictionary field [string; match suffix]
930 opCertPolicy
, // Certificate policy by OID [cert index; oid; match suffix]
931 opNamedAnchor
, // named anchor type
932 opNamedCode
, // named subroutine
933 opPlatform
, // platform constraint [integer]
934 exprOpCount
// (total opcode count in use)
937 enum MatchOperation
{
938 matchExists
, // anything but explicit "false" - no value stored
939 matchEqual
, // equal (CFEqual)
940 matchContains
, // partial match (substring)
941 matchBeginsWith
, // partial match (initial substring)
942 matchEndsWith
, // partial match (terminal substring)
943 matchLessThan
, // less than (string with numeric comparison)
944 matchGreaterThan
, // greater than (string with numeric comparison)
945 matchLessEqual
, // less or equal (string with numeric comparison)
946 matchGreaterEqual
, // greater or equal (string with numeric comparison)
949 #define OID_ISO_MEMBER 42
950 #define OID_US OID_ISO_MEMBER, 134, 72
951 #define APPLE_OID OID_US, 0x86, 0xf7, 0x63
952 #define APPLE_ADS_OID APPLE_OID, 0x64
953 #define APPLE_EXTENSION_OID APPLE_ADS_OID, 6
956 extern "C" uint32_t hash(uint8_t *k
, uint32_t length
, uint32_t initval
);
963 Algorithm(size_t size
, uint8_t type
) :
969 virtual const uint8_t *operator [](const ldid::Hash
&hash
) const = 0;
971 virtual void operator ()(uint8_t *hash
, const void *data
, size_t size
) const = 0;
972 virtual void operator ()(ldid::Hash
&hash
, const void *data
, size_t size
) const = 0;
973 virtual void operator ()(std::vector
<char> &hash
, const void *data
, size_t size
) const = 0;
975 virtual const char *name() = 0;
978 struct AlgorithmSHA1
:
982 Algorithm(LDID_SHA1_DIGEST_LENGTH
, CS_HASHTYPE_SHA160_160
)
986 virtual const uint8_t *operator [](const ldid::Hash
&hash
) const {
990 void operator ()(uint8_t *hash
, const void *data
, size_t size
) const {
991 LDID_SHA1(static_cast<const uint8_t *>(data
), size
, hash
);
994 void operator ()(ldid::Hash
&hash
, const void *data
, size_t size
) const {
995 return operator()(hash
.sha1_
, data
, size
);
998 void operator ()(std::vector
<char> &hash
, const void *data
, size_t size
) const {
999 hash
.resize(LDID_SHA1_DIGEST_LENGTH
);
1000 return operator ()(reinterpret_cast<uint8_t *>(hash
.data()), data
, size
);
1003 virtual const char *name() {
1008 struct AlgorithmSHA256
:
1012 Algorithm(LDID_SHA256_DIGEST_LENGTH
, CS_HASHTYPE_SHA256_256
)
1016 virtual const uint8_t *operator [](const ldid::Hash
&hash
) const {
1017 return hash
.sha256_
;
1020 void operator ()(uint8_t *hash
, const void *data
, size_t size
) const {
1021 LDID_SHA256(static_cast<const uint8_t *>(data
), size
, hash
);
1024 void operator ()(ldid::Hash
&hash
, const void *data
, size_t size
) const {
1025 return operator()(hash
.sha256_
, data
, size
);
1028 void operator ()(std::vector
<char> &hash
, const void *data
, size_t size
) const {
1029 hash
.resize(LDID_SHA256_DIGEST_LENGTH
);
1030 return operator ()(reinterpret_cast<uint8_t *>(hash
.data()), data
, size
);
1033 virtual const char *name() {
1038 static bool do_sha1(true);
1039 static bool do_sha256(true);
1041 static const std::vector
<Algorithm
*> &GetAlgorithms() {
1042 static AlgorithmSHA1 sha1
;
1043 static AlgorithmSHA256 sha256
;
1045 static std::vector
<Algorithm
*> algorithms
;
1046 if (algorithms
.empty()) {
1048 algorithms
.push_back(&sha1
);
1050 algorithms
.push_back(&sha256
);
1056 struct CodesignAllocation
{
1057 FatMachHeader mach_header_
;
1065 CodesignAllocation(FatMachHeader mach_header
, size_t offset
, size_t size
, size_t limit
, size_t alloc
, size_t align
, const char *arch
) :
1066 mach_header_(mach_header
),
1077 #ifndef LDID_NOTOOLS
1090 _syscall(close(file_
));
1093 void open(const char *path
, int flags
) {
1094 _assert(file_
== -1);
1095 file_
= _syscall(::open(path
, flags
));
1112 _syscall(munmap(data_
, size_
));
1124 Map(const std::string
&path
, int oflag
, int pflag
, int mflag
) :
1127 open(path
, oflag
, pflag
, mflag
);
1130 Map(const std::string
&path
, bool edit
) :
1140 bool empty() const {
1141 return data_
== NULL
;
1144 void open(const std::string
&path
, int oflag
, int pflag
, int mflag
) {
1147 file_
.open(path
.c_str(), oflag
);
1148 int file(file_
.file());
1151 _syscall(fstat(file
, &stat
));
1152 size_
= stat
.st_size
;
1154 data_
= _syscall(mmap(NULL
, size_
, pflag
, mflag
, file
, 0));
1157 void open(const std::string
&path
, bool edit
) {
1159 open(path
, O_RDWR
, PROT_READ
| PROT_WRITE
, MAP_SHARED
);
1161 open(path
, O_RDONLY
, PROT_READ
, MAP_PRIVATE
);
1164 void *data() const {
1168 size_t size() const {
1172 operator std::string() const {
1173 return std::string(static_cast<char *>(data_
), size_
);
1180 std::string
Analyze(const void *data
, size_t size
) {
1181 std::string entitlements
;
1183 FatHeader
fat_header(const_cast<void *>(data
), size
);
1184 _foreach (mach_header
, fat_header
.GetMachHeaders())
1185 _foreach (load_command
, mach_header
.GetLoadCommands())
1186 if (mach_header
.Swap(load_command
->cmd
) == LC_CODE_SIGNATURE
) {
1187 auto signature(reinterpret_cast<struct linkedit_data_command
*>(load_command
));
1188 auto offset(mach_header
.Swap(signature
->dataoff
));
1189 auto pointer(reinterpret_cast<uint8_t *>(mach_header
.GetBase()) + offset
);
1190 auto super(reinterpret_cast<struct SuperBlob
*>(pointer
));
1192 for (size_t index(0); index
!= Swap(super
->count
); ++index
)
1193 if (Swap(super
->index
[index
].type
) == CSSLOT_ENTITLEMENTS
) {
1194 auto begin(Swap(super
->index
[index
].offset
));
1195 auto blob(reinterpret_cast<struct Blob
*>(pointer
+ begin
));
1196 auto writ(Swap(blob
->length
) - sizeof(*blob
));
1198 if (entitlements
.empty())
1199 entitlements
.assign(reinterpret_cast<char *>(blob
+ 1), writ
);
1201 _assert(entitlements
.compare(0, entitlements
.size(), reinterpret_cast<char *>(blob
+ 1), writ
) == 0);
1205 return entitlements
;
1208 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 *, const Progress
&)> &save
, const Progress
&progress
) {
1209 FatHeader
source(const_cast<void *>(idata
), isize
);
1213 offset
+= sizeof(fat_header
) + sizeof(fat_arch
) * source
.Swap(source
->nfat_arch
);
1215 std::vector
<CodesignAllocation
> allocations
;
1216 _foreach (mach_header
, source
.GetMachHeaders()) {
1217 struct linkedit_data_command
*signature(NULL
);
1218 struct symtab_command
*symtab(NULL
);
1220 _foreach (load_command
, mach_header
.GetLoadCommands()) {
1221 uint32_t cmd(mach_header
.Swap(load_command
->cmd
));
1223 else if (cmd
== LC_CODE_SIGNATURE
)
1224 signature
= reinterpret_cast<struct linkedit_data_command
*>(load_command
);
1225 else if (cmd
== LC_SYMTAB
)
1226 symtab
= reinterpret_cast<struct symtab_command
*>(load_command
);
1230 if (signature
== NULL
)
1231 size
= mach_header
.GetSize();
1233 size
= mach_header
.Swap(signature
->dataoff
);
1234 _assert(size
<= mach_header
.GetSize());
1237 if (symtab
!= NULL
) {
1238 auto end(mach_header
.Swap(symtab
->stroff
) + mach_header
.Swap(symtab
->strsize
));
1239 if (symtab
->stroff
!= 0 || symtab
->strsize
!= 0) {
1240 _assert(end
<= size
);
1241 _assert(end
>= size
- 0x10);
1246 size_t alloc(allocate(mach_header
, size
));
1248 auto *fat_arch(mach_header
.GetFatArch());
1251 if (fat_arch
!= NULL
)
1252 align
= source
.Swap(fat_arch
->align
);
1253 else switch (mach_header
.GetCPUType()) {
1254 case CPU_TYPE_POWERPC
:
1255 case CPU_TYPE_POWERPC64
:
1257 case CPU_TYPE_X86_64
:
1261 case CPU_TYPE_ARM64
:
1269 const char *arch(NULL
);
1270 switch (mach_header
.GetCPUType()) {
1271 case CPU_TYPE_POWERPC
:
1274 case CPU_TYPE_POWERPC64
:
1280 case CPU_TYPE_X86_64
:
1286 case CPU_TYPE_ARM64
:
1291 offset
= Align(offset
, 1 << align
);
1293 uint32_t limit(size
);
1295 limit
= Align(limit
, 0x10);
1297 allocations
.push_back(CodesignAllocation(mach_header
, offset
, size
, limit
, alloc
, align
, arch
));
1298 offset
+= size
+ alloc
;
1299 offset
= Align(offset
, 0x10);
1304 if (source
.IsFat()) {
1305 fat_header fat_header
;
1306 fat_header
.magic
= Swap(FAT_MAGIC
);
1307 fat_header
.nfat_arch
= Swap(uint32_t(allocations
.size()));
1308 put(output
, &fat_header
, sizeof(fat_header
));
1309 position
+= sizeof(fat_header
);
1311 _foreach (allocation
, allocations
) {
1312 auto &mach_header(allocation
.mach_header_
);
1315 fat_arch
.cputype
= Swap(mach_header
->cputype
);
1316 fat_arch
.cpusubtype
= Swap(mach_header
->cpusubtype
);
1317 fat_arch
.offset
= Swap(allocation
.offset_
);
1318 fat_arch
.size
= Swap(allocation
.limit_
+ allocation
.alloc_
);
1319 fat_arch
.align
= Swap(allocation
.align_
);
1320 put(output
, &fat_arch
, sizeof(fat_arch
));
1321 position
+= sizeof(fat_arch
);
1325 _foreach (allocation
, allocations
) {
1326 progress(allocation
.arch_
);
1327 auto &mach_header(allocation
.mach_header_
);
1329 pad(output
, allocation
.offset_
- position
);
1330 position
= allocation
.offset_
;
1332 std::vector
<std::string
> commands
;
1334 _foreach (load_command
, mach_header
.GetLoadCommands()) {
1335 std::string
copy(reinterpret_cast<const char *>(load_command
), load_command
->cmdsize
);
1337 switch (mach_header
.Swap(load_command
->cmd
)) {
1338 case LC_CODE_SIGNATURE
:
1343 auto segment_command(reinterpret_cast<struct segment_command
*>(©
[0]));
1344 if (strncmp(segment_command
->segname
, "__LINKEDIT", 16) != 0)
1346 size_t size(mach_header
.Swap(allocation
.limit_
+ allocation
.alloc_
- mach_header
.Swap(segment_command
->fileoff
)));
1347 segment_command
->filesize
= size
;
1348 segment_command
->vmsize
= Align(size
, 1 << allocation
.align_
);
1351 case LC_SEGMENT_64
: {
1352 auto segment_command(reinterpret_cast<struct segment_command_64
*>(©
[0]));
1353 if (strncmp(segment_command
->segname
, "__LINKEDIT", 16) != 0)
1355 size_t size(mach_header
.Swap(allocation
.limit_
+ allocation
.alloc_
- mach_header
.Swap(segment_command
->fileoff
)));
1356 segment_command
->filesize
= size
;
1357 segment_command
->vmsize
= Align(size
, 1 << allocation
.align_
);
1361 commands
.push_back(copy
);
1364 if (allocation
.alloc_
!= 0) {
1365 linkedit_data_command signature
;
1366 signature
.cmd
= mach_header
.Swap(LC_CODE_SIGNATURE
);
1367 signature
.cmdsize
= mach_header
.Swap(uint32_t(sizeof(signature
)));
1368 signature
.dataoff
= mach_header
.Swap(allocation
.limit_
);
1369 signature
.datasize
= mach_header
.Swap(allocation
.alloc_
);
1370 commands
.push_back(std::string(reinterpret_cast<const char *>(&signature
), sizeof(signature
)));
1373 size_t begin(position
);
1376 _foreach(command
, commands
)
1377 after
+= command
.size();
1379 std::stringbuf altern
;
1381 struct mach_header
header(*mach_header
);
1382 header
.ncmds
= mach_header
.Swap(uint32_t(commands
.size()));
1383 header
.sizeofcmds
= mach_header
.Swap(after
);
1384 put(output
, &header
, sizeof(header
));
1385 put(altern
, &header
, sizeof(header
));
1386 position
+= sizeof(header
);
1388 if (mach_header
.Bits64()) {
1389 auto pad(mach_header
.Swap(uint32_t(0)));
1390 put(output
, &pad
, sizeof(pad
));
1391 put(altern
, &pad
, sizeof(pad
));
1392 position
+= sizeof(pad
);
1395 _foreach(command
, commands
) {
1396 put(output
, command
.data(), command
.size());
1397 put(altern
, command
.data(), command
.size());
1398 position
+= command
.size();
1401 uint32_t before(mach_header
.Swap(mach_header
->sizeofcmds
));
1402 if (before
> after
) {
1403 pad(output
, before
- after
);
1404 pad(altern
, before
- after
);
1405 position
+= before
- after
;
1408 auto top(reinterpret_cast<char *>(mach_header
.GetBase()));
1410 std::string
overlap(altern
.str());
1411 overlap
.append(top
+ overlap
.size(), Align(overlap
.size(), 0x1000) - overlap
.size());
1413 put(output
, top
+ (position
- begin
), allocation
.size_
- (position
- begin
), progress
);
1414 position
= begin
+ allocation
.size_
;
1416 pad(output
, allocation
.limit_
- allocation
.size_
);
1417 position
+= allocation
.limit_
- allocation
.size_
;
1419 size_t saved(save(mach_header
, output
, allocation
.limit_
, overlap
, top
, progress
));
1420 if (allocation
.alloc_
> saved
)
1421 pad(output
, allocation
.alloc_
- saved
);
1423 _assert(allocation
.alloc_
== saved
);
1424 position
+= allocation
.alloc_
;
1430 typedef std::map
<uint32_t, std::string
> Blobs
;
1432 static void insert(Blobs
&blobs
, uint32_t slot
, const std::stringbuf
&buffer
) {
1433 auto value(buffer
.str());
1434 std::swap(blobs
[slot
], value
);
1437 static const std::string
&insert(Blobs
&blobs
, uint32_t slot
, uint32_t magic
, const std::stringbuf
&buffer
) {
1438 auto value(buffer
.str());
1440 blob
.magic
= Swap(magic
);
1441 blob
.length
= Swap(uint32_t(sizeof(blob
) + value
.size()));
1442 value
.insert(0, reinterpret_cast<char *>(&blob
), sizeof(blob
));
1443 auto &save(blobs
[slot
]);
1444 std::swap(save
, value
);
1448 static size_t put(std::streambuf
&output
, uint32_t magic
, const Blobs
&blobs
) {
1450 _foreach (blob
, blobs
)
1451 total
+= blob
.second
.size();
1453 struct SuperBlob super
;
1454 super
.blob
.magic
= Swap(magic
);
1455 super
.blob
.length
= Swap(uint32_t(sizeof(SuperBlob
) + blobs
.size() * sizeof(BlobIndex
) + total
));
1456 super
.count
= Swap(uint32_t(blobs
.size()));
1457 put(output
, &super
, sizeof(super
));
1459 size_t offset(sizeof(SuperBlob
) + sizeof(BlobIndex
) * blobs
.size());
1461 _foreach (blob
, blobs
) {
1463 index
.type
= Swap(blob
.first
);
1464 index
.offset
= Swap(uint32_t(offset
));
1465 put(output
, &index
, sizeof(index
));
1466 offset
+= blob
.second
.size();
1469 _foreach (blob
, blobs
)
1470 put(output
, blob
.second
.data(), blob
.second
.size());
1475 #ifndef LDID_NOSMIME
1484 _assert(bio_
!= NULL
);
1488 bio_(BIO_new(BIO_s_mem()))
1492 Buffer(const char *data
, size_t size
) :
1493 Buffer(BIO_new_mem_buf(const_cast<char *>(data
), size
))
1497 Buffer(const std::string
&data
) :
1498 Buffer(data
.data(), data
.size())
1502 Buffer(PKCS7
*pkcs
) :
1505 _assert(i2d_PKCS7_bio(bio_
, pkcs
) != 0);
1512 operator BIO
*() const {
1516 explicit operator std::string() const {
1518 auto size(BIO_get_mem_data(bio_
, &data
));
1519 return std::string(data
, size
);
1528 STACK_OF(X509
) *ca_
;
1532 value_(d2i_PKCS12_bio(bio
, NULL
)),
1535 _assert(value_
!= NULL
);
1536 _assert(PKCS12_parse(value_
, "", &key_
, &cert_
, &ca_
) != 0);
1538 _assert(key_
!= NULL
);
1539 _assert(cert_
!= NULL
);
1542 ca_
= sk_X509_new_null();
1543 _assert(ca_
!= NULL
);
1546 Stuff(const std::string
&data
) :
1552 sk_X509_pop_free(ca_
, X509_free
);
1554 EVP_PKEY_free(key_
);
1555 PKCS12_free(value_
);
1558 operator PKCS12
*() const {
1562 operator EVP_PKEY
*() const {
1566 operator X509
*() const {
1570 operator STACK_OF(X509
) *() const {
1580 Signature(const Stuff
&stuff
, const Buffer
&data
, const std::string
&xml
) {
1581 value_
= PKCS7_new();
1582 _assert(value_
!= NULL
);
1584 _assert(PKCS7_set_type(value_
, NID_pkcs7_signed
));
1585 _assert(PKCS7_content_new(value_
, NID_pkcs7_data
));
1587 STACK_OF(X509
) *certs(stuff
);
1588 for (unsigned i(0), e(sk_X509_num(certs
)); i
!= e
; i
++)
1589 _assert(PKCS7_add_certificate(value_
, sk_X509_value(certs
, e
- i
- 1)));
1591 // XXX: this is the same as PKCS7_sign_add_signer(value_, stuff, stuff, NULL, PKCS7_NOSMIMECAP)
1592 _assert(X509_check_private_key(stuff
, stuff
));
1593 auto info(PKCS7_add_signature(value_
, stuff
, stuff
, EVP_sha1()));
1594 _assert(info
!= NULL
);
1595 _assert(PKCS7_add_certificate(value_
, stuff
));
1596 _assert(PKCS7_add_signed_attribute(info
, NID_pkcs9_contentType
, V_ASN1_OBJECT
, OBJ_nid2obj(NID_pkcs7_data
)));
1598 PKCS7_set_detached(value_
, 1);
1600 ASN1_OCTET_STRING
*string(ASN1_OCTET_STRING_new());
1601 _assert(string
!= NULL
);
1603 _assert(ASN1_STRING_set(string
, xml
.data(), xml
.size()));
1605 static auto nid(OBJ_create("1.2.840.113635.100.9.1", "", ""));
1606 _assert(PKCS7_add_signed_attribute(info
, nid
, V_ASN1_OCTET_STRING
, string
));
1608 ASN1_OCTET_STRING_free(string
);
1612 // XXX: this is the same as PKCS7_final(value_, data, PKCS7_BINARY)
1613 BIO
*bio(PKCS7_dataInit(value_
, NULL
));
1614 _assert(bio
!= NULL
);
1615 _scope({ BIO_free_all(bio
); });
1616 SMIME_crlf_copy(data
, bio
, PKCS7_BINARY
);
1618 _assert(PKCS7_dataFinal(value_
, bio
));
1625 operator PKCS7
*() const {
1632 public std::streambuf
1635 virtual std::streamsize
xsputn(const char_type
*data
, std::streamsize size
) {
1639 virtual int_type
overflow(int_type next
) {
1646 uint8_t sha1_
[LDID_SHA1_DIGEST_LENGTH
];
1650 public std::streambuf
1655 LDID_SHA1_CTX sha1_
;
1656 LDID_SHA256_CTX sha256_
;
1659 HashBuffer(ldid::Hash
&hash
) :
1662 LDID_SHA1_Init(&sha1_
);
1663 LDID_SHA256_Init(&sha256_
);
1667 LDID_SHA1_Final(reinterpret_cast<uint8_t *>(hash_
.sha1_
), &sha1_
);
1668 LDID_SHA256_Final(reinterpret_cast<uint8_t *>(hash_
.sha256_
), &sha256_
);
1671 virtual std::streamsize
xsputn(const char_type
*data
, std::streamsize size
) {
1672 LDID_SHA1_Update(&sha1_
, data
, size
);
1673 LDID_SHA256_Update(&sha256_
, data
, size
);
1677 virtual int_type
overflow(int_type next
) {
1678 if (next
== traits_type::eof())
1690 std::streambuf
&buffer_
;
1693 HashProxy(ldid::Hash
&hash
, std::streambuf
&buffer
) :
1699 virtual std::streamsize
xsputn(const char_type
*data
, std::streamsize size
) {
1700 _assert(HashBuffer::xsputn(data
, size
) == size
);
1701 return buffer_
.sputn(data
, size
);
1705 #ifndef LDID_NOTOOLS
1706 static bool Starts(const std::string
&lhs
, const std::string
&rhs
) {
1707 return lhs
.size() >= rhs
.size() && lhs
.compare(0, rhs
.size(), rhs
) == 0;
1715 Split(const std::string
&path
) {
1716 size_t slash(path
.rfind('/'));
1717 if (slash
== std::string::npos
)
1720 dir
= path
.substr(0, slash
+ 1);
1721 base
= path
.substr(slash
+ 1);
1726 static void mkdir_p(const std::string
&path
) {
1730 if (_syscall(mkdir(path
.c_str()), EEXIST
) == -EEXIST
)
1733 if (_syscall(mkdir(path
.c_str(), 0755), EEXIST
) == -EEXIST
)
1736 auto slash(path
.rfind('/', path
.size() - 1));
1737 if (slash
== std::string::npos
)
1739 mkdir_p(path
.substr(0, slash
));
1742 static std::string
Temporary(std::filebuf
&file
, const Split
&split
) {
1743 std::string
temp(split
.dir
+ ".ldid." + split
.base
);
1745 _assert_(file
.open(temp
.c_str(), std::ios::out
| std::ios::trunc
| std::ios::binary
) == &file
, "open(): %s", temp
.c_str());
1749 static void Commit(const std::string
&path
, const std::string
&temp
) {
1751 if (_syscall(stat(path
.c_str(), &info
), ENOENT
) == 0) {
1753 _syscall(chown(temp
.c_str(), info
.st_uid
, info
.st_gid
));
1755 _syscall(chmod(temp
.c_str(), info
.st_mode
));
1758 _syscall(rename(temp
.c_str(), path
.c_str()));
1764 #ifndef LDID_NOSMIME
1765 static void get(std::string
&value
, X509_NAME
*name
, int nid
) {
1766 auto index(X509_NAME_get_index_by_NID(name
, nid
, -1));
1767 _assert(index
>= 0);
1768 auto next(X509_NAME_get_index_by_NID(name
, nid
, index
));
1769 _assert(next
== -1);
1770 auto entry(X509_NAME_get_entry(name
, index
));
1771 _assert(entry
!= NULL
);
1772 auto asn(X509_NAME_ENTRY_get_data(entry
));
1773 _assert(asn
!= NULL
);
1774 value
.assign(reinterpret_cast<char *>(ASN1_STRING_data(asn
)), ASN1_STRING_length(asn
));
1778 static void req(std::streambuf
&buffer
, uint32_t value
) {
1779 value
= Swap(value
);
1780 put(buffer
, &value
, sizeof(value
));
1783 static void req(std::streambuf
&buffer
, const std::string
&value
) {
1784 req(buffer
, value
.size());
1785 put(buffer
, value
.data(), value
.size());
1786 static uint8_t zeros
[] = {0,0,0,0};
1787 put(buffer
, zeros
, 3 - (value
.size() + 3) % 4);
1790 template <size_t Size_
>
1791 static void req(std::streambuf
&buffer
, uint8_t (&&data
)[Size_
]) {
1793 put(buffer
, data
, Size_
);
1794 static uint8_t zeros
[] = {0,0,0,0};
1795 put(buffer
, zeros
, 3 - (Size_
+ 3) % 4);
1798 Hash
Sign(const void *idata
, size_t isize
, std::streambuf
&output
, const std::string
&identifier
, const std::string
&entitlements
, const std::string
&requirements
, const std::string
&key
, const Slots
&slots
, uint32_t flags
, bool platform
, const Progress
&progress
) {
1805 #ifndef LDID_NOSMIME
1808 auto name(X509_get_subject_name(stuff
));
1809 _assert(name
!= NULL
);
1810 get(team
, name
, NID_organizationalUnitName
);
1811 get(common
, name
, NID_commonName
);
1816 std::stringbuf backing
;
1818 if (!requirements
.empty()) {
1819 put(backing
, requirements
.data(), requirements
.size());
1823 std::stringbuf requirement
;
1824 req(requirement
, exprForm
);
1825 req(requirement
, opAnd
);
1826 req(requirement
, opIdent
);
1827 req(requirement
, identifier
);
1828 req(requirement
, opAnd
);
1829 req(requirement
, opAppleGenericAnchor
);
1830 req(requirement
, opAnd
);
1831 req(requirement
, opCertField
);
1832 req(requirement
, 0);
1833 req(requirement
, "subject.CN");
1834 req(requirement
, matchEqual
);
1835 req(requirement
, common
);
1836 req(requirement
, opCertGeneric
);
1837 req(requirement
, 1);
1838 req(requirement
, (uint8_t []) {APPLE_EXTENSION_OID
, 2, 1});
1839 req(requirement
, matchExists
);
1840 insert(blobs
, 3, CSMAGIC_REQUIREMENT
, requirement
);
1842 put(backing
, CSMAGIC_REQUIREMENTS
, blobs
);
1846 // XXX: this is just a "sufficiently large number"
1847 size_t certificate(0x3000);
1849 Allocate(idata
, isize
, output
, fun([&](const MachHeader
&mach_header
, size_t size
) -> size_t {
1850 size_t alloc(sizeof(struct SuperBlob
));
1852 uint32_t normal((size
+ PageSize_
- 1) / PageSize_
);
1854 uint32_t special(0);
1856 _foreach (slot
, slots
)
1857 special
= std::max(special
, slot
.first
);
1859 mach_header
.ForSection(fun([&](const char *segment
, const char *section
, void *data
, size_t size
) {
1860 if (strcmp(segment
, "__TEXT") == 0 && section
!= NULL
&& strcmp(section
, "__info_plist") == 0)
1861 special
= std::max(special
, CSSLOT_INFOSLOT
);
1864 special
= std::max(special
, CSSLOT_REQUIREMENTS
);
1865 alloc
+= sizeof(struct BlobIndex
);
1866 alloc
+= backing
.str().size();
1868 if (!entitlements
.empty()) {
1869 special
= std::max(special
, CSSLOT_ENTITLEMENTS
);
1870 alloc
+= sizeof(struct BlobIndex
);
1871 alloc
+= sizeof(struct Blob
);
1872 alloc
+= entitlements
.size();
1875 size_t directory(0);
1877 directory
+= sizeof(struct BlobIndex
);
1878 directory
+= sizeof(struct Blob
);
1879 directory
+= sizeof(struct CodeDirectory
);
1880 directory
+= identifier
.size() + 1;
1883 directory
+= team
.size() + 1;
1885 for (Algorithm
*algorithm
: GetAlgorithms())
1886 alloc
= Align(alloc
+ directory
+ (special
+ normal
) * algorithm
->size_
, 16);
1888 #ifndef LDID_NOSMIME
1890 alloc
+= sizeof(struct BlobIndex
);
1891 alloc
+= sizeof(struct Blob
);
1892 alloc
+= certificate
;
1897 }), fun([&](const MachHeader
&mach_header
, std::streambuf
&output
, size_t limit
, const std::string
&overlap
, const char *top
, const Progress
&progress
) -> size_t {
1901 insert(blobs
, CSSLOT_REQUIREMENTS
, backing
);
1904 if (!entitlements
.empty()) {
1905 std::stringbuf data
;
1906 put(data
, entitlements
.data(), entitlements
.size());
1907 insert(blobs
, CSSLOT_ENTITLEMENTS
, CSMAGIC_EMBEDDED_ENTITLEMENTS
, data
);
1912 mach_header
.ForSection(fun([&](const char *segment
, const char *section
, void *data
, size_t size
) {
1913 if (strcmp(segment
, "__TEXT") == 0 && section
!= NULL
&& strcmp(section
, "__info_plist") == 0) {
1914 auto &slot(posts
[CSSLOT_INFOSLOT
]);
1915 for (Algorithm
*algorithm
: GetAlgorithms())
1916 (*algorithm
)(slot
, data
, size
);
1921 for (Algorithm
*pointer
: GetAlgorithms()) {
1922 Algorithm
&algorithm(*pointer
);
1924 std::stringbuf data
;
1926 uint32_t special(0);
1927 _foreach (blob
, blobs
)
1928 special
= std::max(special
, blob
.first
);
1929 _foreach (slot
, posts
)
1930 special
= std::max(special
, slot
.first
);
1931 uint32_t normal((limit
+ PageSize_
- 1) / PageSize_
);
1933 CodeDirectory directory
;
1934 directory
.version
= Swap(uint32_t(0x00020200));
1935 directory
.flags
= Swap(uint32_t(flags
));
1936 directory
.nSpecialSlots
= Swap(special
);
1937 directory
.codeLimit
= Swap(uint32_t(limit
));
1938 directory
.nCodeSlots
= Swap(normal
);
1939 directory
.hashSize
= algorithm
.size_
;
1940 directory
.hashType
= algorithm
.type_
;
1941 directory
.platform
= platform
? 0x01 : 0x00;
1942 directory
.pageSize
= PageShift_
;
1943 directory
.spare2
= Swap(uint32_t(0));
1944 directory
.scatterOffset
= Swap(uint32_t(0));
1945 //directory.spare3 = Swap(uint32_t(0));
1946 //directory.codeLimit64 = Swap(uint64_t(0));
1948 uint32_t offset(sizeof(Blob
) + sizeof(CodeDirectory
));
1950 directory
.identOffset
= Swap(uint32_t(offset
));
1951 offset
+= identifier
.size() + 1;
1954 directory
.teamIDOffset
= Swap(uint32_t(0));
1956 directory
.teamIDOffset
= Swap(uint32_t(offset
));
1957 offset
+= team
.size() + 1;
1960 offset
+= special
* algorithm
.size_
;
1961 directory
.hashOffset
= Swap(uint32_t(offset
));
1962 offset
+= normal
* algorithm
.size_
;
1964 put(data
, &directory
, sizeof(directory
));
1966 put(data
, identifier
.c_str(), identifier
.size() + 1);
1968 put(data
, team
.c_str(), team
.size() + 1);
1970 std::vector
<uint8_t> storage((special
+ normal
) * algorithm
.size_
);
1971 auto *hashes(&storage
[special
* algorithm
.size_
]);
1973 memset(storage
.data(), 0, special
* algorithm
.size_
);
1975 _foreach (blob
, blobs
) {
1976 auto local(reinterpret_cast<const Blob
*>(&blob
.second
[0]));
1977 algorithm(hashes
- blob
.first
* algorithm
.size_
, local
, Swap(local
->length
));
1980 _foreach (slot
, posts
)
1981 memcpy(hashes
- slot
.first
* algorithm
.size_
, algorithm
[slot
.second
], algorithm
.size_
);
1985 for (size_t i
= 0; i
!= normal
- 1; ++i
) {
1986 algorithm(hashes
+ i
* algorithm
.size_
, (PageSize_
* i
< overlap
.size() ? overlap
.data() : top
) + PageSize_
* i
, PageSize_
);
1987 progress(double(i
) / normal
);
1990 algorithm(hashes
+ (normal
- 1) * algorithm
.size_
, top
+ PageSize_
* (normal
- 1), ((limit
- 1) % PageSize_
) + 1);
1993 put(data
, storage
.data(), storage
.size());
1995 const auto &save(insert(blobs
, total
== 0 ? CSSLOT_CODEDIRECTORY
: CSSLOT_ALTERNATE
+ total
- 1, CSMAGIC_CODEDIRECTORY
, data
));
1996 algorithm(hash
, save
.data(), save
.size());
2001 #ifndef LDID_NOSMIME
2004 auto plist(CFDictionaryCreateMutable(kCFAllocatorDefault
, 0, &kCFTypeDictionaryKeyCallBacks
, &kCFTypeDictionaryValueCallBacks
));
2005 _scope({ CFRelease(plist
); });
2007 auto cdhashes(CFArrayCreateMutable(kCFAllocatorDefault
, 0, &kCFTypeArrayCallBacks
));
2008 _scope({ CFRelease(cdhashes
); });
2010 CFDictionarySetValue(plist
, CFSTR("cdhashes"), cdhashes
);
2012 auto plist(plist_new_dict());
2013 _scope({ plist_free(plist
); });
2015 auto cdhashes(plist_new_array());
2016 plist_dict_set_item(plist
, "cdhashes", cdhashes
);
2020 for (Algorithm
*pointer
: GetAlgorithms()) {
2021 Algorithm
&algorithm(*pointer
);
2024 const auto &blob(blobs
[total
== 0 ? CSSLOT_CODEDIRECTORY
: CSSLOT_ALTERNATE
+ total
- 1]);
2027 std::vector
<char> hash
;
2028 algorithm(hash
, blob
.data(), blob
.size());
2032 auto value(CFDataCreate(kCFAllocatorDefault
, reinterpret_cast<const UInt8
*>(hash
.data()), hash
.size()));
2033 _scope({ CFRelease(value
); });
2034 CFArrayAppendValue(cdhashes
, value
);
2036 plist_array_append_item(cdhashes
, plist_new_data(hash
.data(), hash
.size()));
2041 auto created(CFPropertyListCreateXMLData(kCFAllocatorDefault
, plist
));
2042 _scope({ CFRelease(created
); });
2043 auto xml(reinterpret_cast<const char *>(CFDataGetBytePtr(created
)));
2044 auto size(CFDataGetLength(created
));
2048 plist_to_xml(plist
, &xml
, &size
);
2049 _scope({ free(xml
); });
2052 std::stringbuf data
;
2053 const std::string
&sign(blobs
[CSSLOT_CODEDIRECTORY
]);
2058 Signature
signature(stuff
, sign
, std::string(xml
, size
));
2059 Buffer
result(signature
);
2060 std::string
value(result
);
2061 put(data
, value
.data(), value
.size());
2063 const auto &save(insert(blobs
, CSSLOT_SIGNATURESLOT
, CSMAGIC_BLOBWRAPPER
, data
));
2064 _assert(save
.size() <= certificate
);
2068 return put(output
, CSMAGIC_EMBEDDED_SIGNATURE
, blobs
);
2074 #ifndef LDID_NOTOOLS
2075 static void Unsign(void *idata
, size_t isize
, std::streambuf
&output
, const Progress
&progress
) {
2076 Allocate(idata
, isize
, output
, fun([](const MachHeader
&mach_header
, size_t size
) -> size_t {
2078 }), fun([](const MachHeader
&mach_header
, std::streambuf
&output
, size_t limit
, const std::string
&overlap
, const char *top
, const Progress
&progress
) -> size_t {
2083 std::string
DiskFolder::Path(const std::string
&path
) const {
2084 return path_
+ "/" + path
;
2087 DiskFolder::DiskFolder(const std::string
&path
) :
2092 DiskFolder::~DiskFolder() {
2093 if (!std::uncaught_exception())
2094 for (const auto &commit
: commit_
)
2095 Commit(commit
.first
, commit
.second
);
2099 std::string
readlink(const std::string
&path
) {
2100 for (size_t size(1024); ; size
*= 2) {
2104 int writ(_syscall(::readlink(path
.c_str(), &data
[0], data
.size())));
2105 if (size_t(writ
) >= size
)
2114 void DiskFolder::Find(const std::string
&root
, const std::string
&base
, const Functor
<void (const std::string
&)> &code
, const Functor
<void (const std::string
&, const Functor
<std::string ()> &)> &link
) const {
2115 std::string
path(Path(root
) + base
);
2117 DIR *dir(opendir(path
.c_str()));
2118 _assert(dir
!= NULL
);
2119 _scope({ _syscall(closedir(dir
)); });
2121 while (auto child
= readdir(dir
)) {
2122 std::string
name(child
->d_name
);
2123 if (name
== "." || name
== "..")
2125 if (Starts(name
, ".ldid."))
2132 _syscall(stat((path
+ name
).c_str(), &info
));
2134 else if (S_ISDIR(info
.st_mode
))
2136 else if (S_ISREG(info
.st_mode
))
2139 _assert_(false, "st_mode=%x", info
.st_mode
);
2141 switch (child
->d_type
) {
2149 link(base
+ name
, fun([&]() { return readlink(path
+ name
); }));
2152 _assert_(false, "d_type=%u", child
->d_type
);
2157 Find(root
, base
+ name
+ "/", code
, link
);
2163 void DiskFolder::Save(const std::string
&path
, bool edit
, const void *flag
, const Functor
<void (std::streambuf
&)> &code
) {
2166 std::stringbuf save
;
2170 auto from(Path(path
));
2171 commit_
[from
] = Temporary(save
, from
);
2176 bool DiskFolder::Look(const std::string
&path
) const {
2177 return _syscall(access(Path(path
).c_str(), R_OK
), ENOENT
) == 0;
2180 void DiskFolder::Open(const std::string
&path
, const Functor
<void (std::streambuf
&, size_t, const void *)> &code
) const {
2182 auto result(data
.open(Path(path
).c_str(), std::ios::binary
| std::ios::in
));
2183 _assert_(result
== &data
, "DiskFolder::Open(%s)", path
.c_str());
2185 auto length(data
.pubseekoff(0, std::ios::end
, std::ios::in
));
2186 data
.pubseekpos(0, std::ios::in
);
2187 code(data
, length
, NULL
);
2190 void DiskFolder::Find(const std::string
&path
, const Functor
<void (const std::string
&)> &code
, const Functor
<void (const std::string
&, const Functor
<std::string ()> &)> &link
) const {
2191 Find(path
, "", code
, link
);
2195 SubFolder::SubFolder(Folder
&parent
, const std::string
&path
) :
2201 void SubFolder::Save(const std::string
&path
, bool edit
, const void *flag
, const Functor
<void (std::streambuf
&)> &code
) {
2202 return parent_
.Save(path_
+ path
, edit
, flag
, code
);
2205 bool SubFolder::Look(const std::string
&path
) const {
2206 return parent_
.Look(path_
+ path
);
2209 void SubFolder::Open(const std::string
&path
, const Functor
<void (std::streambuf
&, size_t, const void *)> &code
) const {
2210 return parent_
.Open(path_
+ path
, code
);
2213 void SubFolder::Find(const std::string
&path
, const Functor
<void (const std::string
&)> &code
, const Functor
<void (const std::string
&, const Functor
<std::string ()> &)> &link
) const {
2214 return parent_
.Find(path_
+ path
, code
, link
);
2217 std::string
UnionFolder::Map(const std::string
&path
) const {
2218 auto remap(remaps_
.find(path
));
2219 if (remap
== remaps_
.end())
2221 return remap
->second
;
2224 void UnionFolder::Map(const std::string
&path
, const Functor
<void (const std::string
&)> &code
, const std::string
&file
, const Functor
<void (const Functor
<void (std::streambuf
&, size_t, const void *)> &)> &save
) const {
2225 if (file
.size() >= path
.size() && file
.substr(0, path
.size()) == path
)
2226 code(file
.substr(path
.size()));
2229 UnionFolder::UnionFolder(Folder
&parent
) :
2234 void UnionFolder::Save(const std::string
&path
, bool edit
, const void *flag
, const Functor
<void (std::streambuf
&)> &code
) {
2235 return parent_
.Save(Map(path
), edit
, flag
, code
);
2238 bool UnionFolder::Look(const std::string
&path
) const {
2239 auto file(resets_
.find(path
));
2240 if (file
!= resets_
.end())
2242 return parent_
.Look(Map(path
));
2245 void UnionFolder::Open(const std::string
&path
, const Functor
<void (std::streambuf
&, size_t, const void *)> &code
) const {
2246 auto file(resets_
.find(path
));
2247 if (file
== resets_
.end())
2248 return parent_
.Open(Map(path
), code
);
2249 auto &entry(file
->second
);
2251 auto &data(*entry
.data_
);
2252 auto length(data
.pubseekoff(0, std::ios::end
, std::ios::in
));
2253 data
.pubseekpos(0, std::ios::in
);
2254 code(data
, length
, entry
.flag_
);
2257 void UnionFolder::Find(const std::string
&path
, const Functor
<void (const std::string
&)> &code
, const Functor
<void (const std::string
&, const Functor
<std::string ()> &)> &link
) const {
2258 for (auto &reset
: resets_
)
2259 Map(path
, code
, reset
.first
, fun([&](const Functor
<void (std::streambuf
&, size_t, const void *)> &code
) {
2260 auto &entry(reset
.second
);
2261 auto &data(*entry
.data_
);
2262 auto length(data
.pubseekoff(0, std::ios::end
, std::ios::in
));
2263 data
.pubseekpos(0, std::ios::in
);
2264 code(data
, length
, entry
.flag_
);
2267 for (auto &remap
: remaps_
)
2268 Map(path
, code
, remap
.first
, fun([&](const Functor
<void (std::streambuf
&, size_t, const void *)> &code
) {
2269 parent_
.Open(remap
.second
, fun([&](std::streambuf
&data
, size_t length
, const void *flag
) {
2270 code(data
, length
, flag
);
2274 parent_
.Find(path
, fun([&](const std::string
&name
) {
2275 if (deletes_
.find(path
+ name
) == deletes_
.end())
2277 }), fun([&](const std::string
&name
, const Functor
<std::string ()> &read
) {
2278 if (deletes_
.find(path
+ name
) == deletes_
.end())
2283 #ifndef LDID_NOTOOLS
2284 static void copy(std::streambuf
&source
, std::streambuf
&target
, size_t length
, const Progress
&progress
) {
2288 char data
[4096 * 4];
2289 size_t writ(source
.sgetn(data
, sizeof(data
)));
2292 _assert(target
.sputn(data
, writ
) == writ
);
2294 progress(double(total
) / length
);
2298 #ifndef LDID_NOPLIST
2299 static plist_t
plist(const std::string
&data
) {
2300 plist_t
plist(NULL
);
2301 if (Starts(data
, "bplist00"))
2302 plist_from_bin(data
.data(), data
.size(), &plist
);
2304 plist_from_xml(data
.data(), data
.size(), &plist
);
2305 _assert(plist
!= NULL
);
2309 static void plist_d(std::streambuf
&buffer
, size_t length
, const Functor
<void (plist_t
)> &code
) {
2310 std::stringbuf data
;
2311 copy(buffer
, data
, length
, dummy_
);
2312 auto node(plist(data
.str()));
2313 _scope({ plist_free(node
); });
2314 _assert(plist_get_node_type(node
) == PLIST_DICT
);
2318 static std::string
plist_s(plist_t node
) {
2319 _assert(node
!= NULL
);
2320 _assert(plist_get_node_type(node
) == PLIST_STRING
);
2322 plist_get_string_val(node
, &data
);
2323 _scope({ free(data
); });
2339 std::vector
<std::string
> matches_
;
2342 Expression(const std::string
&code
) {
2343 _assert_(regcomp(®ex_
, code
.c_str(), REG_EXTENDED
) == 0, "regcomp()");
2344 matches_
.resize(regex_
.re_nsub
+ 1);
2351 bool operator ()(const std::string
&data
) {
2352 regmatch_t matches
[matches_
.size()];
2353 auto value(regexec(®ex_
, data
.c_str(), matches_
.size(), matches
, 0));
2354 if (value
== REG_NOMATCH
)
2356 _assert_(value
== 0, "regexec()");
2357 for (size_t i(0); i
!= matches_
.size(); ++i
)
2358 matches_
[i
].assign(data
.data() + matches
[i
].rm_so
, matches
[i
].rm_eo
- matches
[i
].rm_so
);
2362 const std::string
&operator [](size_t index
) const {
2363 return matches_
[index
];
2372 mutable std::auto_ptr
<Expression
> regex_
;
2374 Rule(unsigned weight
, Mode mode
, const std::string
&code
) :
2381 Rule(const Rule
&rhs
) :
2382 weight_(rhs
.weight_
),
2388 void Compile() const {
2389 regex_
.reset(new Expression(code_
));
2392 bool operator ()(const std::string
&data
) const {
2393 _assert(regex_
.get() != NULL
);
2394 return (*regex_
)(data
);
2397 bool operator <(const Rule
&rhs
) const {
2398 if (weight_
> rhs
.weight_
)
2400 if (weight_
< rhs
.weight_
)
2402 return mode_
> rhs
.mode_
;
2407 bool operator ()(const Rule
*lhs
, const Rule
*rhs
) const {
2408 return lhs
->code_
< rhs
->code_
;
2412 #ifndef LDID_NOPLIST
2413 static Hash
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
&requirements
, const std::string
&key
, const Slots
&slots
, size_t length
, uint32_t flags
, bool platform
, const Progress
&progress
) {
2414 // XXX: this is a miserable fail
2415 std::stringbuf temp
;
2416 put(temp
, prefix
, size
);
2417 copy(buffer
, temp
, length
- size
, progress
);
2418 // XXX: this is a stupid hack
2419 pad(temp
, 0x10 - (length
& 0xf));
2420 auto data(temp
.str());
2422 HashProxy
proxy(hash
, save
);
2423 return Sign(data
.data(), data
.size(), proxy
, identifier
, entitlements
, requirements
, key
, slots
, flags
, platform
, progress
);
2426 Bundle
Sign(const std::string
&root
, Folder
&folder
, const std::string
&key
, std::map
<std::string
, Hash
> &remote
, const std::string
&requirements
, const Functor
<std::string (const std::string
&, const std::string
&)> &alter
, const Progress
&progress
) {
2427 std::string executable
;
2428 std::string identifier
;
2432 std::string
info("Info.plist");
2433 if (!folder
.Look(info
) && folder
.Look("Resources/" + info
)) {
2435 info
= "Resources/" + info
;
2438 folder
.Open(info
, fun([&](std::streambuf
&buffer
, size_t length
, const void *flag
) {
2439 plist_d(buffer
, length
, fun([&](plist_t node
) {
2440 executable
= plist_s(plist_dict_get_item(node
, "CFBundleExecutable"));
2441 identifier
= plist_s(plist_dict_get_item(node
, "CFBundleIdentifier"));
2445 if (!mac
&& folder
.Look("MacOS/" + executable
)) {
2446 executable
= "MacOS/" + executable
;
2450 progress(root
+ "*");
2452 std::string entitlements
;
2453 folder
.Open(executable
, fun([&](std::streambuf
&buffer
, size_t length
, const void *flag
) {
2454 // XXX: this is a miserable fail
2455 std::stringbuf temp
;
2456 copy(buffer
, temp
, length
, progress
);
2457 // XXX: this is a stupid hack
2458 pad(temp
, 0x10 - (length
& 0xf));
2459 auto data(temp
.str());
2460 entitlements
= alter(root
, Analyze(data
.data(), data
.size()));
2463 static const std::string
directory("_CodeSignature/");
2464 static const std::string
signature(directory
+ "CodeResources");
2466 std::map
<std::string
, std::multiset
<Rule
>> versions
;
2468 auto &rules1(versions
[""]);
2469 auto &rules2(versions
["2"]);
2471 const std::string
resources(mac
? "Resources/" : "");
2474 rules1
.insert(Rule
{1, NoMode
, "^" + resources
});
2475 rules1
.insert(Rule
{1000, OptionalMode
, "^" + resources
+ ".*\\.lproj/"});
2476 rules1
.insert(Rule
{1100, OmitMode
, "^" + resources
+ ".*\\.lproj/locversion.plist$"});
2477 rules1
.insert(Rule
{1010, NoMode
, "^Base\\.lproj/"});
2478 rules1
.insert(Rule
{1, NoMode
, "^version.plist$"});
2482 rules2
.insert(Rule
{11, NoMode
, ".*\\.dSYM($|/)"});
2483 rules2
.insert(Rule
{20, NoMode
, "^" + resources
});
2484 rules2
.insert(Rule
{2000, OmitMode
, "^(.*/)?\\.DS_Store$"});
2485 rules2
.insert(Rule
{10, NestedMode
, "^(Frameworks|SharedFrameworks|PlugIns|Plug-ins|XPCServices|Helpers|MacOS|Library/(Automator|Spotlight|LoginItems))/"});
2486 rules2
.insert(Rule
{1, NoMode
, "^.*"});
2487 rules2
.insert(Rule
{1000, OptionalMode
, "^" + resources
+ ".*\\.lproj/"});
2488 rules2
.insert(Rule
{1100, OmitMode
, "^" + resources
+ ".*\\.lproj/locversion.plist$"});
2489 rules2
.insert(Rule
{1010, NoMode
, "^Base\\.lproj/"});
2490 rules2
.insert(Rule
{20, OmitMode
, "^Info\\.plist$"});
2491 rules2
.insert(Rule
{20, OmitMode
, "^PkgInfo$"});
2492 rules2
.insert(Rule
{10, NestedMode
, "^[^/]+$"});
2493 rules2
.insert(Rule
{20, NoMode
, "^embedded\\.provisionprofile$"});
2494 rules2
.insert(Rule
{20, NoMode
, "^version\\.plist$"});
2497 std::map
<std::string
, Hash
> local
;
2499 std::string
failure(mac
? "Contents/|Versions/[^/]*/Resources/" : "");
2500 Expression
nested("^(Frameworks/[^/]*\\.framework|PlugIns/[^/]*\\.appex(()|/[^/]*.app))/(" + failure
+ ")Info\\.plist$");
2501 std::map
<std::string
, Bundle
> bundles
;
2503 folder
.Find("", fun([&](const std::string
&name
) {
2506 auto bundle(root
+ Split(name
).dir
);
2507 bundle
.resize(bundle
.size() - resources
.size());
2508 SubFolder
subfolder(folder
, bundle
);
2510 bundles
[nested
[1]] = Sign(bundle
, subfolder
, key
, local
, "", Starts(name
, "PlugIns/") ? alter
:
2511 static_cast<const Functor
<std::string (const std::string
&, const std::string
&)> &>(fun([&](const std::string
&, const std::string
&) -> std::string
{ return entitlements
; }))
2513 }), fun([&](const std::string
&name
, const Functor
<std::string ()> &read
) {
2516 std::set
<std::string
> excludes
;
2518 auto exclude([&](const std::string
&name
) {
2519 // BundleDiskRep::adjustResources -> builder.addExclusion
2520 if (name
== executable
|| Starts(name
, directory
) || Starts(name
, "_MASReceipt/") || name
== "CodeResources")
2523 for (const auto &bundle
: bundles
)
2524 if (Starts(name
, bundle
.first
+ "/")) {
2525 excludes
.insert(name
);
2532 std::map
<std::string
, std::string
> links
;
2534 folder
.Find("", fun([&](const std::string
&name
) {
2538 if (local
.find(name
) != local
.end())
2540 auto &hash(local
[name
]);
2542 folder
.Open(name
, fun([&](std::streambuf
&data
, size_t length
, const void *flag
) {
2543 progress(root
+ name
);
2554 auto size(most(data
, &header
.bytes
, sizeof(header
.bytes
)));
2556 if (name
!= "_WatchKitStub/WK" && size
== sizeof(header
.bytes
))
2557 switch (Swap(header
.magic
)) {
2559 // Java class file format
2560 if (Swap(header
.count
) >= 40)
2563 case MH_MAGIC
: case MH_MAGIC_64
:
2564 case MH_CIGAM
: case MH_CIGAM_64
:
2565 folder
.Save(name
, true, flag
, fun([&](std::streambuf
&save
) {
2567 Sign(header
.bytes
, size
, data
, hash
, save
, identifier
, "", "", key
, slots
, length
, 0, false, Progression(progress
, root
+ name
));
2572 folder
.Save(name
, false, flag
, fun([&](std::streambuf
&save
) {
2573 HashProxy
proxy(hash
, save
);
2574 put(proxy
, header
.bytes
, size
);
2575 copy(data
, proxy
, length
- size
, progress
);
2578 }), fun([&](const std::string
&name
, const Functor
<std::string ()> &read
) {
2582 links
[name
] = read();
2585 auto plist(plist_new_dict());
2586 _scope({ plist_free(plist
); });
2588 for (const auto &version
: versions
) {
2589 auto files(plist_new_dict());
2590 plist_dict_set_item(plist
, ("files" + version
.first
).c_str(), files
);
2592 for (const auto &rule
: version
.second
)
2595 bool old(&version
.second
== &rules1
);
2597 for (const auto &hash
: local
)
2598 for (const auto &rule
: version
.second
)
2599 if (rule(hash
.first
)) {
2600 if (!old
&& mac
&& excludes
.find(hash
.first
) != excludes
.end());
2601 else if (old
&& rule
.mode_
== NoMode
)
2602 plist_dict_set_item(files
, hash
.first
.c_str(), plist_new_data(reinterpret_cast<const char *>(hash
.second
.sha1_
), sizeof(hash
.second
.sha1_
)));
2603 else if (rule
.mode_
!= OmitMode
) {
2604 auto entry(plist_new_dict());
2605 plist_dict_set_item(entry
, "hash", plist_new_data(reinterpret_cast<const char *>(hash
.second
.sha1_
), sizeof(hash
.second
.sha1_
)));
2607 plist_dict_set_item(entry
, "hash2", plist_new_data(reinterpret_cast<const char *>(hash
.second
.sha256_
), sizeof(hash
.second
.sha256_
)));
2608 if (rule
.mode_
== OptionalMode
)
2609 plist_dict_set_item(entry
, "optional", plist_new_bool(true));
2610 plist_dict_set_item(files
, hash
.first
.c_str(), entry
);
2616 for (const auto &link
: links
)
2617 for (const auto &rule
: version
.second
)
2618 if (rule(link
.first
)) {
2619 if (rule
.mode_
!= OmitMode
) {
2620 auto entry(plist_new_dict());
2621 plist_dict_set_item(entry
, "symlink", plist_new_string(link
.second
.c_str()));
2622 if (rule
.mode_
== OptionalMode
)
2623 plist_dict_set_item(entry
, "optional", plist_new_bool(true));
2624 plist_dict_set_item(files
, link
.first
.c_str(), entry
);
2631 for (const auto &bundle
: bundles
) {
2632 auto entry(plist_new_dict());
2633 plist_dict_set_item(entry
, "cdhash", plist_new_data(reinterpret_cast<const char *>(bundle
.second
.hash
.sha256_
), sizeof(bundle
.second
.hash
.sha256_
)));
2634 plist_dict_set_item(entry
, "requirement", plist_new_string("anchor apple generic"));
2635 plist_dict_set_item(files
, bundle
.first
.c_str(), entry
);
2639 for (const auto &version
: versions
) {
2640 auto rules(plist_new_dict());
2641 plist_dict_set_item(plist
, ("rules" + version
.first
).c_str(), rules
);
2643 std::multiset
<const Rule
*, RuleCode
> ordered
;
2644 for (const auto &rule
: version
.second
)
2645 ordered
.insert(&rule
);
2647 for (const auto &rule
: ordered
)
2648 if (rule
->weight_
== 1 && rule
->mode_
== NoMode
)
2649 plist_dict_set_item(rules
, rule
->code_
.c_str(), plist_new_bool(true));
2651 auto entry(plist_new_dict());
2652 plist_dict_set_item(rules
, rule
->code_
.c_str(), entry
);
2654 switch (rule
->mode_
) {
2658 plist_dict_set_item(entry
, "omit", plist_new_bool(true));
2661 plist_dict_set_item(entry
, "optional", plist_new_bool(true));
2664 plist_dict_set_item(entry
, "nested", plist_new_bool(true));
2667 plist_dict_set_item(entry
, "top", plist_new_bool(true));
2671 if (rule
->weight_
>= 10000)
2672 plist_dict_set_item(entry
, "weight", plist_new_uint(rule
->weight_
));
2673 else if (rule
->weight_
!= 1)
2674 plist_dict_set_item(entry
, "weight", plist_new_real(rule
->weight_
));
2678 folder
.Save(signature
, true, NULL
, fun([&](std::streambuf
&save
) {
2679 HashProxy
proxy(local
[signature
], save
);
2682 plist_to_xml(plist
, &xml
, &size
);
2683 _scope({ free(xml
); });
2684 put(proxy
, xml
, size
);
2688 bundle
.path
= executable
;
2690 folder
.Open(executable
, fun([&](std::streambuf
&buffer
, size_t length
, const void *flag
) {
2691 progress(root
+ executable
);
2692 folder
.Save(executable
, true, flag
, fun([&](std::streambuf
&save
) {
2694 slots
[1] = local
.at(info
);
2695 slots
[3] = local
.at(signature
);
2696 bundle
.hash
= Sign(NULL
, 0, buffer
, local
[executable
], save
, identifier
, entitlements
, requirements
, key
, slots
, length
, 0, false, Progression(progress
, root
+ executable
));
2700 for (const auto &entry
: local
)
2701 remote
[root
+ entry
.first
] = entry
.second
;
2706 Bundle
Sign(const std::string
&root
, Folder
&folder
, const std::string
&key
, const std::string
&requirements
, const Functor
<std::string (const std::string
&, const std::string
&)> &alter
, const Progress
&progress
) {
2707 std::map
<std::string
, Hash
> local
;
2708 return Sign(root
, folder
, key
, local
, requirements
, alter
, progress
);
2715 #ifndef LDID_NOTOOLS
2716 int main(int argc
, char *argv
[]) {
2717 #ifndef LDID_NOSMIME
2718 OpenSSL_add_all_algorithms();
2726 little_
= endian
.byte
[0];
2734 #ifndef LDID_NOFLAGT
2749 bool platform(false);
2751 uint32_t flag_CPUType(_not(uint32_t));
2752 uint32_t flag_CPUSubtype(_not(uint32_t));
2754 const char *flag_I(NULL
);
2756 #ifndef LDID_NOFLAGT
2766 std::vector
<std::string
> files
;
2769 fprintf(stderr
, "usage: %s -S[entitlements.xml] <binary>\n", argv
[0]);
2770 fprintf(stderr
, " %s -e MobileSafari\n", argv
[0]);
2771 fprintf(stderr
, " %s -S cat\n", argv
[0]);
2772 fprintf(stderr
, " %s -Stfp.xml gdb\n", argv
[0]);
2776 for (int argi(1); argi
!= argc
; ++argi
)
2777 if (argv
[argi
][0] != '-')
2778 files
.push_back(argv
[argi
]);
2779 else switch (argv
[argi
][1]) {
2786 case 'e': flag_e
= true; break;
2789 const char *string
= argv
[argi
] + 2;
2790 const char *colon
= strchr(string
, ':');
2791 _assert(colon
!= NULL
);
2792 Map
file(colon
+ 1, O_RDONLY
, PROT_READ
, MAP_PRIVATE
);
2794 unsigned number(strtoul(string
, &arge
, 0));
2795 _assert(arge
== colon
);
2796 auto &slot(slots
[number
]);
2797 for (Algorithm
*algorithm
: GetAlgorithms())
2798 (*algorithm
)(slot
, file
.data(), file
.size());
2801 case 'q': flag_q
= true; break;
2804 const char *hash
= argv
[argi
] + 2;
2812 fprintf(stderr
, "WARNING: -H is only present for compatibility with a fork of ldid\n");
2813 fprintf(stderr
, " you should NOT be manually specifying the hash algorithm\n");
2817 else if (strcmp(hash
, "sha1") == 0)
2819 else if (strcmp(hash
, "sha256") == 0)
2821 else _assert(false);
2825 const char *xml
= argv
[argi
] + 2;
2826 requirements
.open(xml
, O_RDONLY
, PROT_READ
, MAP_PRIVATE
);
2829 case 'D': flag_D
= true; break;
2831 case 'a': flag_a
= true; break;
2836 if (argv
[argi
][2] != '\0') {
2837 const char *cpu
= argv
[argi
] + 2;
2838 const char *colon
= strchr(cpu
, ':');
2839 _assert(colon
!= NULL
);
2841 flag_CPUType
= strtoul(cpu
, &arge
, 0);
2842 _assert(arge
== colon
);
2843 flag_CPUSubtype
= strtoul(colon
+ 1, &arge
, 0);
2844 _assert(arge
== argv
[argi
] + strlen(argv
[argi
]));
2849 const char *name
= argv
[argi
] + 2;
2851 else if (strcmp(name
, "host") == 0)
2852 flags
|= kSecCodeSignatureHost
;
2853 else if (strcmp(name
, "adhoc") == 0)
2854 flags
|= kSecCodeSignatureAdhoc
;
2855 else if (strcmp(name
, "hard") == 0)
2856 flags
|= kSecCodeSignatureForceHard
;
2857 else if (strcmp(name
, "kill") == 0)
2858 flags
|= kSecCodeSignatureForceKill
;
2859 else if (strcmp(name
, "expires") == 0)
2860 flags
|= kSecCodeSignatureForceExpiration
;
2861 else if (strcmp(name
, "restrict") == 0)
2862 flags
|= kSecCodeSignatureRestrict
;
2863 else if (strcmp(name
, "enforcement") == 0)
2864 flags
|= kSecCodeSignatureEnforcement
;
2865 else if (strcmp(name
, "library-validation") == 0)
2866 flags
|= kSecCodeSignatureLibraryValidation
;
2867 else _assert(false);
2884 if (argv
[argi
][2] != '\0') {
2885 const char *xml
= argv
[argi
] + 2;
2886 entitlements
.open(xml
, O_RDONLY
, PROT_READ
, MAP_PRIVATE
);
2891 if (argv
[argi
][2] != '\0')
2892 key
.open(argv
[argi
] + 2, O_RDONLY
, PROT_READ
, MAP_PRIVATE
);
2895 #ifndef LDID_NOFLAGT
2898 if (argv
[argi
][2] == '-')
2902 timev
= strtoul(argv
[argi
] + 2, &arge
, 0);
2903 _assert(arge
== argv
[argi
] + strlen(argv
[argi
]));
2913 flag_I
= argv
[argi
] + 2;
2921 _assert(flag_S
|| key
.empty());
2922 _assert(flag_S
|| flag_I
== NULL
);
2924 if (files
.empty()) usage
: {
2928 size_t filei(0), filee(0);
2929 _foreach (file
, files
) try {
2930 std::string
path(file
);
2933 _syscall(stat(path
.c_str(), &info
));
2935 if (S_ISDIR(info
.st_mode
)) {
2936 #ifndef LDID_NOPLIST
2938 ldid::DiskFolder
folder(path
);
2939 path
+= "/" + Sign("", folder
, key
, requirements
, ldid::fun([&](const std::string
&, const std::string
&) -> std::string
{ return entitlements
; }), dummy_
).path
;
2943 } else if (flag_S
|| flag_r
) {
2944 Map
input(path
, O_RDONLY
, PROT_READ
, MAP_PRIVATE
);
2946 std::filebuf output
;
2948 auto temp(Temporary(output
, split
));
2951 ldid::Unsign(input
.data(), input
.size(), output
, dummy_
);
2953 std::string
identifier(flag_I
?: split
.base
.c_str());
2954 ldid::Sign(input
.data(), input
.size(), output
, identifier
, entitlements
, requirements
, key
, slots
, flags
, platform
, dummy_
);
2961 #ifndef LDID_NOFLAGT
2968 Map
mapping(path
, modify
);
2969 FatHeader
fat_header(mapping
.data(), mapping
.size());
2971 _foreach (mach_header
, fat_header
.GetMachHeaders()) {
2972 struct linkedit_data_command
*signature(NULL
);
2973 struct encryption_info_command
*encryption(NULL
);
2976 if (mach_header
.GetCPUType() != flag_CPUType
)
2978 if (mach_header
.GetCPUSubtype() != flag_CPUSubtype
)
2983 printf("cpu=0x%x:0x%x\n", mach_header
.GetCPUType(), mach_header
.GetCPUSubtype());
2985 _foreach (load_command
, mach_header
.GetLoadCommands()) {
2986 uint32_t cmd(mach_header
.Swap(load_command
->cmd
));
2989 else if (cmd
== LC_CODE_SIGNATURE
)
2990 signature
= reinterpret_cast<struct linkedit_data_command
*>(load_command
);
2991 else if (cmd
== LC_ENCRYPTION_INFO
|| cmd
== LC_ENCRYPTION_INFO_64
)
2992 encryption
= reinterpret_cast<struct encryption_info_command
*>(load_command
);
2993 else if (cmd
== LC_LOAD_DYLIB
) {
2994 volatile struct dylib_command
*dylib_command(reinterpret_cast<struct dylib_command
*>(load_command
));
2995 const char *name(reinterpret_cast<const char *>(load_command
) + mach_header
.Swap(dylib_command
->dylib
.name
));
2997 if (strcmp(name
, "/System/Library/Frameworks/UIKit.framework/UIKit") == 0) {
3000 version
.value
= mach_header
.Swap(dylib_command
->dylib
.current_version
);
3001 printf("uikit=%u.%u.%u\n", version
.major
, version
.minor
, version
.patch
);
3005 #ifndef LDID_NOFLAGT
3006 else if (cmd
== LC_ID_DYLIB
) {
3007 volatile struct dylib_command
*dylib_command(reinterpret_cast<struct dylib_command
*>(load_command
));
3015 dylib_command
->dylib
.timestamp
= 0;
3016 timed
= hash(reinterpret_cast<uint8_t *>(mach_header
.GetBase()), mach_header
.GetSize(), timev
);
3019 dylib_command
->dylib
.timestamp
= mach_header
.Swap(timed
);
3026 _assert(encryption
!= NULL
);
3027 encryption
->cryptid
= mach_header
.Swap(0);
3031 _assert(signature
!= NULL
);
3033 uint32_t data
= mach_header
.Swap(signature
->dataoff
);
3035 uint8_t *top
= reinterpret_cast<uint8_t *>(mach_header
.GetBase());
3036 uint8_t *blob
= top
+ data
;
3037 struct SuperBlob
*super
= reinterpret_cast<struct SuperBlob
*>(blob
);
3039 for (size_t index(0); index
!= Swap(super
->count
); ++index
)
3040 if (Swap(super
->index
[index
].type
) == CSSLOT_ENTITLEMENTS
) {
3041 uint32_t begin
= Swap(super
->index
[index
].offset
);
3042 struct Blob
*entitlements
= reinterpret_cast<struct Blob
*>(blob
+ begin
);
3043 fwrite(entitlements
+ 1, 1, Swap(entitlements
->length
) - sizeof(*entitlements
), stdout
);
3048 _assert(signature
!= NULL
);
3050 uint32_t data
= mach_header
.Swap(signature
->dataoff
);
3052 uint8_t *top
= reinterpret_cast<uint8_t *>(mach_header
.GetBase());
3053 uint8_t *blob
= top
+ data
;
3054 struct SuperBlob
*super
= reinterpret_cast<struct SuperBlob
*>(blob
);
3056 for (size_t index(0); index
!= Swap(super
->count
); ++index
)
3057 if (Swap(super
->index
[index
].type
) == CSSLOT_REQUIREMENTS
) {
3058 uint32_t begin
= Swap(super
->index
[index
].offset
);
3059 struct Blob
*requirement
= reinterpret_cast<struct Blob
*>(blob
+ begin
);
3060 fwrite(requirement
, 1, Swap(requirement
->length
), stdout
);
3065 _assert(signature
!= NULL
);
3067 uint32_t data
= mach_header
.Swap(signature
->dataoff
);
3069 uint8_t *top
= reinterpret_cast<uint8_t *>(mach_header
.GetBase());
3070 uint8_t *blob
= top
+ data
;
3071 struct SuperBlob
*super
= reinterpret_cast<struct SuperBlob
*>(blob
);
3073 for (size_t index(0); index
!= Swap(super
->count
); ++index
)
3074 if (Swap(super
->index
[index
].type
) == CSSLOT_CODEDIRECTORY
) {
3075 uint32_t begin
= Swap(super
->index
[index
].offset
);
3076 struct CodeDirectory
*directory
= reinterpret_cast<struct CodeDirectory
*>(blob
+ begin
+ sizeof(Blob
));
3078 uint8_t (*hashes
)[LDID_SHA1_DIGEST_LENGTH
] = reinterpret_cast<uint8_t (*)[LDID_SHA1_DIGEST_LENGTH
]>(blob
+ begin
+ Swap(directory
->hashOffset
));
3079 uint32_t pages
= Swap(directory
->nCodeSlots
);
3082 for (size_t i
= 0; i
!= pages
- 1; ++i
)
3083 LDID_SHA1(top
+ PageSize_
* i
, PageSize_
, hashes
[i
]);
3085 LDID_SHA1(top
+ PageSize_
* (pages
- 1), ((data
- 1) % PageSize_
) + 1, hashes
[pages
- 1]);
3091 } catch (const char *) {