2 * Copyright (c) 2006-2015 Apple Inc. All Rights Reserved.
4 * @APPLE_LICENSE_HEADER_START@
6 * This file contains Original Code and/or Modifications of Original Code
7 * as defined in and that are subject to the Apple Public Source License
8 * Version 2.0 (the 'License'). You may not use this file except in
9 * compliance with the License. Please obtain a copy of the License at
10 * http://www.opensource.apple.com/apsl/ and read it before using this
13 * The Original Code and all software distributed under the License are
14 * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
15 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
16 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
18 * Please see the License for the specific language governing rights and
19 * limitations under the License.
21 * @APPLE_LICENSE_HEADER_END@
25 // StaticCode - SecStaticCode API objects
27 #include "StaticCode.h"
32 #include "notarization.h"
34 #include "reqdumper.h"
35 #include "reqparser.h"
37 #include "resources.h"
38 #include "detachedrep.h"
39 #include "signerutils.h"
41 #include "csdatabase.h"
43 #include "dirscanner.h"
44 #include <CoreFoundation/CFURLAccess.h>
45 #include <Security/SecPolicyPriv.h>
46 #include <Security/SecTrustPriv.h>
47 #include <Security/SecCertificatePriv.h>
49 #include <Security/CMSPrivate.h>
51 #import <Security/SecCMS.h>
52 #include <Security/SecCmsContentInfo.h>
53 #include <Security/SecCmsSignerInfo.h>
54 #include <Security/SecCmsSignedData.h>
56 #include <Security/cssmapplePriv.h>
58 #include <security_utilities/unix++.h>
59 #include <security_utilities/cfmunge.h>
60 #include <security_utilities/casts.h>
61 #include <Security/CMSDecoder.h>
62 #include <security_utilities/logging.h>
64 #include <sys/xattr.h>
66 #include <IOKit/storage/IOStorageDeviceCharacteristics.h>
67 #include <dispatch/private.h>
68 #include <os/assumes.h>
73 namespace CodeSigning
{
75 using namespace UnixPlusPlus
;
77 // A requirement representing a Mac or iOS dev cert, a Mac or iOS distribution cert, or a developer ID
78 static const char WWDRRequirement
[] = "anchor apple generic and certificate leaf[field.1.2.840.113635.100.6.1.2] exists";
79 static const char MACWWDRRequirement
[] = "anchor apple generic and certificate leaf[field.1.2.840.113635.100.6.1.12] exists";
80 static const char developerID
[] = "anchor apple generic and certificate 1[field.1.2.840.113635.100.6.2.6] exists"
81 " and certificate leaf[field.1.2.840.113635.100.6.1.13] exists";
82 static const char distributionCertificate
[] = "anchor apple generic and certificate leaf[field.1.2.840.113635.100.6.1.7] exists";
83 static const char iPhoneDistributionCert
[] = "anchor apple generic and certificate leaf[field.1.2.840.113635.100.6.1.4] exists";
86 // Map a component slot number to a suitable error code for a failure
88 static inline OSStatus
errorForSlot(CodeDirectory::SpecialSlot slot
)
92 return errSecCSInfoPlistFailed
;
93 case cdResourceDirSlot
:
94 return errSecCSResourceDirectoryFailed
;
96 return errSecCSSignatureFailed
;
102 // Construct a SecStaticCode object given a disk representation object
104 SecStaticCode::SecStaticCode(DiskRep
*rep
, uint32_t flags
)
105 : mCheckfix30814861builder1(NULL
),
107 mValidated(false), mExecutableValidated(false), mResourcesValidated(false), mResourcesValidContext(NULL
),
108 mProgressQueue("com.apple.security.validation-progress", false, QOS_CLASS_UNSPECIFIED
),
109 mOuterScope(NULL
), mResourceScope(NULL
),
110 mDesignatedReq(NULL
), mGotResourceBase(false), mMonitor(NULL
), mLimitedAsync(NULL
),
111 mFlags(flags
), mNotarizationChecked(false), mStaplingChecked(false), mNotarizationDate(NAN
)
115 , mTrustedSigningCertChain(false)
119 CODESIGN_STATIC_CREATE(this, rep
);
121 checkForSystemSignature();
127 // Clean up a SecStaticCode object
129 SecStaticCode::~SecStaticCode() throw()
131 ::free(const_cast<Requirement
*>(mDesignatedReq
));
132 delete mResourcesValidContext
;
133 delete mLimitedAsync
;
134 delete mCheckfix30814861builder1
;
140 // Initialize a nested SecStaticCode object from its parent
142 void SecStaticCode::initializeFromParent(const SecStaticCode
& parent
) {
143 mOuterScope
= &parent
;
144 setMonitor(parent
.monitor());
145 if (parent
.mLimitedAsync
)
146 mLimitedAsync
= new LimitedAsync(*parent
.mLimitedAsync
);
150 // CF-level comparison of SecStaticCode objects compares CodeDirectory hashes if signed,
151 // and falls back on comparing canonical paths if (both are) not.
153 bool SecStaticCode::equal(SecCFObject
&secOther
)
155 SecStaticCode
*other
= static_cast<SecStaticCode
*>(&secOther
);
156 CFDataRef mine
= this->cdHash();
157 CFDataRef his
= other
->cdHash();
159 return mine
&& his
&& CFEqual(mine
, his
);
161 return CFEqual(CFRef
<CFURLRef
>(this->copyCanonicalPath()), CFRef
<CFURLRef
>(other
->copyCanonicalPath()));
164 CFHashCode
SecStaticCode::hash()
166 if (CFDataRef h
= this->cdHash())
169 return CFHash(CFRef
<CFURLRef
>(this->copyCanonicalPath()));
174 // Invoke a stage monitor if registered
176 CFTypeRef
SecStaticCode::reportEvent(CFStringRef stage
, CFDictionaryRef info
)
179 return mMonitor(this->handle(false), stage
, info
);
184 void SecStaticCode::prepareProgress(unsigned int workload
)
186 dispatch_sync(mProgressQueue
, ^{
187 mCancelPending
= false; // not canceled
189 if (mValidationFlags
& kSecCSReportProgress
) {
190 mCurrentWork
= 0; // nothing done yet
191 mTotalWork
= workload
; // totally fake - we don't know how many files we'll get to chew
195 void SecStaticCode::reportProgress(unsigned amount
/* = 1 */)
197 if (mMonitor
&& (mValidationFlags
& kSecCSReportProgress
)) {
198 // update progress and report
199 __block
bool cancel
= false;
200 dispatch_sync(mProgressQueue
, ^{
203 mCurrentWork
+= amount
;
204 mMonitor(this->handle(false), CFSTR("progress"), CFTemp
<CFDictionaryRef
>("{current=%d,total=%d}", mCurrentWork
, mTotalWork
));
206 // if cancellation is pending, abort now
208 MacOSError::throwMe(errSecCSCancelled
);
214 // Set validation conditions for fine-tuning legacy tolerance
216 static void addError(CFTypeRef cfError
, void* context
)
218 if (CFGetTypeID(cfError
) == CFNumberGetTypeID()) {
220 CFNumberGetValue(CFNumberRef(cfError
), kCFNumberSInt64Type
, (void*)&error
);
221 MacOSErrorSet
* errors
= (MacOSErrorSet
*)context
;
222 errors
->insert(OSStatus(error
));
226 void SecStaticCode::setValidationModifiers(CFDictionaryRef conditions
)
229 CFDictionary
source(conditions
, errSecCSDbCorrupt
);
230 mAllowOmissions
= source
.get
<CFArrayRef
>("omissions");
231 if (CFArrayRef errors
= source
.get
<CFArrayRef
>("errors"))
232 CFArrayApplyFunction(errors
, CFRangeMake(0, CFArrayGetCount(errors
)), addError
, &this->mTolerateErrors
);
238 // Request cancellation of a validation in progress.
239 // We do this by posting an abort flag that is checked periodically.
241 void SecStaticCode::cancelValidation()
243 if (!(mValidationFlags
& kSecCSReportProgress
)) // not using progress reporting; cancel won't make it through
244 MacOSError::throwMe(errSecCSInvalidFlags
);
245 dispatch_assert_queue(mProgressQueue
);
246 mCancelPending
= true;
251 // Attach a detached signature.
253 void SecStaticCode::detachedSignature(CFDataRef sigData
)
256 mDetachedSig
= sigData
;
257 mRep
= new DetachedRep(sigData
, mRep
->base(), "explicit detached");
258 CODESIGN_STATIC_ATTACH_EXPLICIT(this, mRep
);
262 CODESIGN_STATIC_ATTACH_EXPLICIT(this, NULL
);
268 // Consult the system detached signature database to see if it contains
269 // a detached signature for this StaticCode. If it does, fetch and attach it.
270 // We do this only if the code has no signature already attached.
272 void SecStaticCode::checkForSystemSignature()
275 if (!this->isSigned()) {
276 SignatureDatabase db
;
279 if (RefPointer
<DiskRep
> dsig
= db
.findCode(mRep
)) {
280 CODESIGN_STATIC_ATTACH_SYSTEM(this, dsig
);
287 MacOSError::throwMe(errSecUnimplemented
);
293 // Return a descriptive string identifying the source of the code signature
295 string
SecStaticCode::signatureSource()
299 if (DetachedRep
*rep
= dynamic_cast<DetachedRep
*>(mRep
.get()))
300 return rep
->source();
306 // Do ::required, but convert incoming SecCodeRefs to their SecStaticCodeRefs
309 SecStaticCode
*SecStaticCode::requiredStatic(SecStaticCodeRef ref
)
311 SecCFObject
*object
= SecCFObject::required(ref
, errSecCSInvalidObjectRef
);
312 if (SecStaticCode
*scode
= dynamic_cast<SecStaticCode
*>(object
))
314 else if (SecCode
*code
= dynamic_cast<SecCode
*>(object
))
315 return code
->staticCode();
316 else // neither (a SecSomethingElse)
317 MacOSError::throwMe(errSecCSInvalidObjectRef
);
320 SecCode
*SecStaticCode::optionalDynamic(SecStaticCodeRef ref
)
322 SecCFObject
*object
= SecCFObject::required(ref
, errSecCSInvalidObjectRef
);
323 if (dynamic_cast<SecStaticCode
*>(object
))
325 else if (SecCode
*code
= dynamic_cast<SecCode
*>(object
))
327 else // neither (a SecSomethingElse)
328 MacOSError::throwMe(errSecCSInvalidObjectRef
);
333 // Void all cached validity data.
335 // We also throw out cached components, because the new signature data may have
336 // a different idea of what components should be present. We could reconcile the
337 // cached data instead, if performance seems to be impacted.
339 void SecStaticCode::resetValidity()
341 CODESIGN_EVAL_STATIC_RESET(this);
343 mExecutableValidated
= mResourcesValidated
= false;
344 if (mResourcesValidContext
) {
345 delete mResourcesValidContext
;
346 mResourcesValidContext
= NULL
;
349 mCodeDirectories
.clear();
351 for (unsigned n
= 0; n
< cdSlotCount
; n
++)
354 mEntitlements
= NULL
;
355 mResourceDict
= NULL
;
356 mDesignatedReq
= NULL
;
358 mGotResourceBase
= false;
367 // we may just have updated the system database, so check again
368 checkForSystemSignature();
374 // Retrieve a sealed component by special slot index.
375 // If the CodeDirectory has already been validated, validate against that.
376 // Otherwise, retrieve the component without validation (but cache it). Validation
377 // will go through the cache and validate all cached components.
379 CFDataRef
SecStaticCode::component(CodeDirectory::SpecialSlot slot
, OSStatus fail
/* = errSecCSSignatureFailed */)
381 assert(slot
<= cdSlotMax
);
383 CFRef
<CFDataRef
> &cache
= mCache
[slot
];
385 if (CFRef
<CFDataRef
> data
= mRep
->component(slot
)) {
386 if (validated()) { // if the directory has been validated...
387 if (!codeDirectory()->slotIsPresent(-slot
))
390 if (!codeDirectory()->validateSlot(CFDataGetBytePtr(data
), // ... and it's no good
391 CFDataGetLength(data
), -slot
, false))
392 MacOSError::throwMe(errorForSlot(slot
)); // ... then bail
394 cache
= data
; // it's okay, cache it
395 } else { // absent, mark so
396 if (validated()) // if directory has been validated...
397 if (codeDirectory()->slotIsPresent(-slot
)) // ... and the slot is NOT missing
398 MacOSError::throwMe(errorForSlot(slot
)); // was supposed to be there
399 cache
= CFDataRef(kCFNull
); // white lie
402 return (cache
== CFDataRef(kCFNull
)) ? NULL
: cache
.get();
407 // Get the CodeDirectories.
408 // Throws (if check==true) or returns NULL (check==false) if there are none.
409 // Always throws if the CodeDirectories exist but are invalid.
410 // NEVER validates against the signature.
412 const SecStaticCode::CodeDirectoryMap
*
413 SecStaticCode::codeDirectories(bool check
/* = true */) const
415 if (mCodeDirectories
.empty()) {
417 loadCodeDirectories(mCodeDirectories
);
421 // We wanted a NON-checked peek and failed to safely decode the existing CodeDirectories.
422 // Pretend this is unsigned, but make sure we didn't somehow cache an invalid CodeDirectory.
423 if (!mCodeDirectories
.empty()) {
425 Syslog::warning("code signing internal problem: mCodeDirectories set despite exception exit");
426 MacOSError::throwMe(errSecCSInternalError
);
430 return &mCodeDirectories
;
432 if (!mCodeDirectories
.empty()) {
433 return &mCodeDirectories
;
436 MacOSError::throwMe(errSecCSUnsigned
);
442 // Get the CodeDirectory.
443 // Throws (if check==true) or returns NULL (check==false) if there is none.
444 // Always throws if the CodeDirectory exists but is invalid.
445 // NEVER validates against the signature.
447 const CodeDirectory
*SecStaticCode::codeDirectory(bool check
/* = true */) const
450 // pick our favorite CodeDirectory from the choices we've got
452 CodeDirectoryMap
const *candidates
= codeDirectories(check
);
453 if (candidates
!= NULL
) {
454 CodeDirectory::HashAlgorithm type
= CodeDirectory::bestHashOf(mHashAlgorithms
);
455 mDir
= candidates
->at(type
); // and the winner is...
460 // We wanted a NON-checked peek and failed to safely decode the existing CodeDirectory.
461 // Pretend this is unsigned, but make sure we didn't somehow cache an invalid CodeDirectory.
464 Syslog::warning("code signing internal problem: mDir set despite exception exit");
465 MacOSError::throwMe(errSecCSInternalError
);
470 return reinterpret_cast<const CodeDirectory
*>(CFDataGetBytePtr(mDir
));
472 MacOSError::throwMe(errSecCSUnsigned
);
478 // Fetch an array of all available CodeDirectories.
479 // Returns false if unsigned (no classic CD slot), true otherwise.
481 bool SecStaticCode::loadCodeDirectories(CodeDirectoryMap
& cdMap
) const
483 __block CodeDirectoryMap candidates
;
484 __block
CodeDirectory::HashAlgorithms hashAlgorithms
;
485 __block CFRef
<CFDataRef
> baseDir
;
486 auto add
= ^bool (CodeDirectory::SpecialSlot slot
){
487 CFRef
<CFDataRef
> cdData
= diskRep()->component(slot
);
490 const CodeDirectory
* cd
= reinterpret_cast<const CodeDirectory
*>(CFDataGetBytePtr(cdData
));
491 if (!cd
->validateBlob(CFDataGetLength(cdData
)))
492 MacOSError::throwMe(errSecCSSignatureFailed
); // no recovery - any suspect CD fails
493 cd
->checkIntegrity();
494 auto result
= candidates
.insert(make_pair(cd
->hashType
, cdData
.get()));
496 MacOSError::throwMe(errSecCSSignatureInvalid
); // duplicate hashType, go to heck
497 hashAlgorithms
.insert(cd
->hashType
);
498 if (slot
== cdCodeDirectorySlot
)
502 if (!add(cdCodeDirectorySlot
))
503 return false; // no classic slot CodeDirectory -> unsigned
504 for (CodeDirectory::SpecialSlot slot
= cdAlternateCodeDirectorySlots
; slot
< cdAlternateCodeDirectoryLimit
; slot
++)
505 if (!add(slot
)) // no CodeDirectory at this slot -> end of alternates
507 if (candidates
.empty())
508 MacOSError::throwMe(errSecCSSignatureFailed
); // no viable CodeDirectory in sight
509 // commit to cached values
510 cdMap
.swap(candidates
);
511 mHashAlgorithms
.swap(hashAlgorithms
);
518 // Get the hash of the CodeDirectory.
519 // Returns NULL if there is none.
521 CFDataRef
SecStaticCode::cdHash()
524 if (const CodeDirectory
*cd
= codeDirectory(false)) {
525 mCDHash
.take(cd
->cdhash());
526 CODESIGN_STATIC_CDHASH(this, CFDataGetBytePtr(mCDHash
), (unsigned int)CFDataGetLength(mCDHash
));
534 // Get an array of the cdhashes for all digest types in this signature
535 // The array is sorted by cd->hashType.
537 CFArrayRef
SecStaticCode::cdHashes()
540 CFRef
<CFMutableArrayRef
> cdList
= makeCFMutableArray(0);
541 for (auto it
= mCodeDirectories
.begin(); it
!= mCodeDirectories
.end(); ++it
) {
542 const CodeDirectory
*cd
= (const CodeDirectory
*)CFDataGetBytePtr(it
->second
);
543 if (CFRef
<CFDataRef
> hash
= cd
->cdhash())
544 CFArrayAppendValue(cdList
, hash
);
546 mCDHashes
= cdList
.get();
552 // Get a dictionary of untruncated cdhashes for all digest types in this signature.
554 CFDictionaryRef
SecStaticCode::cdHashesFull()
556 if (!mCDHashFullDict
) {
557 CFRef
<CFMutableDictionaryRef
> cdDict
= makeCFMutableDictionary();
558 for (auto const &it
: mCodeDirectories
) {
559 CodeDirectory::HashAlgorithm alg
= it
.first
;
560 const CodeDirectory
*cd
= (const CodeDirectory
*)CFDataGetBytePtr(it
.second
);
561 CFRef
<CFDataRef
> hash
= cd
->cdhash(false);
563 CFDictionaryAddValue(cdDict
, CFTempNumber(alg
), hash
);
566 mCDHashFullDict
= cdDict
.get();
568 return mCDHashFullDict
;
573 // Return the CMS signature blob; NULL if none found.
575 CFDataRef
SecStaticCode::signature()
578 mSignature
.take(mRep
->signature());
581 MacOSError::throwMe(errSecCSUnsigned
);
586 // Verify the signature on the CodeDirectory.
587 // If this succeeds (doesn't throw), the CodeDirectory is statically trustworthy.
588 // Any outcome (successful or not) is cached for the lifetime of the StaticCode.
590 void SecStaticCode::validateDirectory()
592 // echo previous outcome, if any
593 // track revocation separately, as it may not have been checked
594 // during the initial validation
595 if (!validated() || ((mValidationFlags
& kSecCSEnforceRevocationChecks
) && !revocationChecked()))
597 // perform validation (or die trying)
598 CODESIGN_EVAL_STATIC_DIRECTORY(this);
599 mValidationExpired
= verifySignature();
600 if (mValidationFlags
& kSecCSEnforceRevocationChecks
)
601 mRevocationChecked
= true;
603 for (CodeDirectory::SpecialSlot slot
= codeDirectory()->maxSpecialSlot(); slot
>= 1; --slot
)
604 if (mCache
[slot
]) // if we already loaded that resource...
605 validateComponent(slot
, errorForSlot(slot
)); // ... then check it now
606 mValidated
= true; // we've done the deed...
607 mValidationResult
= errSecSuccess
; // ... and it was good
608 } catch (const CommonError
&err
) {
610 mValidationResult
= err
.osStatus();
613 secinfo("staticCode", "%p validation threw non-common exception", this);
615 Syslog::notice("code signing internal problem: unknown exception thrown by validation");
616 mValidationResult
= errSecCSInternalError
;
620 // XXX: Embedded doesn't have CSSMERR_TP_CERT_EXPIRED so we can't throw it
621 // XXX: This should be implemented for embedded once we implement
622 // XXX: verifySignature and see how we're going to handle expired certs
624 if (mValidationResult
== errSecSuccess
) {
625 if (mValidationExpired
)
626 if ((mValidationFlags
& kSecCSConsiderExpiration
)
627 || (codeDirectory()->flags
& kSecCodeSignatureForceExpiration
))
628 MacOSError::throwMe(CSSMERR_TP_CERT_EXPIRED
);
630 MacOSError::throwMe(mValidationResult
);
636 // Load and validate the CodeDirectory and all components *except* those related to the resource envelope.
637 // Those latter components are checked by validateResources().
639 void SecStaticCode::validateNonResourceComponents()
641 this->validateDirectory();
642 for (CodeDirectory::SpecialSlot slot
= codeDirectory()->maxSpecialSlot(); slot
>= 1; --slot
)
644 case cdResourceDirSlot
: // validated by validateResources
647 this->component(slot
); // loads and validates
654 // Check that any "top index" sealed into the signature conforms to what's actually here.
656 void SecStaticCode::validateTopDirectory()
658 assert(mDir
); // must already have loaded CodeDirectories
659 if (CFDataRef topDirectory
= component(cdTopDirectorySlot
)) {
660 const auto topData
= (const Endian
<uint32_t> *)CFDataGetBytePtr(topDirectory
);
661 const auto topDataEnd
= topData
+ CFDataGetLength(topDirectory
) / sizeof(*topData
);
662 std::vector
<uint32_t> signedVector(topData
, topDataEnd
);
664 std::vector
<uint32_t> foundVector
;
665 foundVector
.push_back(cdCodeDirectorySlot
); // mandatory
666 for (CodeDirectory::Slot slot
= 1; slot
<= cdSlotMax
; ++slot
)
668 foundVector
.push_back(slot
);
669 int alternateCount
= int(mCodeDirectories
.size() - 1); // one will go into cdCodeDirectorySlot
670 for (int n
= 0; n
< alternateCount
; n
++)
671 foundVector
.push_back(cdAlternateCodeDirectorySlots
+ n
);
672 foundVector
.push_back(cdSignatureSlot
); // mandatory (may be empty)
674 if (signedVector
!= foundVector
)
675 MacOSError::throwMe(errSecCSSignatureFailed
);
681 // Get the (signed) signing date from the code signature.
682 // Sadly, we need to validate the signature to get the date (as a side benefit).
683 // This means that you can't get the signing time for invalidly signed code.
685 // We could run the decoder "almost to" verification to avoid this, but there seems
686 // little practical point to such a duplication of effort.
688 CFAbsoluteTime
SecStaticCode::signingTime()
694 CFAbsoluteTime
SecStaticCode::signingTimestamp()
697 return mSigningTimestamp
;
701 #define kSecSHA256HashSize 32
702 // subject:/C=US/ST=California/L=San Jose/O=Adobe Systems Incorporated/OU=Information Systems/OU=Digital ID Class 3 - Microsoft Software Validation v2/CN=Adobe Systems Incorporated
703 // issuer :/C=US/O=VeriSign, Inc./OU=VeriSign Trust Network/OU=Terms of use at https://www.verisign.com/rpa (c)10/CN=VeriSign Class 3 Code Signing 2010 CA
704 // Not Before: Dec 15 00:00:00 2010 GMT
705 // Not After : Dec 14 23:59:59 2012 GMT
706 static const unsigned char ASI_CS_12
[] = {
707 0x77,0x82,0x9C,0x64,0x33,0x45,0x2E,0x4A,0xD3,0xA8,0xE4,0x6F,0x00,0x6C,0x27,0xEA,
708 0xFB,0xD3,0xF2,0x6D,0x50,0xF3,0x6F,0xE0,0xE9,0x6D,0x06,0x59,0x19,0xB5,0x46,0xFF
711 bool SecStaticCode::checkfix41082220(OSStatus cssmTrustResult
)
713 // only applicable to revoked results
714 if (cssmTrustResult
!= CSSMERR_TP_CERT_REVOKED
) {
718 // only this leaf certificate
719 if (CFArrayGetCount(mCertChain
) == 0) {
722 CFRef
<CFDataRef
> leafHash(SecCertificateCopySHA256Digest((SecCertificateRef
)CFArrayGetValueAtIndex(mCertChain
, 0)));
723 if (memcmp(ASI_CS_12
, CFDataGetBytePtr(leafHash
), kSecSHA256HashSize
) != 0) {
727 // detached dmg signature
728 if (!isDetached() || format() != std::string("disk image")) {
733 if (hashAlgorithms().size() != 1 || hashAlgorithm() != kSecCodeSignatureHashSHA1
) {
737 // not a privileged binary - no TeamID and no entitlements
738 if (component(cdEntitlementSlot
) || teamID()) {
742 // no flags and old version
743 if (codeDirectory()->version
!= 0x20100 || codeDirectory()->flags
!= 0) {
747 Security::Syslog::warning("CodeSigning: Check-fix enabled for dmg '%s' with identifier '%s' signed with revoked certificates",
748 mainExecutablePath().c_str(), identifier().c_str());
751 #endif // TARGET_OS_OSX
754 // Verify the CMS signature.
755 // This performs the cryptographic tango. It returns if the signature is valid,
756 // or throws if it is not. As a side effect, a successful return sets up the
757 // cached certificate chain for future use.
758 // Returns true if the signature is expired (the X.509 sense), false if it's not.
759 // Expiration is fatal (throws) if a secure timestamp is included, but not otherwise.
761 bool SecStaticCode::verifySignature()
763 // ad-hoc signed code is considered validly signed by definition
764 if (flag(kSecCodeSignatureAdhoc
)) {
765 CODESIGN_EVAL_STATIC_SIGNATURE_ADHOC(this);
769 DTRACK(CODESIGN_EVAL_STATIC_SIGNATURE
, this, (char*)this->mainExecutablePath().c_str());
771 // decode CMS and extract SecTrust for verification
772 CFRef
<CMSDecoderRef
> cms
;
773 MacOSError::check(CMSDecoderCreate(&cms
.aref())); // create decoder
774 CFDataRef sig
= this->signature();
775 MacOSError::check(CMSDecoderUpdateMessage(cms
, CFDataGetBytePtr(sig
), CFDataGetLength(sig
)));
776 this->codeDirectory(); // load CodeDirectory (sets mDir)
777 MacOSError::check(CMSDecoderSetDetachedContent(cms
, mBaseDir
));
778 MacOSError::check(CMSDecoderFinalizeMessage(cms
));
779 MacOSError::check(CMSDecoderSetSearchKeychain(cms
, cfEmptyArray()));
780 CFRef
<CFArrayRef
> vf_policies(createVerificationPolicies());
781 CFRef
<CFArrayRef
> ts_policies(createTimeStampingAndRevocationPolicies());
783 CMSSignerStatus status
;
784 MacOSError::check(CMSDecoderCopySignerStatus(cms
, 0, vf_policies
,
785 false, &status
, &mTrust
.aref(), NULL
));
787 if (status
!= kCMSSignerValid
) {
790 case kCMSSignerUnsigned
: reason
="kCMSSignerUnsigned"; break;
791 case kCMSSignerNeedsDetachedContent
: reason
="kCMSSignerNeedsDetachedContent"; break;
792 case kCMSSignerInvalidSignature
: reason
="kCMSSignerInvalidSignature"; break;
793 case kCMSSignerInvalidCert
: reason
="kCMSSignerInvalidCert"; break;
794 case kCMSSignerInvalidIndex
: reason
="kCMSSignerInvalidIndex"; break;
795 default: reason
="unknown"; break;
797 Security::Syslog::error("CMSDecoderCopySignerStatus failed with %s error (%d)",
798 reason
, (int)status
);
799 MacOSError::throwMe(errSecCSSignatureFailed
);
802 // retrieve auxiliary v1 data bag and verify against current state
803 CFRef
<CFDataRef
> hashAgilityV1
;
804 switch (OSStatus rc
= CMSDecoderCopySignerAppleCodesigningHashAgility(cms
, 0, &hashAgilityV1
.aref())) {
807 CFRef
<CFDictionaryRef
> hashDict
= makeCFDictionaryFrom(hashAgilityV1
);
808 CFArrayRef cdList
= CFArrayRef(CFDictionaryGetValue(hashDict
, CFSTR("cdhashes")));
809 CFArrayRef myCdList
= this->cdHashes();
811 /* Note that this is not very "agile": There's no way to calculate the exact
812 * list for comparison if it contains hash algorithms we don't know yet... */
813 if (cdList
== NULL
|| !CFEqual(cdList
, myCdList
))
814 MacOSError::throwMe(errSecCSSignatureFailed
);
817 case -1: /* CMS used to return this for "no attribute found", so tolerate it. Now returning noErr/NULL */
820 MacOSError::throwMe(rc
);
823 // retrieve auxiliary v2 data bag and verify against current state
824 CFRef
<CFDictionaryRef
> hashAgilityV2
;
825 switch (OSStatus rc
= CMSDecoderCopySignerAppleCodesigningHashAgilityV2(cms
, 0, &hashAgilityV2
.aref())) {
828 /* Require number of code directoris and entries in the hash agility
829 * dict to be the same size (no stripping out code directories).
831 if (CFDictionaryGetCount(hashAgilityV2
) != mCodeDirectories
.size()) {
832 MacOSError::throwMe(errSecCSSignatureFailed
);
835 /* Require every cdhash of every code directory whose hash
836 * algorithm we know to be in the agility dictionary.
838 * We check untruncated cdhashes here because we can.
840 bool foundOurs
= false;
841 for (auto& entry
: mCodeDirectories
) {
842 SECOidTag tag
= CodeDirectorySet::SECOidTagForAlgorithm(entry
.first
);
844 if (tag
== SEC_OID_UNKNOWN
) {
845 // Unknown hash algorithm, ignore.
849 CFRef
<CFNumberRef
> key
= makeCFNumber(int(tag
));
850 CFRef
<CFDataRef
> entryCdhash
;
851 entryCdhash
= (CFDataRef
)CFDictionaryGetValue(hashAgilityV2
, (void*)key
.get());
853 CodeDirectory
const *cd
= (CodeDirectory
const*)CFDataGetBytePtr(entry
.second
);
854 CFRef
<CFDataRef
> ourCdhash
= cd
->cdhash(false); // Untruncated cdhash!
855 if (!CFEqual(entryCdhash
, ourCdhash
)) {
856 MacOSError::throwMe(errSecCSSignatureFailed
);
859 if (entry
.first
== this->hashAlgorithm()) {
864 /* Require the cdhash of our chosen code directory to be in the dictionary.
865 * In theory, the dictionary could be full of unsupported cdhashes, but we
866 * really want ours, which is bound to be supported, to be covered.
869 MacOSError::throwMe(errSecCSSignatureFailed
);
873 case -1: /* CMS used to return this for "no attribute found", so tolerate it. Now returning noErr/NULL */
876 MacOSError::throwMe(rc
);
879 // internal signing time (as specified by the signer; optional)
880 mSigningTime
= 0; // "not present" marker (nobody could code sign on Jan 1, 2001 :-)
881 switch (OSStatus rc
= CMSDecoderCopySignerSigningTime(cms
, 0, &mSigningTime
)) {
883 case errSecSigningTimeMissing
:
886 Security::Syslog::error("Could not get signing time (error %d)", (int)rc
);
887 MacOSError::throwMe(rc
);
890 // certified signing time (as specified by a TSA; optional)
891 mSigningTimestamp
= 0;
892 switch (OSStatus rc
= CMSDecoderCopySignerTimestampWithPolicy(cms
, ts_policies
, 0, &mSigningTimestamp
)) {
894 case errSecTimestampMissing
:
897 Security::Syslog::error("Could not get timestamp (error %d)", (int)rc
);
898 MacOSError::throwMe(rc
);
901 // set up the environment for SecTrust
902 if (mValidationFlags
& kSecCSNoNetworkAccess
) {
903 MacOSError::check(SecTrustSetNetworkFetchAllowed(mTrust
,false)); // no network?
905 MacOSError::check(SecTrustSetKeychainsAllowed(mTrust
, false));
907 CSSM_APPLE_TP_ACTION_DATA actionData
= {
908 CSSM_APPLE_TP_ACTION_VERSION
, // version of data structure
912 if (!(mValidationFlags
& kSecCSCheckTrustedAnchors
)) {
913 /* no need to evaluate anchor trust when building cert chain */
914 MacOSError::check(SecTrustSetAnchorCertificates(mTrust
, cfEmptyArray())); // no anchors
915 actionData
.ActionFlags
|= CSSM_TP_ACTION_IMPLICIT_ANCHORS
; // action flags
918 for (;;) { // at most twice
919 MacOSError::check(SecTrustSetParameters(mTrust
,
920 CSSM_TP_ACTION_DEFAULT
, CFTempData(&actionData
, sizeof(actionData
))));
922 // evaluate trust and extract results
923 SecTrustResultType trustResult
;
924 MacOSError::check(SecTrustEvaluate(mTrust
, &trustResult
));
925 MacOSError::check(SecTrustGetResult(mTrust
, &trustResult
, &mCertChain
.aref(), &mEvalDetails
));
927 // if this is an Apple developer cert....
928 if (teamID() && SecStaticCode::isAppleDeveloperCert(mCertChain
)) {
929 CFRef
<CFStringRef
> teamIDFromCert
;
930 if (CFArrayGetCount(mCertChain
) > 0) {
931 /* Note that SecCertificateCopySubjectComponent sets the out parameter to NULL if there is no field present */
932 MacOSError::check(SecCertificateCopySubjectComponent((SecCertificateRef
)CFArrayGetValueAtIndex(mCertChain
, Requirement::leafCert
),
933 &CSSMOID_OrganizationalUnitName
,
934 &teamIDFromCert
.aref()));
936 if (teamIDFromCert
) {
937 CFRef
<CFStringRef
> teamIDFromCD
= CFStringCreateWithCString(NULL
, teamID(), kCFStringEncodingUTF8
);
939 Security::Syslog::error("Could not get team identifier (%s)", teamID());
940 MacOSError::throwMe(errSecCSInvalidTeamIdentifier
);
943 if (CFStringCompare(teamIDFromCert
, teamIDFromCD
, 0) != kCFCompareEqualTo
) {
944 Security::Syslog::error("Team identifier in the signing certificate (%s) does not match the team identifier (%s) in the code directory",
945 cfString(teamIDFromCert
).c_str(), teamID());
946 MacOSError::throwMe(errSecCSBadTeamIdentifier
);
952 CODESIGN_EVAL_STATIC_SIGNATURE_RESULT(this, trustResult
, mCertChain
? (int)CFArrayGetCount(mCertChain
) : 0);
953 switch (trustResult
) {
954 case kSecTrustResultProceed
:
955 case kSecTrustResultUnspecified
:
957 case kSecTrustResultDeny
:
958 MacOSError::throwMe(CSSMERR_APPLETP_TRUST_SETTING_DENY
); // user reject
959 case kSecTrustResultInvalid
:
960 assert(false); // should never happen
961 MacOSError::throwMe(CSSMERR_TP_NOT_TRUSTED
);
965 MacOSError::check(SecTrustGetCssmResultCode(mTrust
, &result
));
966 // if we have a valid timestamp, CMS validates against (that) signing time and all is well.
967 // If we don't have one, may validate against *now*, and must be able to tolerate expiration.
968 if (mSigningTimestamp
== 0) { // no timestamp available
969 if (((result
== CSSMERR_TP_CERT_EXPIRED
) || (result
== CSSMERR_TP_CERT_NOT_VALID_YET
))
970 && !(actionData
.ActionFlags
& CSSM_TP_ACTION_ALLOW_EXPIRED
)) {
971 CODESIGN_EVAL_STATIC_SIGNATURE_EXPIRED(this);
972 actionData
.ActionFlags
|= CSSM_TP_ACTION_ALLOW_EXPIRED
; // (this also allows postdated certs)
973 continue; // retry validation while tolerating expiration
976 if (checkfix41082220(result
)) {
979 Security::Syslog::error("SecStaticCode: verification failed (trust result %d, error %d)", trustResult
, (int)result
);
980 MacOSError::throwMe(result
);
984 if (mSigningTimestamp
) {
985 CFIndex rootix
= CFArrayGetCount(mCertChain
);
986 if (SecCertificateRef mainRoot
= SecCertificateRef(CFArrayGetValueAtIndex(mCertChain
, rootix
-1)))
987 if (isAppleCA(mainRoot
)) {
988 // impose policy: if the signature itself draws to Apple, then so must the timestamp signature
989 CFRef
<CFArrayRef
> tsCerts
;
990 OSStatus result
= CMSDecoderCopySignerTimestampCertificates(cms
, 0, &tsCerts
.aref());
992 Security::Syslog::error("SecStaticCode: could not get timestamp certificates (error %d)", (int)result
);
993 MacOSError::check(result
);
995 CFIndex tsn
= CFArrayGetCount(tsCerts
);
996 bool good
= tsn
> 0 && isAppleCA(SecCertificateRef(CFArrayGetValueAtIndex(tsCerts
, tsn
-1)));
998 result
= CSSMERR_TP_NOT_TRUSTED
;
999 Security::Syslog::error("SecStaticCode: timestamp policy verification failed (error %d)", (int)result
);
1000 MacOSError::throwMe(result
);
1005 return actionData
.ActionFlags
& CSSM_TP_ACTION_ALLOW_EXPIRED
;
1008 // Do some pre-verification initialization
1009 CFDataRef sig
= this->signature();
1010 this->codeDirectory(); // load CodeDirectory (sets mDir)
1011 mSigningTime
= 0; // "not present" marker (nobody could code sign on Jan 1, 2001 :-)
1013 CFRef
<CFDictionaryRef
> attrs
;
1014 CFRef
<CFArrayRef
> vf_policies(createVerificationPolicies());
1016 // Verify the CMS signature against mBaseDir (SHA1)
1017 MacOSError::check(SecCMSVerifyCopyDataAndAttributes(sig
, mBaseDir
, vf_policies
, &mTrust
.aref(), NULL
, &attrs
.aref()));
1019 // Copy the signing time
1020 mSigningTime
= SecTrustGetVerifyTime(mTrust
);
1022 // Validate the cert chain
1023 SecTrustResultType trustResult
;
1024 MacOSError::check(SecTrustEvaluate(mTrust
, &trustResult
));
1026 // retrieve auxiliary data bag and verify against current state
1027 CFRef
<CFDataRef
> hashBag
;
1028 hashBag
= CFDataRef(CFDictionaryGetValue(attrs
, kSecCMSHashAgility
));
1030 CFRef
<CFDictionaryRef
> hashDict
= makeCFDictionaryFrom(hashBag
);
1031 CFArrayRef cdList
= CFArrayRef(CFDictionaryGetValue(hashDict
, CFSTR("cdhashes")));
1032 CFArrayRef myCdList
= this->cdHashes();
1033 if (cdList
== NULL
|| !CFEqual(cdList
, myCdList
))
1034 MacOSError::throwMe(errSecCSSignatureFailed
);
1038 * Populate mCertChain with the certs. If we failed validation, the
1039 * signer's cert will be checked installed provisioning profiles as an
1040 * alternative to verification against the policy for store-signed binaries
1042 SecCertificateRef leafCert
= SecTrustGetCertificateAtIndex(mTrust
, 0);
1043 if (leafCert
!= NULL
) {
1044 CFIndex count
= SecTrustGetCertificateCount(mTrust
);
1046 CFMutableArrayRef certs
= CFArrayCreateMutable(kCFAllocatorDefault
, count
,
1047 &kCFTypeArrayCallBacks
);
1049 CFArrayAppendValue(certs
, leafCert
);
1050 for (CFIndex i
= 1; i
< count
; ++i
) {
1051 CFArrayAppendValue(certs
, SecTrustGetCertificateAtIndex(mTrust
, i
));
1054 mCertChain
.take((CFArrayRef
)certs
);
1057 // Did we implicitly trust the signer?
1058 mTrustedSigningCertChain
= (trustResult
== kSecTrustResultUnspecified
|| trustResult
== kSecTrustResultProceed
);
1060 return false; // XXX: Not checking for expired certs
1066 // Return the TP policy used for signature verification.
1067 // This may be a simple SecPolicyRef or a CFArray of policies.
1068 // The caller owns the return value.
1070 static SecPolicyRef
makeRevocationPolicy(CFOptionFlags flags
)
1072 CFRef
<SecPolicyRef
> policy(SecPolicyCreateRevocation(flags
));
1073 return policy
.yield();
1077 CFArrayRef
SecStaticCode::createVerificationPolicies()
1079 if (mValidationFlags
& kSecCSUseSoftwareSigningCert
) {
1080 CFRef
<SecPolicyRef
> ssRef
= SecPolicyCreateAppleSoftwareSigning();
1081 return makeCFArray(1, ssRef
.get());
1084 CFRef
<SecPolicyRef
> core
;
1085 MacOSError::check(SecPolicyCopy(CSSM_CERT_X_509v3
,
1086 &CSSMOID_APPLE_TP_CODE_SIGNING
, &core
.aref()));
1087 if (mValidationFlags
& kSecCSNoNetworkAccess
) {
1088 // Skips all revocation since they require network connectivity
1089 // therefore annihilates kSecCSEnforceRevocationChecks if present
1090 CFRef
<SecPolicyRef
> no_revoc
= makeRevocationPolicy(kSecRevocationNetworkAccessDisabled
);
1091 return makeCFArray(2, core
.get(), no_revoc
.get());
1093 else if (mValidationFlags
& kSecCSEnforceRevocationChecks
) {
1094 // Add CRL and OCSP policies
1095 CFRef
<SecPolicyRef
> revoc
= makeRevocationPolicy(kSecRevocationUseAnyAvailableMethod
);
1096 return makeCFArray(2, core
.get(), revoc
.get());
1098 return makeCFArray(1, core
.get());
1101 CFRef
<SecPolicyRef
> tvOSRef
= SecPolicyCreateAppleTVOSApplicationSigning();
1102 return makeCFArray(1, tvOSRef
.get());
1104 CFRef
<SecPolicyRef
> iOSRef
= SecPolicyCreateiPhoneApplicationSigning();
1105 return makeCFArray(1, iOSRef
.get());
1110 CFArrayRef
SecStaticCode::createTimeStampingAndRevocationPolicies()
1112 CFRef
<SecPolicyRef
> tsPolicy
= SecPolicyCreateAppleTimeStamping();
1114 if (mValidationFlags
& kSecCSNoNetworkAccess
) {
1115 // Skips all revocation since they require network connectivity
1116 // therefore annihilates kSecCSEnforceRevocationChecks if present
1117 CFRef
<SecPolicyRef
> no_revoc
= makeRevocationPolicy(kSecRevocationNetworkAccessDisabled
);
1118 return makeCFArray(2, tsPolicy
.get(), no_revoc
.get());
1120 else if (mValidationFlags
& kSecCSEnforceRevocationChecks
) {
1121 // Add CRL and OCSP policies
1122 CFRef
<SecPolicyRef
> revoc
= makeRevocationPolicy(kSecRevocationUseAnyAvailableMethod
);
1123 return makeCFArray(2, tsPolicy
.get(), revoc
.get());
1126 return makeCFArray(1, tsPolicy
.get());
1129 return makeCFArray(1, tsPolicy
.get());
1136 // Validate a particular sealed, cached resource against its (special) CodeDirectory slot.
1137 // The resource must already have been placed in the cache.
1138 // This does NOT perform basic validation.
1140 void SecStaticCode::validateComponent(CodeDirectory::SpecialSlot slot
, OSStatus fail
/* = errSecCSSignatureFailed */)
1142 assert(slot
<= cdSlotMax
);
1143 CFDataRef data
= mCache
[slot
];
1144 assert(data
); // must be cached
1145 if (data
== CFDataRef(kCFNull
)) {
1146 if (codeDirectory()->slotIsPresent(-slot
)) // was supposed to be there...
1147 MacOSError::throwMe(fail
); // ... and is missing
1149 if (!codeDirectory()->validateSlot(CFDataGetBytePtr(data
), CFDataGetLength(data
), -slot
, false))
1150 MacOSError::throwMe(fail
);
1156 // Perform static validation of the main executable.
1157 // This reads the main executable from disk and validates it against the
1158 // CodeDirectory code slot array.
1159 // Note that this is NOT an in-memory validation, and is thus potentially
1160 // subject to timing attacks.
1162 void SecStaticCode::validateExecutable()
1164 if (!validatedExecutable()) {
1166 DTRACK(CODESIGN_EVAL_STATIC_EXECUTABLE
, this,
1167 (char*)this->mainExecutablePath().c_str(), codeDirectory()->nCodeSlots
);
1168 const CodeDirectory
*cd
= this->codeDirectory();
1170 MacOSError::throwMe(errSecCSUnsigned
);
1171 AutoFileDesc
fd(mainExecutablePath(), O_RDONLY
);
1172 fd
.fcntl(F_NOCACHE
, true); // turn off page caching (one-pass)
1173 if (Universal
*fat
= mRep
->mainExecutableImage())
1174 fd
.seek(fat
->archOffset());
1175 size_t pageSize
= cd
->pageSize
? (1 << cd
->pageSize
) : 0;
1176 size_t remaining
= cd
->signingLimit();
1177 for (uint32_t slot
= 0; slot
< cd
->nCodeSlots
; ++slot
) {
1178 size_t thisPage
= remaining
;
1180 thisPage
= min(thisPage
, pageSize
);
1181 __block
bool good
= true;
1182 CodeDirectory::multipleHashFileData(fd
, thisPage
, hashAlgorithms(), ^(CodeDirectory::HashAlgorithm type
, Security::DynamicHash
*hasher
) {
1183 const CodeDirectory
* cd
= (const CodeDirectory
*)CFDataGetBytePtr(mCodeDirectories
[type
]);
1184 if (!hasher
->verify(cd
->getSlot(slot
,
1185 mValidationFlags
& kSecCSValidatePEH
)))
1189 CODESIGN_EVAL_STATIC_EXECUTABLE_FAIL(this, (int)slot
);
1190 MacOSError::throwMe(errSecCSSignatureFailed
);
1192 remaining
-= thisPage
;
1194 assert(remaining
== 0);
1195 mExecutableValidated
= true;
1196 mExecutableValidResult
= errSecSuccess
;
1197 } catch (const CommonError
&err
) {
1198 mExecutableValidated
= true;
1199 mExecutableValidResult
= err
.osStatus();
1202 secinfo("staticCode", "%p executable validation threw non-common exception", this);
1203 mExecutableValidated
= true;
1204 mExecutableValidResult
= errSecCSInternalError
;
1205 Syslog::notice("code signing internal problem: unknown exception thrown by validation");
1209 assert(validatedExecutable());
1210 if (mExecutableValidResult
!= errSecSuccess
)
1211 MacOSError::throwMe(mExecutableValidResult
);
1216 // Perform static validation of sealed resources and nested code.
1218 // This performs a whole-code static resource scan and effectively
1219 // computes a concordance between what's on disk and what's in the ResourceDirectory.
1220 // Any unsanctioned difference causes an error.
1222 unsigned SecStaticCode::estimateResourceWorkload()
1224 // workload estimate = number of sealed files
1225 CFDictionaryRef sealedResources
= resourceDictionary();
1226 CFDictionaryRef files
= cfget
<CFDictionaryRef
>(sealedResources
, "files2");
1228 files
= cfget
<CFDictionaryRef
>(sealedResources
, "files");
1229 return files
? unsigned(CFDictionaryGetCount(files
)) : 0;
1232 void SecStaticCode::validateResources(SecCSFlags flags
)
1234 // do we have a superset of this requested validation cached?
1236 if (mResourcesValidated
) { // have cached outcome
1237 if (!(flags
& kSecCSCheckNestedCode
) || mResourcesDeep
) // was deep or need no deep scan
1242 if (mLimitedAsync
== NULL
) {
1243 bool runMultiThreaded
= ((flags
& kSecCSSingleThreaded
) == kSecCSSingleThreaded
) ? false :
1244 (diskRep()->fd().mediumType() == kIOPropertyMediumTypeSolidStateKey
);
1245 mLimitedAsync
= new LimitedAsync(runMultiThreaded
);
1249 CFDictionaryRef rules
;
1250 CFDictionaryRef files
;
1252 if (!loadResources(rules
, files
, version
))
1253 return; // validly no resources; nothing to do (ok)
1255 // found resources, and they are sealed
1256 DTRACK(CODESIGN_EVAL_STATIC_RESOURCES
, this,
1257 (char*)this->mainExecutablePath().c_str(), 0);
1259 // scan through the resources on disk, checking each against the resourceDirectory
1260 mResourcesValidContext
= new CollectingContext(*this); // collect all failures in here
1262 // check for weak resource rules
1263 bool strict
= flags
& kSecCSStrictValidate
;
1265 if (hasWeakResourceRules(rules
, version
, mAllowOmissions
))
1266 if (mTolerateErrors
.find(errSecCSWeakResourceRules
) == mTolerateErrors
.end())
1267 MacOSError::throwMe(errSecCSWeakResourceRules
);
1269 if (mTolerateErrors
.find(errSecCSWeakResourceEnvelope
) == mTolerateErrors
.end())
1270 MacOSError::throwMe(errSecCSWeakResourceEnvelope
);
1273 Dispatch::Group group
;
1274 Dispatch::Group
&groupRef
= group
; // (into block)
1276 // scan through the resources on disk, checking each against the resourceDirectory
1277 __block CFRef
<CFMutableDictionaryRef
> resourceMap
= makeCFMutableDictionary(files
);
1278 string base
= cfString(this->resourceBase());
1279 ResourceBuilder
resources(base
, base
, rules
, strict
, mTolerateErrors
);
1280 this->mResourceScope
= &resources
;
1281 diskRep()->adjustResources(resources
);
1283 resources
.scan(^(FTSENT
*ent
, uint32_t ruleFlags
, const string relpath
, ResourceBuilder::Rule
*rule
) {
1284 CFDictionaryRemoveValue(resourceMap
, CFTempString(relpath
));
1285 bool isSymlink
= (ent
->fts_info
== FTS_SL
);
1287 void (^validate
)() = ^{
1288 validateResource(files
, relpath
, isSymlink
, *mResourcesValidContext
, flags
, version
);
1292 mLimitedAsync
->perform(groupRef
, validate
);
1294 group
.wait(); // wait until all async resources have been validated as well
1296 unsigned leftovers
= unsigned(CFDictionaryGetCount(resourceMap
));
1297 if (leftovers
> 0) {
1298 secinfo("staticCode", "%d sealed resource(s) not found in code", int(leftovers
));
1299 CFDictionaryApplyFunction(resourceMap
, SecStaticCode::checkOptionalResource
, mResourcesValidContext
);
1302 // now check for any errors found in the reporting context
1303 mResourcesValidated
= true;
1304 mResourcesDeep
= flags
& kSecCSCheckNestedCode
;
1305 if (mResourcesValidContext
->osStatus() != errSecSuccess
)
1306 mResourcesValidContext
->throwMe();
1307 } catch (const CommonError
&err
) {
1308 mResourcesValidated
= true;
1309 mResourcesDeep
= flags
& kSecCSCheckNestedCode
;
1310 mResourcesValidResult
= err
.osStatus();
1313 secinfo("staticCode", "%p executable validation threw non-common exception", this);
1314 mResourcesValidated
= true;
1315 mResourcesDeep
= flags
& kSecCSCheckNestedCode
;
1316 mResourcesValidResult
= errSecCSInternalError
;
1317 Syslog::notice("code signing internal problem: unknown exception thrown by validation");
1321 assert(validatedResources());
1322 if (mResourcesValidResult
)
1323 MacOSError::throwMe(mResourcesValidResult
);
1324 if (mResourcesValidContext
->osStatus() != errSecSuccess
)
1325 mResourcesValidContext
->throwMe();
1329 bool SecStaticCode::loadResources(CFDictionaryRef
& rules
, CFDictionaryRef
& files
, uint32_t& version
)
1332 CFDictionaryRef sealedResources
= resourceDictionary();
1333 if (this->resourceBase()) { // disk has resources
1334 if (sealedResources
)
1335 /* go to work below */;
1337 MacOSError::throwMe(errSecCSResourcesNotFound
);
1338 } else { // disk has no resources
1339 if (sealedResources
)
1340 MacOSError::throwMe(errSecCSResourcesNotFound
);
1342 return false; // no resources, not sealed - fine (no work)
1345 // use V2 resource seal if available, otherwise fall back to V1
1346 if (CFDictionaryGetValue(sealedResources
, CFSTR("files2"))) { // have V2 signature
1347 rules
= cfget
<CFDictionaryRef
>(sealedResources
, "rules2");
1348 files
= cfget
<CFDictionaryRef
>(sealedResources
, "files2");
1350 } else { // only V1 available
1351 rules
= cfget
<CFDictionaryRef
>(sealedResources
, "rules");
1352 files
= cfget
<CFDictionaryRef
>(sealedResources
, "files");
1355 if (!rules
|| !files
)
1356 MacOSError::throwMe(errSecCSResourcesInvalid
);
1361 void SecStaticCode::checkOptionalResource(CFTypeRef key
, CFTypeRef value
, void *context
)
1363 ValidationContext
*ctx
= static_cast<ValidationContext
*>(context
);
1364 ResourceSeal
seal(value
);
1365 if (!seal
.optional()) {
1366 if (key
&& CFGetTypeID(key
) == CFStringGetTypeID()) {
1367 CFTempURL
tempURL(CFStringRef(key
), false, ctx
->code
.resourceBase());
1368 if (!tempURL
.get()) {
1369 ctx
->reportProblem(errSecCSBadDictionaryFormat
, kSecCFErrorResourceSeal
, key
);
1371 ctx
->reportProblem(errSecCSBadResource
, kSecCFErrorResourceMissing
, tempURL
);
1374 ctx
->reportProblem(errSecCSBadResource
, kSecCFErrorResourceSeal
, key
);
1380 static bool isOmitRule(CFTypeRef value
)
1382 if (CFGetTypeID(value
) == CFBooleanGetTypeID())
1383 return value
== kCFBooleanFalse
;
1384 CFDictionary
rule(value
, errSecCSResourceRulesInvalid
);
1385 return rule
.get
<CFBooleanRef
>("omit") == kCFBooleanTrue
;
1388 bool SecStaticCode::hasWeakResourceRules(CFDictionaryRef rulesDict
, uint32_t version
, CFArrayRef allowedOmissions
)
1390 // compute allowed omissions
1391 CFRef
<CFArrayRef
> defaultOmissions
= this->diskRep()->allowedResourceOmissions();
1392 if (!defaultOmissions
) {
1393 Syslog::notice("code signing internal problem: diskRep returned no allowedResourceOmissions");
1394 MacOSError::throwMe(errSecCSInternalError
);
1396 CFRef
<CFMutableArrayRef
> allowed
= CFArrayCreateMutableCopy(NULL
, 0, defaultOmissions
);
1397 if (allowedOmissions
)
1398 CFArrayAppendArray(allowed
, allowedOmissions
, CFRangeMake(0, CFArrayGetCount(allowedOmissions
)));
1399 CFRange range
= CFRangeMake(0, CFArrayGetCount(allowed
));
1401 // check all resource rules for weakness
1402 string catchAllRule
= (version
== 1) ? "^Resources/" : "^.*";
1403 __block
bool coversAll
= false;
1404 __block
bool forbiddenOmission
= false;
1405 CFArrayRef allowedRef
= allowed
.get(); // (into block)
1406 CFDictionary
rules(rulesDict
, errSecCSResourceRulesInvalid
);
1407 rules
.apply(^(CFStringRef key
, CFTypeRef value
) {
1408 string pattern
= cfString(key
, errSecCSResourceRulesInvalid
);
1409 if (pattern
== catchAllRule
&& value
== kCFBooleanTrue
) {
1413 if (isOmitRule(value
))
1414 forbiddenOmission
|= !CFArrayContainsValue(allowedRef
, range
, key
);
1417 return !coversAll
|| forbiddenOmission
;
1422 // Load, validate, cache, and return CFDictionary forms of sealed resources.
1424 CFDictionaryRef
SecStaticCode::infoDictionary()
1427 mInfoDict
.take(getDictionary(cdInfoSlot
, errSecCSInfoPlistFailed
));
1428 secinfo("staticCode", "%p loaded InfoDict %p", this, mInfoDict
.get());
1433 CFDictionaryRef
SecStaticCode::entitlements()
1435 if (!mEntitlements
) {
1436 validateDirectory();
1437 if (CFDataRef entitlementData
= component(cdEntitlementSlot
)) {
1438 validateComponent(cdEntitlementSlot
);
1439 const EntitlementBlob
*blob
= reinterpret_cast<const EntitlementBlob
*>(CFDataGetBytePtr(entitlementData
));
1440 if (blob
->validateBlob()) {
1441 mEntitlements
.take(blob
->entitlements());
1442 secinfo("staticCode", "%p loaded Entitlements %p", this, mEntitlements
.get());
1444 // we do not consider a different blob type to be an error. We think it's a new format we don't understand
1447 return mEntitlements
;
1450 CFDictionaryRef
SecStaticCode::resourceDictionary(bool check
/* = true */)
1452 if (mResourceDict
) // cached
1453 return mResourceDict
;
1454 if (CFRef
<CFDictionaryRef
> dict
= getDictionary(cdResourceDirSlot
, check
))
1455 if (cfscan(dict
, "{rules=%Dn,files=%Dn}")) {
1456 secinfo("staticCode", "%p loaded ResourceDict %p",
1457 this, mResourceDict
.get());
1458 return mResourceDict
= dict
;
1465 CFDataRef
SecStaticCode::copyComponent(CodeDirectory::SpecialSlot slot
, CFDataRef hash
)
1467 const CodeDirectory
* cd
= this->codeDirectory();
1468 if (CFCopyRef
<CFDataRef
> component
= this->component(slot
)) {
1470 const void *slotHash
= cd
->getSlot(slot
, false);
1471 if (cd
->hashSize
!= CFDataGetLength(hash
) || 0 != memcmp(slotHash
, CFDataGetBytePtr(hash
), cd
->hashSize
)) {
1472 Syslog::notice("copyComponent hash mismatch slot %d length %d", slot
, int(CFDataGetLength(hash
)));
1473 return NULL
; // mismatch
1476 return component
.yield();
1484 // Load and cache the resource directory base.
1485 // Note that the base is optional for each DiskRep.
1487 CFURLRef
SecStaticCode::resourceBase()
1489 if (!mGotResourceBase
) {
1490 string base
= mRep
->resourcesRootPath();
1492 mResourceBase
.take(makeCFURL(base
, true));
1493 mGotResourceBase
= true;
1495 return mResourceBase
;
1500 // Load a component, validate it, convert it to a CFDictionary, and return that.
1501 // This will force load and validation, which means that it will perform basic
1502 // validation if it hasn't been done yet.
1504 CFDictionaryRef
SecStaticCode::getDictionary(CodeDirectory::SpecialSlot slot
, bool check
/* = true */)
1507 validateDirectory();
1508 if (CFDataRef infoData
= component(slot
)) {
1509 validateComponent(slot
);
1510 if (CFDictionaryRef dict
= makeCFDictionaryFrom(infoData
))
1513 MacOSError::throwMe(errSecCSBadDictionaryFormat
);
1521 CFDictionaryRef
SecStaticCode::diskRepInformation()
1523 return mRep
->diskRepInformation();
1526 bool SecStaticCode::checkfix30814861(string path
, bool addition
) {
1527 // <rdar://problem/30814861> v2 resource rules don't match v1 resource rules
1529 //// Condition 1: Is the app an iOS app that was built with an SDK lower than 9.0?
1531 // We started signing correctly in 2014, 9.0 was first seeded mid-2016.
1533 CFRef
<CFDictionaryRef
> inf
= diskRepInformation();
1535 CFDictionary
info(diskRepInformation(), errSecCSNotSupported
);
1537 cfNumber(info
.get
<CFNumberRef
>(kSecCodeInfoDiskRepVersionPlatform
, errSecCSNotSupported
), 0);
1538 uint32_t sdkVersion
=
1539 cfNumber(info
.get
<CFNumberRef
>(kSecCodeInfoDiskRepVersionSDK
, errSecCSNotSupported
), 0);
1541 if (platform
!= PLATFORM_IOS
|| sdkVersion
>= 0x00090000) {
1544 } catch (const MacOSError
&error
) {
1548 //// Condition 2: Is it a .sinf/.supf/.supp file at the right location?
1550 static regex_t pathre_sinf
;
1551 static regex_t pathre_supp_supf
;
1552 static dispatch_once_t once
;
1554 dispatch_once(&once
, ^{
1555 os_assert_zero(regcomp(&pathre_sinf
,
1556 "^(Frameworks/[^/]+\\.framework/|PlugIns/[^/]+\\.appex/|())SC_Info/[^/]+\\.sinf$",
1557 REG_EXTENDED
| REG_NOSUB
));
1558 os_assert_zero(regcomp(&pathre_supp_supf
,
1559 "^(Frameworks/[^/]+\\.framework/|PlugIns/[^/]+\\.appex/|())SC_Info/[^/]+\\.(supf|supp)$",
1560 REG_EXTENDED
| REG_NOSUB
));
1563 // .sinf is added, .supf/.supp are modified.
1564 const regex_t
&pathre
= addition
? pathre_sinf
: pathre_supp_supf
;
1566 const int result
= regexec(&pathre
, path
.c_str(), 0, NULL
, 0);
1568 if (result
== REG_NOMATCH
) {
1570 } else if (result
!= 0) {
1572 secerror("unexpected regexec result %d for path '%s'", result
, path
.c_str());
1576 //// Condition 3: Do the v1 rules actually exclude the file?
1578 dispatch_once(&mCheckfix30814861builder1_once
, ^{
1579 // Create the v1 resource builder lazily.
1580 CFDictionaryRef rules1
= cfget
<CFDictionaryRef
>(resourceDictionary(), "rules");
1581 const string base
= cfString(resourceBase());
1583 mCheckfix30814861builder1
= new ResourceBuilder(base
, base
, rules1
, false, mTolerateErrors
);
1586 ResourceBuilder::Rule
const * const matchingRule
= mCheckfix30814861builder1
->findRule(path
);
1588 if (matchingRule
== NULL
|| !(matchingRule
->flags
& ResourceBuilder::omitted
)) {
1592 //// All matched, this file is a check-fixed sinf/supf/supp.
1598 void SecStaticCode::validateResource(CFDictionaryRef files
, string path
, bool isSymlink
, ValidationContext
&ctx
, SecCSFlags flags
, uint32_t version
)
1600 if (!resourceBase()) // no resources in DiskRep
1601 MacOSError::throwMe(errSecCSResourcesNotFound
);
1602 CFRef
<CFURLRef
> fullpath
= makeCFURL(path
, false, resourceBase());
1603 if (version
> 1 && ((flags
& (kSecCSStrictValidate
|kSecCSRestrictSidebandData
)) == (kSecCSStrictValidate
|kSecCSRestrictSidebandData
))) {
1604 AutoFileDesc
fd(cfString(fullpath
));
1605 if (fd
.hasExtendedAttribute(XATTR_RESOURCEFORK_NAME
) || fd
.hasExtendedAttribute(XATTR_FINDERINFO_NAME
))
1606 ctx
.reportProblem(errSecCSInvalidAssociatedFileData
, kSecCFErrorResourceSideband
, fullpath
);
1608 if (CFTypeRef file
= CFDictionaryGetValue(files
, CFTempString(path
))) {
1609 ResourceSeal
seal(file
);
1610 const ResourceSeal
& rseal
= seal
;
1611 if (seal
.nested()) {
1613 return ctx
.reportProblem(errSecCSBadResource
, kSecCFErrorResourceAltered
, fullpath
); // changed type
1614 string suffix
= ".framework";
1615 bool isFramework
= (path
.length() > suffix
.length())
1616 && (path
.compare(path
.length()-suffix
.length(), suffix
.length(), suffix
) == 0);
1617 validateNestedCode(fullpath
, seal
, flags
, isFramework
);
1618 } else if (seal
.link()) {
1620 return ctx
.reportProblem(errSecCSBadResource
, kSecCFErrorResourceAltered
, fullpath
); // changed type
1621 validateSymlinkResource(cfString(fullpath
), cfString(seal
.link()), ctx
, flags
);
1622 } else if (seal
.hash(hashAlgorithm())) { // genuine file
1624 return ctx
.reportProblem(errSecCSBadResource
, kSecCFErrorResourceAltered
, fullpath
); // changed type
1625 AutoFileDesc
fd(cfString(fullpath
), O_RDONLY
, FileDesc::modeMissingOk
); // open optional file
1627 __block
bool good
= true;
1628 CodeDirectory::multipleHashFileData(fd
, 0, hashAlgorithms(), ^(CodeDirectory::HashAlgorithm type
, Security::DynamicHash
*hasher
) {
1629 if (!hasher
->verify(rseal
.hash(type
)))
1633 if (version
== 2 && checkfix30814861(path
, false)) {
1634 secinfo("validateResource", "%s check-fixed (altered).", path
.c_str());
1636 ctx
.reportProblem(errSecCSBadResource
, kSecCFErrorResourceAltered
, fullpath
); // altered
1640 if (!seal
.optional())
1641 ctx
.reportProblem(errSecCSBadResource
, kSecCFErrorResourceMissing
, fullpath
); // was sealed but is now missing
1643 return; // validly missing
1646 ctx
.reportProblem(errSecCSBadResource
, kSecCFErrorResourceAltered
, fullpath
); // changed type
1649 if (version
== 1) { // version 1 ignores symlinks altogether
1650 char target
[PATH_MAX
];
1651 if (::readlink(cfString(fullpath
).c_str(), target
, sizeof(target
)) > 0)
1654 if (version
== 2 && checkfix30814861(path
, true)) {
1655 secinfo("validateResource", "%s check-fixed (added).", path
.c_str());
1657 ctx
.reportProblem(errSecCSBadResource
, kSecCFErrorResourceAdded
, CFTempURL(path
, false, resourceBase()));
1661 void SecStaticCode::validatePlainMemoryResource(string path
, CFDataRef fileData
, SecCSFlags flags
)
1663 CFDictionaryRef rules
;
1664 CFDictionaryRef files
;
1666 if (!loadResources(rules
, files
, version
))
1667 MacOSError::throwMe(errSecCSResourcesNotFound
); // no resources sealed; this can't be right
1668 if (CFTypeRef file
= CFDictionaryGetValue(files
, CFTempString(path
))) {
1669 ResourceSeal
seal(file
);
1670 const Byte
*sealHash
= seal
.hash(hashAlgorithm());
1672 if (codeDirectory()->verifyMemoryContent(fileData
, sealHash
))
1676 MacOSError::throwMe(errSecCSBadResource
);
1679 void SecStaticCode::validateSymlinkResource(std::string fullpath
, std::string seal
, ValidationContext
&ctx
, SecCSFlags flags
)
1681 static const char* const allowedDestinations
[] = {
1686 char target
[PATH_MAX
];
1687 ssize_t len
= ::readlink(fullpath
.c_str(), target
, sizeof(target
)-1);
1689 UnixError::check(-1);
1691 std::string fulltarget
= target
;
1692 if (target
[0] != '/') {
1693 size_t lastSlash
= fullpath
.rfind('/');
1694 fulltarget
= fullpath
.substr(0, lastSlash
) + '/' + target
;
1696 if (seal
!= target
) {
1697 ctx
.reportProblem(errSecCSBadResource
, kSecCFErrorResourceAltered
, CFTempString(fullpath
));
1700 if ((mValidationFlags
& (kSecCSStrictValidate
|kSecCSRestrictSymlinks
)) == (kSecCSStrictValidate
|kSecCSRestrictSymlinks
)) {
1701 char resolved
[PATH_MAX
];
1702 if (realpath(fulltarget
.c_str(), resolved
)) {
1703 assert(resolved
[0] == '/');
1704 size_t rlen
= strlen(resolved
);
1705 if (target
[0] == '/') {
1706 // absolute symlink; only allow absolute links to system locations
1707 for (const char* const* pathp
= allowedDestinations
; *pathp
; pathp
++) {
1708 size_t dlen
= strlen(*pathp
);
1709 if (rlen
> dlen
&& strncmp(resolved
, *pathp
, dlen
) == 0)
1710 return; // target inside /System, deemed okay
1713 // everything else must be inside the bundle(s)
1714 for (const SecStaticCode
* code
= this; code
; code
= code
->mOuterScope
) {
1715 string root
= code
->mResourceScope
->root();
1716 if (strncmp(resolved
, root
.c_str(), root
.size()) == 0) {
1717 if (code
->mResourceScope
->includes(resolved
+ root
.length() + 1))
1718 return; // located in resource stack && included in envelope
1720 break; // located but excluded from envelope (deny)
1725 // if we fell through, flag a symlink error
1726 if (mTolerateErrors
.find(errSecCSInvalidSymlink
) == mTolerateErrors
.end())
1727 ctx
.reportProblem(errSecCSInvalidSymlink
, kSecCFErrorResourceAltered
, CFTempString(fullpath
));
1731 void SecStaticCode::validateNestedCode(CFURLRef path
, const ResourceSeal
&seal
, SecCSFlags flags
, bool isFramework
)
1733 CFRef
<SecRequirementRef
> req
;
1734 if (SecRequirementCreateWithString(seal
.requirement(), kSecCSDefaultFlags
, &req
.aref()))
1735 MacOSError::throwMe(errSecCSResourcesInvalid
);
1737 // recursively verify this nested code
1739 if (!(flags
& kSecCSCheckNestedCode
))
1740 flags
|= kSecCSBasicValidateOnly
| kSecCSQuickCheck
;
1741 SecPointer
<SecStaticCode
> code
= new SecStaticCode(DiskRep::bestGuess(cfString(path
)));
1742 code
->initializeFromParent(*this);
1743 code
->staticValidate(flags
& (~kSecCSRestrictToAppLike
), SecRequirement::required(req
));
1745 if (isFramework
&& (flags
& kSecCSStrictValidate
))
1747 validateOtherVersions(path
, flags
& (~kSecCSRestrictToAppLike
), req
, code
);
1748 } catch (const CSError
&err
) {
1749 MacOSError::throwMe(errSecCSBadFrameworkVersion
);
1750 } catch (const MacOSError
&err
) {
1751 MacOSError::throwMe(errSecCSBadFrameworkVersion
);
1754 } catch (CSError
&err
) {
1755 if (err
.error
== errSecCSReqFailed
) {
1756 mResourcesValidContext
->reportProblem(errSecCSBadNestedCode
, kSecCFErrorResourceAltered
, path
);
1759 err
.augment(kSecCFErrorPath
, path
);
1761 } catch (const MacOSError
&err
) {
1762 if (err
.error
== errSecCSReqFailed
) {
1763 mResourcesValidContext
->reportProblem(errSecCSBadNestedCode
, kSecCFErrorResourceAltered
, path
);
1766 CSError::throwMe(err
.error
, kSecCFErrorPath
, path
);
1770 void SecStaticCode::validateOtherVersions(CFURLRef path
, SecCSFlags flags
, SecRequirementRef req
, SecStaticCode
*code
)
1772 // Find out what current points to and do not revalidate
1773 std::string mainPath
= cfStringRelease(code
->diskRep()->copyCanonicalPath());
1775 char main_path
[PATH_MAX
];
1776 bool foundTarget
= false;
1778 /* If it failed to get the target of the symlink, do not fail. It is a performance loss,
1779 not a security hole */
1780 if (realpath(mainPath
.c_str(), main_path
) != NULL
)
1783 std::ostringstream versionsPath
;
1784 versionsPath
<< cfString(path
) << "/Versions/";
1786 DirScanner
scanner(versionsPath
.str());
1788 if (scanner
.initialized()) {
1789 struct dirent
*entry
= NULL
;
1790 while ((entry
= scanner
.getNext()) != NULL
) {
1791 std::ostringstream fullPath
;
1793 if (entry
->d_type
!= DT_DIR
|| strcmp(entry
->d_name
, "Current") == 0)
1796 fullPath
<< versionsPath
.str() << entry
->d_name
;
1798 char real_full_path
[PATH_MAX
];
1799 if (realpath(fullPath
.str().c_str(), real_full_path
) == NULL
)
1800 UnixError::check(-1);
1802 // Do case insensitive comparions because realpath() was called for both paths
1803 if (foundTarget
&& strcmp(main_path
, real_full_path
) == 0)
1806 SecPointer
<SecStaticCode
> frameworkVersion
= new SecStaticCode(DiskRep::bestGuess(real_full_path
));
1807 frameworkVersion
->initializeFromParent(*this);
1808 frameworkVersion
->staticValidate(flags
, SecRequirement::required(req
));
1815 // Test a CodeDirectory flag.
1816 // Returns false if there is no CodeDirectory.
1817 // May throw if the CodeDirectory is present but somehow invalid.
1819 bool SecStaticCode::flag(uint32_t tested
)
1821 if (const CodeDirectory
*cd
= this->codeDirectory(false))
1822 return cd
->flags
& tested
;
1829 // Retrieve the full SuperBlob containing all internal requirements.
1831 const Requirements
*SecStaticCode::internalRequirements()
1833 if (CFDataRef reqData
= component(cdRequirementsSlot
)) {
1834 const Requirements
*req
= (const Requirements
*)CFDataGetBytePtr(reqData
);
1835 if (!req
->validateBlob())
1836 MacOSError::throwMe(errSecCSReqInvalid
);
1844 // Retrieve a particular internal requirement by type.
1846 const Requirement
*SecStaticCode::internalRequirement(SecRequirementType type
)
1848 if (const Requirements
*reqs
= internalRequirements())
1849 return reqs
->find
<Requirement
>(type
);
1856 // Return the Designated Requirement (DR). This can be either explicit in the
1857 // Internal Requirements component, or implicitly generated on demand here.
1858 // Note that an explicit DR may have been implicitly generated at signing time;
1859 // we don't distinguish this case.
1861 const Requirement
*SecStaticCode::designatedRequirement()
1863 if (const Requirement
*req
= internalRequirement(kSecDesignatedRequirementType
)) {
1864 return req
; // explicit in signing data
1866 if (!mDesignatedReq
)
1867 mDesignatedReq
= defaultDesignatedRequirement();
1868 return mDesignatedReq
;
1874 // Generate the default Designated Requirement (DR) for this StaticCode.
1875 // Ignore any explicit DR it may contain.
1877 const Requirement
*SecStaticCode::defaultDesignatedRequirement()
1879 if (flag(kSecCodeSignatureAdhoc
)) {
1880 // adhoc signature: return a cdhash requirement for all architectures
1881 __block
Requirement::Maker maker
;
1882 Requirement::Maker::Chain
chain(maker
, opOr
);
1884 // insert cdhash requirement for all architectures
1885 __block CFRef
<CFMutableArrayRef
> allHashes
= CFArrayCreateMutableCopy(NULL
, 0, this->cdHashes());
1886 handleOtherArchitectures(^(SecStaticCode
*other
) {
1887 CFArrayRef hashes
= other
->cdHashes();
1888 CFArrayAppendArray(allHashes
, hashes
, CFRangeMake(0, CFArrayGetCount(hashes
)));
1890 CFIndex count
= CFArrayGetCount(allHashes
);
1891 for (CFIndex n
= 0; n
< count
; ++n
) {
1893 maker
.cdhash(CFDataRef(CFArrayGetValueAtIndex(allHashes
, n
)));
1895 return maker
.make();
1898 // full signature: Gin up full context and let DRMaker do its thing
1899 validateDirectory(); // need the cert chain
1900 Requirement::Context
context(this->certificates(),
1901 this->infoDictionary(),
1902 this->entitlements(),
1904 this->codeDirectory(),
1906 kSecCodeSignatureNoHash
,
1909 return DRMaker(context
).make();
1911 MacOSError::throwMe(errSecCSUnimplemented
);
1918 // Validate a SecStaticCode against the internal requirement of a particular type.
1920 void SecStaticCode::validateRequirements(SecRequirementType type
, SecStaticCode
*target
,
1921 OSStatus nullError
/* = errSecSuccess */)
1923 DTRACK(CODESIGN_EVAL_STATIC_INTREQ
, this, type
, target
, nullError
);
1924 if (const Requirement
*req
= internalRequirement(type
))
1925 target
->validateRequirement(req
, nullError
? nullError
: errSecCSReqFailed
);
1927 MacOSError::throwMe(nullError
);
1933 // Validate this StaticCode against an external Requirement
1935 bool SecStaticCode::satisfiesRequirement(const Requirement
*req
, OSStatus failure
)
1937 bool result
= false;
1939 validateDirectory();
1940 result
= req
->validates(Requirement::Context(mCertChain
, infoDictionary(), entitlements(), codeDirectory()->identifier(), codeDirectory(), NULL
, kSecCodeSignatureNoHash
, mRep
->appleInternalForcePlatform()), failure
);
1944 void SecStaticCode::validateRequirement(const Requirement
*req
, OSStatus failure
)
1946 if (!this->satisfiesRequirement(req
, failure
))
1947 MacOSError::throwMe(failure
);
1951 // Retrieve one certificate from the cert chain.
1952 // Positive and negative indices can be used:
1953 // [ leaf, intermed-1, ..., intermed-n, anchor ]
1955 // Returns NULL if unavailable for any reason.
1957 SecCertificateRef
SecStaticCode::cert(int ix
)
1959 validateDirectory(); // need cert chain
1961 CFIndex length
= CFArrayGetCount(mCertChain
);
1964 if (ix
>= 0 && ix
< length
)
1965 return SecCertificateRef(CFArrayGetValueAtIndex(mCertChain
, ix
));
1970 CFArrayRef
SecStaticCode::certificates()
1972 validateDirectory(); // need cert chain
1978 // Gather (mostly) API-official information about this StaticCode.
1980 // This method lives in the twilight between the API and internal layers,
1981 // since it generates API objects (Sec*Refs) for return.
1983 CFDictionaryRef
SecStaticCode::signingInformation(SecCSFlags flags
)
1986 // Start with the pieces that we return even for unsigned code.
1987 // This makes Sec[Static]CodeRefs useful as API-level replacements
1988 // of our internal OSXCode objects.
1990 CFRef
<CFMutableDictionaryRef
> dict
= makeCFMutableDictionary(1,
1991 kSecCodeInfoMainExecutable
, CFTempURL(this->mainExecutablePath()).get()
1995 // If we're not signed, this is all you get
1997 if (!this->isSigned())
1998 return dict
.yield();
2001 // Add the generic attributes that we always include
2003 CFDictionaryAddValue(dict
, kSecCodeInfoIdentifier
, CFTempString(this->identifier()));
2004 CFDictionaryAddValue(dict
, kSecCodeInfoFlags
, CFTempNumber(this->codeDirectory(false)->flags
.get()));
2005 CFDictionaryAddValue(dict
, kSecCodeInfoFormat
, CFTempString(this->format()));
2006 CFDictionaryAddValue(dict
, kSecCodeInfoSource
, CFTempString(this->signatureSource()));
2007 CFDictionaryAddValue(dict
, kSecCodeInfoUnique
, this->cdHash());
2008 CFDictionaryAddValue(dict
, kSecCodeInfoCdHashes
, this->cdHashes());
2009 CFDictionaryAddValue(dict
, kSecCodeInfoCdHashesFull
, this->cdHashesFull());
2010 const CodeDirectory
* cd
= this->codeDirectory(false);
2011 CFDictionaryAddValue(dict
, kSecCodeInfoDigestAlgorithm
, CFTempNumber(cd
->hashType
));
2012 CFRef
<CFArrayRef
> digests
= makeCFArrayFrom(^CFTypeRef(CodeDirectory::HashAlgorithm type
) { return CFTempNumber(type
); }, hashAlgorithms());
2013 CFDictionaryAddValue(dict
, kSecCodeInfoDigestAlgorithms
, digests
);
2015 CFDictionaryAddValue(dict
, kSecCodeInfoPlatformIdentifier
, CFTempNumber(cd
->platform
));
2016 if (cd
->runtimeVersion()) {
2017 CFDictionaryAddValue(dict
, kSecCodeInfoRuntimeVersion
, CFTempNumber(cd
->runtimeVersion()));
2021 // Deliver any Info.plist only if it looks intact
2024 if (CFDictionaryRef info
= this->infoDictionary())
2025 CFDictionaryAddValue(dict
, kSecCodeInfoPList
, info
);
2026 } catch (...) { } // don't deliver Info.plist if questionable
2029 // kSecCSSigningInformation adds information about signing certificates and chains
2031 if (flags
& kSecCSSigningInformation
)
2033 if (CFDataRef sig
= this->signature())
2034 CFDictionaryAddValue(dict
, kSecCodeInfoCMS
, sig
);
2035 if (const char *teamID
= this->teamID())
2036 CFDictionaryAddValue(dict
, kSecCodeInfoTeamIdentifier
, CFTempString(teamID
));
2038 CFDictionaryAddValue(dict
, kSecCodeInfoTrust
, mTrust
);
2039 if (CFArrayRef certs
= this->certificates())
2040 CFDictionaryAddValue(dict
, kSecCodeInfoCertificates
, certs
);
2041 if (CFAbsoluteTime time
= this->signingTime())
2042 if (CFRef
<CFDateRef
> date
= CFDateCreate(NULL
, time
))
2043 CFDictionaryAddValue(dict
, kSecCodeInfoTime
, date
);
2044 if (CFAbsoluteTime time
= this->signingTimestamp())
2045 if (CFRef
<CFDateRef
> date
= CFDateCreate(NULL
, time
))
2046 CFDictionaryAddValue(dict
, kSecCodeInfoTimestamp
, date
);
2050 // kSecCSRequirementInformation adds information on requirements
2052 if (flags
& kSecCSRequirementInformation
)
2054 //DR not currently supported on iOS
2057 if (const Requirements
*reqs
= this->internalRequirements()) {
2058 CFDictionaryAddValue(dict
, kSecCodeInfoRequirements
,
2059 CFTempString(Dumper::dump(reqs
)));
2060 CFDictionaryAddValue(dict
, kSecCodeInfoRequirementData
, CFTempData(*reqs
));
2063 const Requirement
*dreq
= this->designatedRequirement();
2064 CFRef
<SecRequirementRef
> dreqRef
= (new SecRequirement(dreq
))->handle();
2065 CFDictionaryAddValue(dict
, kSecCodeInfoDesignatedRequirement
, dreqRef
);
2066 if (this->internalRequirement(kSecDesignatedRequirementType
)) { // explicit
2067 CFRef
<SecRequirementRef
> ddreqRef
= (new SecRequirement(this->defaultDesignatedRequirement(), true))->handle();
2068 CFDictionaryAddValue(dict
, kSecCodeInfoImplicitDesignatedRequirement
, ddreqRef
);
2069 } else { // implicit
2070 CFDictionaryAddValue(dict
, kSecCodeInfoImplicitDesignatedRequirement
, dreqRef
);
2076 if (CFDataRef ent
= this->component(cdEntitlementSlot
)) {
2077 CFDictionaryAddValue(dict
, kSecCodeInfoEntitlements
, ent
);
2078 if (CFDictionaryRef entdict
= this->entitlements())
2079 CFDictionaryAddValue(dict
, kSecCodeInfoEntitlementsDict
, entdict
);
2084 // kSecCSInternalInformation adds internal information meant to be for Apple internal
2085 // use (SPI), and not guaranteed to be stable. Primarily, this is data we want
2086 // to reliably transmit through the API wall so that code outside the Security.framework
2087 // can use it without having to play nasty tricks to get it.
2089 if (flags
& kSecCSInternalInformation
) {
2092 CFDictionaryAddValue(dict
, kSecCodeInfoCodeDirectory
, mDir
);
2093 CFDictionaryAddValue(dict
, kSecCodeInfoCodeOffset
, CFTempNumber(mRep
->signingBase()));
2094 if (!(flags
& kSecCSSkipResourceDirectory
)) {
2095 if (CFRef
<CFDictionaryRef
> rdict
= getDictionary(cdResourceDirSlot
, false)) // suppress validation
2096 CFDictionaryAddValue(dict
, kSecCodeInfoResourceDirectory
, rdict
);
2098 if (CFRef
<CFDictionaryRef
> ddict
= diskRepInformation())
2099 CFDictionaryAddValue(dict
, kSecCodeInfoDiskRepInfo
, ddict
);
2101 if (mNotarizationChecked
&& !isnan(mNotarizationDate
)) {
2102 CFRef
<CFDateRef
> date
= CFDateCreate(NULL
, mNotarizationDate
);
2104 CFDictionaryAddValue(dict
, kSecCodeInfoNotarizationDate
, date
.get());
2106 secerror("Error creating date from timestamp: %f", mNotarizationDate
);
2111 if (flags
& kSecCSCalculateCMSDigest
) {
2113 CFDictionaryAddValue(dict
, kSecCodeInfoCMSDigestHashType
, CFTempNumber(cmsDigestHashType()));
2115 CFRef
<CFDataRef
> cmsDigest
= createCmsDigest();
2117 CFDictionaryAddValue(dict
, kSecCodeInfoCMSDigest
, cmsDigest
.get());
2123 // kSecCSContentInformation adds more information about the physical layout
2124 // of the signed code. This is (only) useful for packaging or patching-oriented
2127 if (flags
& kSecCSContentInformation
&& !(flags
& kSecCSSkipResourceDirectory
))
2128 if (CFRef
<CFArrayRef
> files
= mRep
->modifiedFiles())
2129 CFDictionaryAddValue(dict
, kSecCodeInfoChangedFiles
, files
);
2131 return dict
.yield();
2136 // Resource validation contexts.
2137 // The default context simply throws a CSError, rudely terminating the operation.
2139 SecStaticCode::ValidationContext::~ValidationContext()
2142 void SecStaticCode::ValidationContext::reportProblem(OSStatus rc
, CFStringRef type
, CFTypeRef value
)
2144 CSError::throwMe(rc
, type
, value
);
2147 void SecStaticCode::CollectingContext::reportProblem(OSStatus rc
, CFStringRef type
, CFTypeRef value
)
2149 StLock
<Mutex
> _(mLock
);
2150 if (mStatus
== errSecSuccess
)
2151 mStatus
= rc
; // record first failure for eventual error return
2154 mCollection
.take(makeCFMutableDictionary());
2155 CFMutableArrayRef element
= CFMutableArrayRef(CFDictionaryGetValue(mCollection
, type
));
2157 element
= makeCFMutableArray(0);
2160 CFDictionaryAddValue(mCollection
, type
, element
);
2163 CFArrayAppendValue(element
, value
);
2167 void SecStaticCode::CollectingContext::throwMe()
2169 assert(mStatus
!= errSecSuccess
);
2170 throw CSError(mStatus
, mCollection
.retain());
2175 // Master validation driver.
2176 // This is the static validation (only) driver for the API.
2178 // SecStaticCode exposes an a la carte menu of topical validators applying
2179 // to a given object. The static validation API pulls them together reliably,
2180 // but it also adds three matrix dimensions: architecture (for "fat" Mach-O binaries),
2181 // nested code, and multiple digests. This function will crawl a suitable cross-section of this
2182 // validation matrix based on which options it is given, creating temporary
2183 // SecStaticCode objects on the fly to complete the task.
2184 // (The point, of course, is to do as little duplicate work as possible.)
2186 void SecStaticCode::staticValidate(SecCSFlags flags
, const SecRequirement
*req
)
2188 setValidationFlags(flags
);
2191 if (!mStaplingChecked
) {
2192 mRep
->registerStapledTicket();
2193 mStaplingChecked
= true;
2196 if (mFlags
& kSecCSForceOnlineNotarizationCheck
) {
2197 if (!mNotarizationChecked
) {
2198 if (this->cdHash()) {
2199 bool is_revoked
= checkNotarizationServiceForRevocation(this->cdHash(), (SecCSDigestAlgorithm
)this->hashAlgorithm(), &mNotarizationDate
);
2201 MacOSError::throwMe(errSecCSRevokedNotarization
);
2204 mNotarizationChecked
= true;
2207 #endif // TARGET_OS_OSX
2209 // initialize progress/cancellation state
2210 if (flags
& kSecCSReportProgress
)
2211 prepareProgress(estimateResourceWorkload() + 2); // +1 head, +1 tail
2214 // core components: once per architecture (if any)
2215 this->staticValidateCore(flags
, req
);
2216 if (flags
& kSecCSCheckAllArchitectures
)
2217 handleOtherArchitectures(^(SecStaticCode
* subcode
) {
2218 if (flags
& kSecCSCheckGatekeeperArchitectures
) {
2219 Universal
*fat
= subcode
->diskRep()->mainExecutableImage();
2220 assert(fat
&& fat
->narrowed()); // handleOtherArchitectures gave us a focused architecture slice
2221 Architecture arch
= fat
->bestNativeArch(); // actually, the ONLY one
2222 if ((arch
.cpuType() & ~CPU_ARCH_MASK
) == CPU_TYPE_POWERPC
)
2223 return; // irrelevant to Gatekeeper
2225 subcode
->detachedSignature(this->mDetachedSig
); // carry over explicit (but not implicit) detached signature
2226 subcode
->staticValidateCore(flags
, req
);
2230 // allow monitor intervention in source validation phase
2231 reportEvent(CFSTR("prepared"), NULL
);
2233 // resources: once for all architectures
2234 if (!(flags
& kSecCSDoNotValidateResources
))
2235 this->validateResources(flags
);
2237 // perform strict validation if desired
2238 if (flags
& kSecCSStrictValidate
)
2239 mRep
->strictValidate(codeDirectory(), mTolerateErrors
, mValidationFlags
);
2242 // allow monitor intervention
2243 if (CFRef
<CFTypeRef
> veto
= reportEvent(CFSTR("validated"), NULL
)) {
2244 if (CFGetTypeID(veto
) == CFNumberGetTypeID())
2245 MacOSError::throwMe(cfNumber
<OSStatus
>(veto
.as
<CFNumberRef
>()));
2247 MacOSError::throwMe(errSecCSBadCallbackValue
);
2251 void SecStaticCode::staticValidateCore(SecCSFlags flags
, const SecRequirement
*req
)
2254 this->validateNonResourceComponents(); // also validates the CodeDirectory
2255 this->validateTopDirectory();
2256 if (!(flags
& kSecCSDoNotValidateExecutable
))
2257 this->validateExecutable();
2259 this->validateRequirement(req
->requirement(), errSecCSReqFailed
);
2260 } catch (CSError
&err
) {
2261 if (Universal
*fat
= this->diskRep()->mainExecutableImage()) // Mach-O
2262 if (MachO
*mach
= fat
->architecture()) {
2263 err
.augment(kSecCFErrorArchitecture
, CFTempString(mach
->architecture().displayName()));
2267 } catch (const MacOSError
&err
) {
2268 // add architecture information if we can get it
2269 if (Universal
*fat
= this->diskRep()->mainExecutableImage())
2270 if (MachO
*mach
= fat
->architecture()) {
2271 CFTempString
arch(mach
->architecture().displayName());
2273 CSError::throwMe(err
.error
, kSecCFErrorArchitecture
, arch
);
2281 // A helper that generates SecStaticCode objects for all but the primary architecture
2282 // of a fat binary and calls a block on them.
2283 // If there's only one architecture (or this is an architecture-agnostic code),
2284 // nothing happens quickly.
2286 void SecStaticCode::handleOtherArchitectures(void (^handle
)(SecStaticCode
* other
))
2288 if (Universal
*fat
= this->diskRep()->mainExecutableImage()) {
2289 Universal::Architectures architectures
;
2290 fat
->architectures(architectures
);
2291 if (architectures
.size() > 1) {
2292 DiskRep::Context ctx
;
2293 off_t activeOffset
= fat
->archOffset();
2294 for (Universal::Architectures::const_iterator arch
= architectures
.begin(); arch
!= architectures
.end(); ++arch
) {
2296 ctx
.offset
= int_cast
<size_t, off_t
>(fat
->archOffset(*arch
));
2297 ctx
.size
= fat
->lengthOfSlice(int_cast
<off_t
,size_t>(ctx
.offset
));
2298 if (ctx
.offset
!= activeOffset
) { // inactive architecture; check it
2299 SecPointer
<SecStaticCode
> subcode
= new SecStaticCode(DiskRep::bestGuess(this->mainExecutablePath(), &ctx
));
2300 subcode
->detachedSignature(this->mDetachedSig
); // carry over explicit (but not implicit) detached signature
2301 if (this->teamID() == NULL
|| subcode
->teamID() == NULL
) {
2302 if (this->teamID() != subcode
->teamID())
2303 MacOSError::throwMe(errSecCSSignatureInvalid
);
2304 } else if (strcmp(this->teamID(), subcode
->teamID()) != 0)
2305 MacOSError::throwMe(errSecCSSignatureInvalid
);
2308 } catch(std::out_of_range e
) {
2309 // some of our int_casts fell over.
2310 MacOSError::throwMe(errSecCSBadObjectFormat
);
2318 // A method that takes a certificate chain (certs) and evaluates
2319 // if it is a Mac or IPhone developer cert, an app store distribution cert,
2320 // or a developer ID
2322 bool SecStaticCode::isAppleDeveloperCert(CFArrayRef certs
)
2324 static const std::string appleDeveloperRequirement
= "(" + std::string(WWDRRequirement
) + ") or (" + MACWWDRRequirement
+ ") or (" + developerID
+ ") or (" + distributionCertificate
+ ") or (" + iPhoneDistributionCert
+ ")";
2325 SecPointer
<SecRequirement
> req
= new SecRequirement(parseRequirement(appleDeveloperRequirement
), true);
2326 Requirement::Context
ctx(certs
, NULL
, NULL
, "", NULL
, NULL
, kSecCodeSignatureNoHash
, false);
2328 return req
->requirement()->validates(ctx
);
2331 CFDataRef
SecStaticCode::createCmsDigest()
2334 * The CMS digest is a hash of the primary (first, most compatible) code directory,
2335 * but its hash algorithm is fixed and not related to the code directory's
2339 auto it
= codeDirectories()->begin();
2341 if (it
== codeDirectories()->end()) {
2345 CodeDirectory
const * const cd
= reinterpret_cast<CodeDirectory
const*>(CFDataGetBytePtr(it
->second
));
2347 RefPointer
<DynamicHash
> hash
= cd
->hashFor(mCMSDigestHashType
);
2348 CFMutableDataRef data
= CFDataCreateMutable(NULL
, hash
->digestLength());
2349 CFDataSetLength(data
, hash
->digestLength());
2350 hash
->update(cd
, cd
->length());
2351 hash
->finish(CFDataGetMutableBytePtr(data
));
2356 } // end namespace CodeSigning
2357 } // end namespace Security