| // Copyright (c) 2012 The Chromium Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #include "net/cert/cert_verify_proc_mac.h" |
| |
| #include <CommonCrypto/CommonDigest.h> |
| #include <CoreServices/CoreServices.h> |
| #include <Security/Security.h> |
| |
| #include <algorithm> |
| #include <string> |
| #include <vector> |
| |
| #include "base/logging.h" |
| #include "base/mac/mac_logging.h" |
| #include "base/mac/mac_util.h" |
| #include "base/mac/scoped_cftyperef.h" |
| #include "base/strings/string_piece.h" |
| #include "base/synchronization/lock.h" |
| #include "crypto/mac_security_services_lock.h" |
| #include "crypto/sha2.h" |
| #include "net/base/hash_value.h" |
| #include "net/base/net_errors.h" |
| #include "net/cert/asn1_util.h" |
| #include "net/cert/cert_status_flags.h" |
| #include "net/cert/cert_verifier.h" |
| #include "net/cert/cert_verify_result.h" |
| #include "net/cert/crl_set.h" |
| #include "net/cert/ev_root_ca_metadata.h" |
| #include "net/cert/internal/certificate_policies.h" |
| #include "net/cert/internal/parsed_certificate.h" |
| #include "net/cert/known_roots.h" |
| #include "net/cert/known_roots_mac.h" |
| #include "net/cert/test_keychain_search_list_mac.h" |
| #include "net/cert/test_root_certs.h" |
| #include "net/cert/x509_certificate.h" |
| #include "net/cert/x509_util.h" |
| #include "net/cert/x509_util_ios_and_mac.h" |
| #include "net/cert/x509_util_mac.h" |
| #include "starboard/memory.h" |
| #include "starboard/types.h" |
| |
| // CSSM functions are deprecated as of OSX 10.7, but have no replacement. |
| // https://bugs.chromium.org/p/chromium/issues/detail?id=590914#c1 |
| #pragma clang diagnostic push |
| #pragma clang diagnostic ignored "-Wdeprecated-declarations" |
| |
| using base::ScopedCFTypeRef; |
| |
| namespace net { |
| |
| namespace { |
| |
| typedef OSStatus (*SecTrustCopyExtendedResultFuncPtr)(SecTrustRef, |
| CFDictionaryRef*); |
| |
| int NetErrorFromOSStatus(OSStatus status) { |
| switch (status) { |
| case noErr: |
| return OK; |
| case errSecNotAvailable: |
| case errSecNoCertificateModule: |
| case errSecNoPolicyModule: |
| return ERR_NOT_IMPLEMENTED; |
| case errSecAuthFailed: |
| return ERR_ACCESS_DENIED; |
| default: { |
| OSSTATUS_LOG(ERROR, status) << "Unknown error mapped to ERR_FAILED"; |
| return ERR_FAILED; |
| } |
| } |
| } |
| |
| CertStatus CertStatusFromOSStatus(OSStatus status) { |
| switch (status) { |
| case noErr: |
| return 0; |
| |
| case CSSMERR_TP_INVALID_ANCHOR_CERT: |
| case CSSMERR_TP_NOT_TRUSTED: |
| case CSSMERR_TP_INVALID_CERT_AUTHORITY: |
| return CERT_STATUS_AUTHORITY_INVALID; |
| |
| case CSSMERR_TP_CERT_EXPIRED: |
| case CSSMERR_TP_CERT_NOT_VALID_YET: |
| // "Expired" and "not yet valid" collapse into a single status. |
| return CERT_STATUS_DATE_INVALID; |
| |
| case CSSMERR_TP_CERT_REVOKED: |
| case CSSMERR_TP_CERT_SUSPENDED: |
| return CERT_STATUS_REVOKED; |
| |
| case CSSMERR_APPLETP_HOSTNAME_MISMATCH: |
| return CERT_STATUS_COMMON_NAME_INVALID; |
| |
| case CSSMERR_APPLETP_CRL_NOT_FOUND: |
| case CSSMERR_APPLETP_OCSP_UNAVAILABLE: |
| return CERT_STATUS_NO_REVOCATION_MECHANISM; |
| |
| case CSSMERR_APPLETP_INCOMPLETE_REVOCATION_CHECK: |
| // Starting with later 10.12 versions, |
| // CSSMERR_APPLETP_INCOMPLETE_REVOCATION_CHECK is a catch-all code for |
| // failures to check revocation status. |
| // However, on pre-10.12 versions, it would also be used on revocation |
| // failures. (CERT_STATUS_NO_REVOCATION_MECHANISM isn't really right |
| // there either, but that's what the old code has, and it just gets |
| // masked off later so has no actual effect.) |
| return base::mac::IsAtLeastOS10_12() |
| ? CERT_STATUS_UNABLE_TO_CHECK_REVOCATION |
| : CERT_STATUS_NO_REVOCATION_MECHANISM; |
| |
| case CSSMERR_APPLETP_CRL_EXPIRED: |
| case CSSMERR_APPLETP_CRL_NOT_VALID_YET: |
| case CSSMERR_APPLETP_CRL_SERVER_DOWN: |
| case CSSMERR_APPLETP_CRL_NOT_TRUSTED: |
| case CSSMERR_APPLETP_CRL_INVALID_ANCHOR_CERT: |
| case CSSMERR_APPLETP_CRL_POLICY_FAIL: |
| case CSSMERR_APPLETP_OCSP_BAD_RESPONSE: |
| case CSSMERR_APPLETP_OCSP_BAD_REQUEST: |
| case CSSMERR_APPLETP_OCSP_STATUS_UNRECOGNIZED: |
| case CSSMERR_APPLETP_NETWORK_FAILURE: |
| case CSSMERR_APPLETP_OCSP_NOT_TRUSTED: |
| case CSSMERR_APPLETP_OCSP_INVALID_ANCHOR_CERT: |
| case CSSMERR_APPLETP_OCSP_SIG_ERROR: |
| case CSSMERR_APPLETP_OCSP_NO_SIGNER: |
| case CSSMERR_APPLETP_OCSP_RESP_MALFORMED_REQ: |
| case CSSMERR_APPLETP_OCSP_RESP_INTERNAL_ERR: |
| case CSSMERR_APPLETP_OCSP_RESP_TRY_LATER: |
| case CSSMERR_APPLETP_OCSP_RESP_SIG_REQUIRED: |
| case CSSMERR_APPLETP_OCSP_RESP_UNAUTHORIZED: |
| case CSSMERR_APPLETP_OCSP_NONCE_MISMATCH: |
| // We asked for a revocation check, but didn't get it. |
| return CERT_STATUS_UNABLE_TO_CHECK_REVOCATION; |
| |
| case CSSMERR_APPLETP_SSL_BAD_EXT_KEY_USE: |
| // TODO(wtc): Should we add CERT_STATUS_WRONG_USAGE? |
| return CERT_STATUS_INVALID; |
| |
| case CSSMERR_APPLETP_CRL_BAD_URI: |
| case CSSMERR_APPLETP_IDP_FAIL: |
| return CERT_STATUS_INVALID; |
| |
| case CSSMERR_CSP_UNSUPPORTED_KEY_SIZE: |
| // Mapping UNSUPPORTED_KEY_SIZE to CERT_STATUS_WEAK_KEY is not strictly |
| // accurate, as the error may have been returned due to a key size |
| // that exceeded the maximum supported. However, within |
| // CertVerifyProcMac::VerifyInternal(), this code should only be |
| // encountered as a certificate status code, and only when the key size |
| // is smaller than the minimum required (1024 bits). |
| return CERT_STATUS_WEAK_KEY; |
| |
| default: { |
| // Failure was due to something Chromium doesn't define a |
| // specific status for (such as basic constraints violation, or |
| // unknown critical extension) |
| OSSTATUS_LOG(WARNING, status) |
| << "Unknown error mapped to CERT_STATUS_INVALID"; |
| return CERT_STATUS_INVALID; |
| } |
| } |
| } |
| |
| // Creates a series of SecPolicyRefs to be added to a SecTrustRef used to |
| // validate a certificate for an SSL server. |flags| is a bitwise-OR of |
| // VerifyFlags that can further alter how trust is validated, such as how |
| // revocation is checked. If successful, returns noErr, and stores the |
| // resultant array of SecPolicyRefs in |policies|. |
| OSStatus CreateTrustPolicies(int flags, ScopedCFTypeRef<CFArrayRef>* policies) { |
| ScopedCFTypeRef<CFMutableArrayRef> local_policies( |
| CFArrayCreateMutable(kCFAllocatorDefault, 0, &kCFTypeArrayCallBacks)); |
| if (!local_policies) |
| return memFullErr; |
| |
| SecPolicyRef ssl_policy; |
| OSStatus status = |
| x509_util::CreateSSLServerPolicy(std::string(), &ssl_policy); |
| if (status) |
| return status; |
| CFArrayAppendValue(local_policies, ssl_policy); |
| CFRelease(ssl_policy); |
| |
| // Explicitly add revocation policies, in order to override system |
| // revocation checking policies and instead respect the application-level |
| // revocation preference. |
| status = x509_util::CreateRevocationPolicies( |
| (flags & CertVerifyProc::VERIFY_REV_CHECKING_ENABLED), local_policies); |
| if (status) |
| return status; |
| |
| policies->reset(local_policies.release()); |
| return noErr; |
| } |
| |
| // Stores the constructed certificate chain |cert_chain| into |
| // |*verify_result|. |cert_chain| must not be empty. |
| void CopyCertChainToVerifyResult(CFArrayRef cert_chain, |
| CertVerifyResult* verify_result) { |
| DCHECK_LT(0, CFArrayGetCount(cert_chain)); |
| |
| SecCertificateRef verified_cert = NULL; |
| std::vector<SecCertificateRef> verified_chain; |
| for (CFIndex i = 0, count = CFArrayGetCount(cert_chain); i < count; ++i) { |
| SecCertificateRef chain_cert = reinterpret_cast<SecCertificateRef>( |
| const_cast<void*>(CFArrayGetValueAtIndex(cert_chain, i))); |
| if (i == 0) { |
| verified_cert = chain_cert; |
| } else { |
| verified_chain.push_back(chain_cert); |
| } |
| } |
| if (!verified_cert) { |
| NOTREACHED(); |
| verify_result->cert_status |= CERT_STATUS_INVALID; |
| return; |
| } |
| |
| scoped_refptr<X509Certificate> verified_cert_with_chain = |
| x509_util::CreateX509CertificateFromSecCertificate(verified_cert, |
| verified_chain); |
| if (verified_cert_with_chain) |
| verify_result->verified_cert = std::move(verified_cert_with_chain); |
| else |
| verify_result->cert_status |= CERT_STATUS_INVALID; |
| } |
| |
| // Returns true if the certificate uses MD2, MD4, MD5, or SHA1, and false |
| // otherwise. A return of false also includes the case where the signature |
| // algorithm couldn't be conclusively labeled as weak. |
| bool CertUsesWeakHash(SecCertificateRef cert_handle) { |
| x509_util::CSSMCachedCertificate cached_cert; |
| OSStatus status = cached_cert.Init(cert_handle); |
| if (status) |
| return false; |
| |
| x509_util::CSSMFieldValue signature_field; |
| status = |
| cached_cert.GetField(&CSSMOID_X509V1SignatureAlgorithm, &signature_field); |
| if (status || !signature_field.field()) |
| return false; |
| |
| const CSSM_X509_ALGORITHM_IDENTIFIER* sig_algorithm = |
| signature_field.GetAs<CSSM_X509_ALGORITHM_IDENTIFIER>(); |
| if (!sig_algorithm) |
| return false; |
| |
| const CSSM_OID* alg_oid = &sig_algorithm->algorithm; |
| |
| return (x509_util::CSSMOIDEqual(alg_oid, &CSSMOID_MD2WithRSA) || |
| x509_util::CSSMOIDEqual(alg_oid, &CSSMOID_MD4WithRSA) || |
| x509_util::CSSMOIDEqual(alg_oid, &CSSMOID_MD5WithRSA) || |
| x509_util::CSSMOIDEqual(alg_oid, &CSSMOID_SHA1WithRSA) || |
| x509_util::CSSMOIDEqual(alg_oid, &CSSMOID_SHA1WithRSA_OIW) || |
| x509_util::CSSMOIDEqual(alg_oid, &CSSMOID_SHA1WithDSA) || |
| x509_util::CSSMOIDEqual(alg_oid, &CSSMOID_SHA1WithDSA_CMS) || |
| x509_util::CSSMOIDEqual(alg_oid, &CSSMOID_SHA1WithDSA_JDK) || |
| x509_util::CSSMOIDEqual(alg_oid, &CSSMOID_ECDSA_WithSHA1)); |
| } |
| |
| // Returns true if the intermediates (excluding trusted certificates) use a |
| // weak hashing algorithm, but the target does not use a weak hash. |
| bool IsWeakChainBasedOnHashingAlgorithms( |
| CFArrayRef cert_chain, |
| CSSM_TP_APPLE_EVIDENCE_INFO* chain_info) { |
| DCHECK_LT(0, CFArrayGetCount(cert_chain)); |
| |
| bool intermediates_contain_weak_hash = false; |
| bool leaf_uses_weak_hash = false; |
| |
| for (CFIndex i = 0, count = CFArrayGetCount(cert_chain); i < count; ++i) { |
| SecCertificateRef chain_cert = reinterpret_cast<SecCertificateRef>( |
| const_cast<void*>(CFArrayGetValueAtIndex(cert_chain, i))); |
| |
| if ((chain_info[i].StatusBits & CSSM_CERT_STATUS_IS_IN_ANCHORS) || |
| (chain_info[i].StatusBits & CSSM_CERT_STATUS_IS_ROOT)) { |
| // The current certificate is either in the user's trusted store or is |
| // a root (self-signed) certificate. Ignore the signature algorithm for |
| // these certificates, as it is meaningless for security. We allow |
| // self-signed certificates (i == 0 & IS_ROOT), since we accept that |
| // any security assertions by such a cert are inherently meaningless. |
| continue; |
| } |
| |
| if (CertUsesWeakHash(chain_cert)) { |
| if (i == 0) { |
| leaf_uses_weak_hash = true; |
| } else { |
| intermediates_contain_weak_hash = true; |
| } |
| } |
| } |
| |
| return !leaf_uses_weak_hash && intermediates_contain_weak_hash; |
| } |
| |
| // Checks if |*cert| has a Certificate Policies extension containing either |
| // of |ev_policy_oid| or anyPolicy. |
| bool HasPolicyOrAnyPolicy(const ParsedCertificate* cert, |
| const der::Input& ev_policy_oid) { |
| if (!cert->has_policy_oids()) |
| return false; |
| |
| for (const der::Input& policy_oid : cert->policy_oids()) { |
| if (policy_oid == ev_policy_oid || policy_oid == AnyPolicy()) |
| return true; |
| } |
| return false; |
| } |
| |
| // Looks for known EV policy OIDs in |cert_input|, if one is found it will be |
| // stored in |*ev_policy_oid| as a DER-encoded OID value (no tag or length). |
| void GetCandidateEVPolicy(const X509Certificate* cert_input, |
| std::string* ev_policy_oid) { |
| ev_policy_oid->clear(); |
| |
| scoped_refptr<ParsedCertificate> cert(ParsedCertificate::Create( |
| bssl::UpRef(cert_input->cert_buffer()), {}, nullptr)); |
| if (!cert) |
| return; |
| |
| if (!cert->has_policy_oids()) |
| return; |
| |
| EVRootCAMetadata* metadata = EVRootCAMetadata::GetInstance(); |
| for (const der::Input& policy_oid : cert->policy_oids()) { |
| if (metadata->IsEVPolicyOID(policy_oid)) { |
| *ev_policy_oid = policy_oid.AsString(); |
| |
| // De-prioritize the CA/Browser forum Extended Validation policy |
| // (2.23.140.1.1). See crbug.com/705285. |
| if (!EVRootCAMetadata::IsCaBrowserForumEvOid(policy_oid)) |
| break; |
| } |
| } |
| } |
| |
| // Checks that the certificate chain of |cert| has policies consistent with |
| // |ev_policy_oid_string|. The leaf is not checked, as it is assumed that is |
| // where the policy came from. |
| bool CheckCertChainEV(const X509Certificate* cert, |
| const std::string& ev_policy_oid_string) { |
| der::Input ev_policy_oid(&ev_policy_oid_string); |
| const std::vector<bssl::UniquePtr<CRYPTO_BUFFER>>& cert_chain = |
| cert->intermediate_buffers(); |
| |
| // Root should have matching policy in EVRootCAMetadata. |
| if (cert_chain.empty()) |
| return false; |
| SHA256HashValue fingerprint = |
| X509Certificate::CalculateFingerprint256(cert_chain.back().get()); |
| EVRootCAMetadata* metadata = EVRootCAMetadata::GetInstance(); |
| if (!metadata->HasEVPolicyOID(fingerprint, ev_policy_oid)) |
| return false; |
| |
| // Intermediates should have Certificate Policies extension with the EV policy |
| // or AnyPolicy. |
| for (size_t i = 0; i < cert_chain.size() - 1; ++i) { |
| scoped_refptr<ParsedCertificate> intermediate_cert( |
| ParsedCertificate::Create(bssl::UpRef(cert_chain[i].get()), {}, |
| nullptr)); |
| if (!intermediate_cert) |
| return false; |
| if (!HasPolicyOrAnyPolicy(intermediate_cert.get(), ev_policy_oid)) |
| return false; |
| } |
| |
| return true; |
| } |
| |
| void AppendPublicKeyHashesAndUpdateKnownRoot(CFArrayRef chain, |
| HashValueVector* hashes, |
| bool* known_root) { |
| // Walk the chain in reverse, to optimize for IsKnownRoot checks. |
| for (CFIndex i = CFArrayGetCount(chain); i > 0; i--) { |
| SecCertificateRef cert = reinterpret_cast<SecCertificateRef>( |
| const_cast<void*>(CFArrayGetValueAtIndex(chain, i - 1))); |
| |
| CSSM_DATA cert_data; |
| OSStatus err = SecCertificateGetData(cert, &cert_data); |
| DCHECK_EQ(err, noErr); |
| base::StringPiece der_bytes(reinterpret_cast<const char*>(cert_data.Data), |
| cert_data.Length); |
| base::StringPiece spki_bytes; |
| if (!asn1::ExtractSPKIFromDERCert(der_bytes, &spki_bytes)) |
| continue; |
| |
| HashValue sha256(HASH_VALUE_SHA256); |
| CC_SHA256(spki_bytes.data(), spki_bytes.size(), sha256.data()); |
| hashes->push_back(sha256); |
| |
| if (!*known_root) { |
| *known_root = |
| GetNetTrustAnchorHistogramIdForSPKI(sha256) != 0 || IsKnownRoot(cert); |
| } |
| } |
| // Reverse the hash array, to maintain the leaf-first ordering. |
| std::reverse(hashes->begin(), hashes->end()); |
| } |
| |
| enum CRLSetResult { |
| kCRLSetOk, |
| kCRLSetRevoked, |
| kCRLSetUnknown, |
| }; |
| |
| // CheckRevocationWithCRLSet attempts to check each element of |cert_list| |
| // against |crl_set|. It returns: |
| // kCRLSetRevoked: if any element of the chain is known to have been revoked. |
| // kCRLSetUnknown: if there is no fresh information about the leaf |
| // certificate in the chain or if the CRLSet has expired. |
| // |
| // Only the leaf certificate is considered for coverage because some |
| // intermediates have CRLs with no revocations (after filtering) and |
| // those CRLs are pruned from the CRLSet at generation time. This means |
| // that some EV sites would otherwise take the hit of an OCSP lookup for |
| // no reason. |
| // kCRLSetOk: otherwise. |
| CRLSetResult CheckRevocationWithCRLSet(CFArrayRef chain, CRLSet* crl_set) { |
| if (CFArrayGetCount(chain) == 0) |
| return kCRLSetOk; |
| |
| // error is set to true if any errors are found. It causes such chains to be |
| // considered as not covered. |
| bool error = false; |
| // last_covered is set to the coverage state of the previous certificate. The |
| // certificates are iterated over backwards thus, after the iteration, |
| // |last_covered| contains the coverage state of the leaf certificate. |
| bool last_covered = false; |
| |
| // We iterate from the root certificate down to the leaf, keeping track of |
| // the issuer's SPKI at each step. |
| std::string issuer_spki_hash; |
| for (CFIndex i = CFArrayGetCount(chain); i > 0; i--) { |
| SecCertificateRef cert = reinterpret_cast<SecCertificateRef>( |
| const_cast<void*>(CFArrayGetValueAtIndex(chain, i - 1))); |
| |
| CSSM_DATA cert_data; |
| OSStatus err = SecCertificateGetData(cert, &cert_data); |
| if (err != noErr) { |
| NOTREACHED(); |
| error = true; |
| continue; |
| } |
| base::StringPiece der_bytes(reinterpret_cast<const char*>(cert_data.Data), |
| cert_data.Length); |
| base::StringPiece spki, subject; |
| if (!asn1::ExtractSPKIFromDERCert(der_bytes, &spki) || |
| !asn1::ExtractSubjectFromDERCert(der_bytes, &subject)) { |
| NOTREACHED(); |
| error = true; |
| continue; |
| } |
| |
| const std::string spki_hash = crypto::SHA256HashString(spki); |
| x509_util::CSSMCachedCertificate cached_cert; |
| if (cached_cert.Init(cert) != CSSM_OK) { |
| NOTREACHED(); |
| error = true; |
| continue; |
| } |
| x509_util::CSSMFieldValue serial_number; |
| err = cached_cert.GetField(&CSSMOID_X509V1SerialNumber, &serial_number); |
| if (err || !serial_number.field()) { |
| NOTREACHED(); |
| error = true; |
| continue; |
| } |
| |
| base::StringPiece serial( |
| reinterpret_cast<const char*>(serial_number.field()->Data), |
| serial_number.field()->Length); |
| |
| CRLSet::Result result = crl_set->CheckSPKI(spki_hash); |
| |
| if (result != CRLSet::REVOKED) |
| result = crl_set->CheckSubject(subject, spki_hash); |
| if (result != CRLSet::REVOKED && !issuer_spki_hash.empty()) |
| result = crl_set->CheckSerial(serial, issuer_spki_hash); |
| |
| issuer_spki_hash = spki_hash; |
| |
| switch (result) { |
| case CRLSet::REVOKED: |
| return kCRLSetRevoked; |
| case CRLSet::UNKNOWN: |
| last_covered = false; |
| continue; |
| case CRLSet::GOOD: |
| last_covered = true; |
| continue; |
| default: |
| NOTREACHED(); |
| error = true; |
| continue; |
| } |
| } |
| |
| if (error || !last_covered || crl_set->IsExpired()) |
| return kCRLSetUnknown; |
| return kCRLSetOk; |
| } |
| |
| // Builds and evaluates a SecTrustRef for the certificate chain contained |
| // in |cert_array|, using the verification policies in |trust_policies|. On |
| // success, returns OK, and updates |trust_ref|, |trust_result|, |
| // |verified_chain|, and |chain_info| with the verification results. On |
| // failure, no output parameters are modified. |
| // |
| // Note: An OK return does not mean that |cert_array| is trusted, merely that |
| // verification was performed successfully. |
| // |
| // This function should only be called while the Mac Security Services lock is |
| // held. |
| int BuildAndEvaluateSecTrustRef(CFArrayRef cert_array, |
| CFArrayRef trust_policies, |
| int flags, |
| CFArrayRef keychain_search_list, |
| ScopedCFTypeRef<SecTrustRef>* trust_ref, |
| SecTrustResultType* trust_result, |
| ScopedCFTypeRef<CFArrayRef>* verified_chain, |
| CSSM_TP_APPLE_EVIDENCE_INFO** chain_info) { |
| SecTrustRef tmp_trust = NULL; |
| OSStatus status = SecTrustCreateWithCertificates(cert_array, trust_policies, |
| &tmp_trust); |
| if (status) |
| return NetErrorFromOSStatus(status); |
| ScopedCFTypeRef<SecTrustRef> scoped_tmp_trust(tmp_trust); |
| |
| if (TestRootCerts::HasInstance()) { |
| status = TestRootCerts::GetInstance()->FixupSecTrustRef(tmp_trust); |
| if (status) |
| return NetErrorFromOSStatus(status); |
| } |
| |
| if (keychain_search_list) { |
| status = SecTrustSetKeychains(tmp_trust, keychain_search_list); |
| if (status) |
| return NetErrorFromOSStatus(status); |
| } |
| |
| CSSM_APPLE_TP_ACTION_DATA tp_action_data; |
| memset(&tp_action_data, 0, sizeof(tp_action_data)); |
| tp_action_data.Version = CSSM_APPLE_TP_ACTION_VERSION; |
| // Allow CSSM to download any missing intermediate certificates if an |
| // authorityInfoAccess extension or issuerAltName extension is present. |
| tp_action_data.ActionFlags = CSSM_TP_ACTION_FETCH_CERT_FROM_NET | |
| CSSM_TP_ACTION_TRUST_SETTINGS; |
| |
| // Note: For EV certificates, the Apple TP will handle setting these flags |
| // as part of EV evaluation. |
| if (flags & CertVerifyProc::VERIFY_REV_CHECKING_ENABLED) { |
| // Require a positive result from an OCSP responder or a CRL (or both) |
| // for every certificate in the chain. The Apple TP automatically |
| // excludes the self-signed root from this requirement. If a certificate |
| // is missing both a crlDistributionPoints extension and an |
| // authorityInfoAccess extension with an OCSP responder URL, then we |
| // will get a kSecTrustResultRecoverableTrustFailure back from |
| // SecTrustEvaluate(), with a |
| // CSSMERR_APPLETP_INCOMPLETE_REVOCATION_CHECK error code. In that case, |
| // we'll set our own result to include |
| // CERT_STATUS_NO_REVOCATION_MECHANISM. If one or both extensions are |
| // present, and a check fails (server unavailable, OCSP retry later, |
| // signature mismatch), then we'll set our own result to include |
| // CERT_STATUS_UNABLE_TO_CHECK_REVOCATION. |
| tp_action_data.ActionFlags |= CSSM_TP_ACTION_REQUIRE_REV_PER_CERT; |
| |
| // Note, even if revocation checking is disabled, SecTrustEvaluate() will |
| // modify the OCSP options so as to attempt OCSP checking if it believes a |
| // certificate may chain to an EV root. However, because network fetches |
| // are disabled in CreateTrustPolicies() when revocation checking is |
| // disabled, these will only go against the local cache. |
| } |
| |
| CFDataRef action_data_ref = |
| CFDataCreateWithBytesNoCopy(kCFAllocatorDefault, |
| reinterpret_cast<UInt8*>(&tp_action_data), |
| sizeof(tp_action_data), kCFAllocatorNull); |
| if (!action_data_ref) |
| return ERR_OUT_OF_MEMORY; |
| ScopedCFTypeRef<CFDataRef> scoped_action_data_ref(action_data_ref); |
| status = SecTrustSetParameters(tmp_trust, CSSM_TP_ACTION_DEFAULT, |
| action_data_ref); |
| if (status) |
| return NetErrorFromOSStatus(status); |
| |
| // Verify the certificate. A non-zero result from SecTrustGetResult() |
| // indicates that some fatal error occurred and the chain couldn't be |
| // processed, not that the chain contains no errors. We need to examine the |
| // output of SecTrustGetResult() to determine that. |
| SecTrustResultType tmp_trust_result; |
| status = SecTrustEvaluate(tmp_trust, &tmp_trust_result); |
| if (status) |
| return NetErrorFromOSStatus(status); |
| CFArrayRef tmp_verified_chain = NULL; |
| CSSM_TP_APPLE_EVIDENCE_INFO* tmp_chain_info; |
| status = SecTrustGetResult(tmp_trust, &tmp_trust_result, &tmp_verified_chain, |
| &tmp_chain_info); |
| if (status) |
| return NetErrorFromOSStatus(status); |
| |
| trust_ref->swap(scoped_tmp_trust); |
| *trust_result = tmp_trust_result; |
| verified_chain->reset(tmp_verified_chain); |
| *chain_info = tmp_chain_info; |
| |
| return OK; |
| } |
| |
| // Runs path building & verification loop for |cert|, given |flags|. This is |
| // split into a separate function so verification can be repeated with different |
| // flags. This function does not handle EV. |
| int VerifyWithGivenFlags(X509Certificate* cert, |
| const std::string& hostname, |
| const int flags, |
| CRLSet* crl_set, |
| CertVerifyResult* verify_result, |
| CRLSetResult* completed_chain_crl_result) { |
| ScopedCFTypeRef<CFArrayRef> trust_policies; |
| OSStatus status = CreateTrustPolicies(flags, &trust_policies); |
| if (status) |
| return NetErrorFromOSStatus(status); |
| |
| *completed_chain_crl_result = kCRLSetUnknown; |
| |
| // Serialize all calls that may use the Keychain, to work around various |
| // issues in OS X 10.6+ with multi-threaded access to Security.framework. |
| base::AutoLock lock(crypto::GetMacSecurityServicesLock()); |
| |
| ScopedCFTypeRef<SecTrustRef> trust_ref; |
| SecTrustResultType trust_result = kSecTrustResultDeny; |
| ScopedCFTypeRef<CFArrayRef> completed_chain; |
| CSSM_TP_APPLE_EVIDENCE_INFO* chain_info = NULL; |
| bool candidate_untrusted = true; |
| bool candidate_weak = false; |
| |
| // OS X lacks proper path discovery; it will take the input certs and never |
| // backtrack the graph attempting to discover valid paths. |
| // This can create issues in some situations: |
| // - When OS X changes the trust store, there may be a chain |
| // A -> B -> C -> D |
| // where OS X trusts D (on some versions) and trusts C (on some versions). |
| // If a server supplies a chain A, B, C (cross-signed by D), then this chain |
| // will successfully validate on systems that trust D, but fail for systems |
| // that trust C. If the server supplies a chain of A -> B, then it forces |
| // all clients to fetch C (via AIA) if they trust D, and not all clients |
| // (notably, Firefox and Android) will do this, thus breaking them. |
| // An example of this is the Verizon Business Services root - GTE CyberTrust |
| // and Baltimore CyberTrust roots represent old and new roots that cause |
| // issues depending on which version of OS X being used. |
| // |
| // - A server may be (misconfigured) to send an expired intermediate |
| // certificate. On platforms with path discovery, the graph traversal |
| // will back up to immediately before this intermediate, and then |
| // attempt an AIA fetch or retrieval from local store. However, OS X |
| // does not do this, and thus prevents access. While this is ostensibly |
| // a server misconfiguration issue, the fact that it works on other |
| // platforms is a jarring inconsistency for users. |
| // |
| // - When OS X trusts both C and D (simultaneously), it's possible that the |
| // version of C signed by D is signed using a weak algorithm (e.g. SHA-1), |
| // while the version of C in the trust store's signature doesn't matter. |
| // Since a 'strong' chain exists, it would be desirable to prefer this |
| // chain. |
| // |
| // - A variant of the above example, it may be that the version of B sent by |
| // the server is signed using a weak algorithm, but the version of B |
| // present in the AIA of A is signed using a strong algorithm. Since a |
| // 'strong' chain exists, it would be desirable to prefer this chain. |
| // |
| // - A user keychain may contain a less desirable intermediate or root. |
| // OS X gives the user keychains higher priority than the system keychain, |
| // so it may build a weak chain. |
| // |
| // Because of this, the code below first attempts to validate the peer's |
| // identity using the supplied chain. If it is not trusted (e.g. the OS only |
| // trusts C, but the version of C signed by D was sent, and D is not trusted), |
| // or if it contains a weak chain, it will begin lopping off certificates |
| // from the end of the chain and attempting to verify. If a stronger, trusted |
| // chain is found, it is used, otherwise, the algorithm continues until only |
| // the peer's certificate remains. |
| // |
| // If the loop does not find a trusted chain, the loop will be repeated with |
| // the keychain search order altered to give priority to the System Roots |
| // keychain. |
| // |
| // This does cause a performance hit for these users, but only in cases where |
| // OS X is building weaker chains than desired, or when it would otherwise |
| // fail the connection. |
| for (bool try_reordered_keychain : {false, true}) { |
| ScopedCFTypeRef<CFArrayRef> scoped_alternate_keychain_search_list; |
| if (TestKeychainSearchList::HasInstance()) { |
| // Unit tests need to be able to hermetically simulate situations where a |
| // user has an undesirable certificate in a per-user keychain. |
| // Adding/Removing a Keychain using SecKeychainCreate/SecKeychainDelete |
| // has global side effects, which would break other tests and processes |
| // running on the same machine, so instead tests may load pre-created |
| // keychains using SecKeychainOpen and then inject them through |
| // TestKeychainSearchList. |
| CFArrayRef keychain_search_list; |
| status = TestKeychainSearchList::GetInstance()->CopySearchList( |
| &keychain_search_list); |
| if (status) |
| return NetErrorFromOSStatus(status); |
| scoped_alternate_keychain_search_list.reset(keychain_search_list); |
| } |
| if (try_reordered_keychain) { |
| // If a TestKeychainSearchList is present, it will have already set |
| // |scoped_alternate_keychain_search_list|, which will be used as the |
| // basis for reordering the keychain. Otherwise, get the current keychain |
| // search list and use that. |
| if (!scoped_alternate_keychain_search_list) { |
| CFArrayRef keychain_search_list; |
| status = SecKeychainCopySearchList(&keychain_search_list); |
| if (status) |
| return NetErrorFromOSStatus(status); |
| scoped_alternate_keychain_search_list.reset(keychain_search_list); |
| } |
| CFMutableArrayRef mutable_keychain_search_list = CFArrayCreateMutableCopy( |
| kCFAllocatorDefault, |
| CFArrayGetCount(scoped_alternate_keychain_search_list.get()) + 1, |
| scoped_alternate_keychain_search_list.get()); |
| if (!mutable_keychain_search_list) |
| return ERR_OUT_OF_MEMORY; |
| scoped_alternate_keychain_search_list.reset(mutable_keychain_search_list); |
| |
| SecKeychainRef keychain; |
| // Get a reference to the System Roots keychain. The System Roots |
| // keychain is not normally present in the keychain search list, but is |
| // implicitly checked after the keychains in the search list. By |
| // including it directly, force it to be checked first. This is a gross |
| // hack, but the path is known to be valid on OS X 10.9-10.11. |
| status = SecKeychainOpen( |
| "/System/Library/Keychains/SystemRootCertificates.keychain", |
| &keychain); |
| if (status) |
| return NetErrorFromOSStatus(status); |
| ScopedCFTypeRef<SecKeychainRef> scoped_keychain(keychain); |
| |
| CFArrayInsertValueAtIndex(mutable_keychain_search_list, 0, keychain); |
| } |
| |
| ScopedCFTypeRef<CFMutableArrayRef> cert_array( |
| x509_util::CreateSecCertificateArrayForX509Certificate( |
| cert, x509_util::InvalidIntermediateBehavior::kIgnore)); |
| if (!cert_array) { |
| verify_result->cert_status |= CERT_STATUS_INVALID; |
| return ERR_CERT_INVALID; |
| } |
| |
| // Beginning with the certificate chain as supplied by the server, attempt |
| // to verify the chain. If a failure is encountered, trim a certificate |
| // from the end (so long as one remains) and retry, in the hope of forcing |
| // OS X to find a better path. |
| while (CFArrayGetCount(cert_array) > 0) { |
| ScopedCFTypeRef<SecTrustRef> temp_ref; |
| SecTrustResultType temp_trust_result = kSecTrustResultDeny; |
| ScopedCFTypeRef<CFArrayRef> temp_chain; |
| CSSM_TP_APPLE_EVIDENCE_INFO* temp_chain_info = NULL; |
| |
| int rv = BuildAndEvaluateSecTrustRef( |
| cert_array, trust_policies, flags, |
| scoped_alternate_keychain_search_list.get(), &temp_ref, |
| &temp_trust_result, &temp_chain, &temp_chain_info); |
| if (rv != OK) |
| return rv; |
| |
| // Check to see if the path |temp_chain| has been revoked. This is less |
| // than ideal to perform after path building, rather than during, because |
| // there may be multiple paths to trust anchors, and only some of them |
| // are revoked. Ideally, CRLSets would be part of path building, which |
| // they are when using NSS (Linux) or CryptoAPI (Windows). |
| // |
| // The CRLSet checking is performed inside the loop in the hope that if a |
| // path is revoked, it's an older path, and the only reason it was built |
| // is because the server forced it (by supplying an older or less |
| // desirable intermediate) or because the user had installed a |
| // certificate in their Keychain forcing this path. However, this means |
| // its still possible for a CRLSet block of an intermediate to prevent |
| // access, even when there is a 'good' chain. To fully remedy this, a |
| // solution might be to have CRLSets contain enough knowledge about what |
| // the 'desired' path might be, but for the time being, the |
| // implementation is kept as 'simple' as it can be. |
| CRLSetResult crl_result = kCRLSetUnknown; |
| if (crl_set) |
| crl_result = CheckRevocationWithCRLSet(temp_chain, crl_set); |
| bool untrusted = (temp_trust_result != kSecTrustResultUnspecified && |
| temp_trust_result != kSecTrustResultProceed) || |
| crl_result == kCRLSetRevoked; |
| bool weak_chain = false; |
| if (CFArrayGetCount(temp_chain) == 0) { |
| // If the chain is empty, it cannot be trusted or have recoverable |
| // errors. |
| DCHECK(untrusted); |
| DCHECK_NE(kSecTrustResultRecoverableTrustFailure, temp_trust_result); |
| } else { |
| weak_chain = |
| IsWeakChainBasedOnHashingAlgorithms(temp_chain, temp_chain_info); |
| } |
| // Set the result to the current chain if: |
| // - This is the first verification attempt. This ensures that if |
| // everything is awful (e.g. it may just be an untrusted cert), that |
| // what is reported is exactly what was sent by the server |
| // - If the current chain is trusted, and the old chain was not trusted, |
| // then prefer this chain. This ensures that if there is at least a |
| // valid path to a trust anchor, it's preferred over reporting an error. |
| // - If the current chain is trusted, and the old chain is trusted, but |
| // the old chain contained weak algorithms while the current chain only |
| // contains strong algorithms, then prefer the current chain over the |
| // old chain. |
| // |
| // Note: If the leaf certificate itself is weak, then the only |
| // consideration is whether or not there is a trusted chain. That's |
| // because no amount of path discovery will fix a weak leaf. |
| if (!trust_ref || (!untrusted && (candidate_untrusted || |
| (candidate_weak && !weak_chain)))) { |
| trust_ref = temp_ref; |
| trust_result = temp_trust_result; |
| completed_chain = temp_chain; |
| *completed_chain_crl_result = crl_result; |
| chain_info = temp_chain_info; |
| |
| candidate_untrusted = untrusted; |
| candidate_weak = weak_chain; |
| } |
| // Short-circuit when a current, trusted chain is found. |
| if (!untrusted && !weak_chain) |
| break; |
| CFArrayRemoveValueAtIndex(cert_array, CFArrayGetCount(cert_array) - 1); |
| } |
| // Short-circuit when a current, trusted chain is found. |
| if (!candidate_untrusted && !candidate_weak) |
| break; |
| } |
| |
| if (flags & CertVerifyProc::VERIFY_REV_CHECKING_ENABLED) |
| verify_result->cert_status |= CERT_STATUS_REV_CHECKING_ENABLED; |
| |
| if (*completed_chain_crl_result == kCRLSetRevoked) |
| verify_result->cert_status |= CERT_STATUS_REVOKED; |
| |
| if (CFArrayGetCount(completed_chain) > 0) { |
| CopyCertChainToVerifyResult(completed_chain, verify_result); |
| } |
| |
| // As of Security Update 2012-002/OS X 10.7.4, when an RSA key < 1024 bits |
| // is encountered, CSSM returns CSSMERR_TP_VERIFY_ACTION_FAILED and adds |
| // CSSMERR_CSP_UNSUPPORTED_KEY_SIZE as a certificate status. Avoid mapping |
| // the CSSMERR_TP_VERIFY_ACTION_FAILED to CERT_STATUS_INVALID if the only |
| // error was due to an unsupported key size. |
| bool policy_failed = false; |
| bool policy_fail_already_mapped = false; |
| bool weak_key_or_signature_algorithm = false; |
| |
| // Evaluate the results |
| OSStatus cssm_result; |
| switch (trust_result) { |
| case kSecTrustResultUnspecified: |
| case kSecTrustResultProceed: |
| // Certificate chain is valid and trusted ("unspecified" indicates that |
| // the user has not explicitly set a trust setting) |
| break; |
| |
| // According to SecTrust.h, kSecTrustResultConfirm isn't returned on 10.5+, |
| // and it is marked deprecated in the 10.9 SDK. |
| case kSecTrustResultDeny: |
| // Certificate chain is explicitly untrusted. |
| verify_result->cert_status |= CERT_STATUS_AUTHORITY_INVALID; |
| break; |
| |
| case kSecTrustResultRecoverableTrustFailure: |
| // Certificate chain has a failure that can be overridden by the user. |
| status = SecTrustGetCssmResultCode(trust_ref, &cssm_result); |
| if (status) |
| return NetErrorFromOSStatus(status); |
| if (cssm_result == CSSMERR_TP_VERIFY_ACTION_FAILED) { |
| policy_failed = true; |
| } else { |
| verify_result->cert_status |= CertStatusFromOSStatus(cssm_result); |
| } |
| // Walk the chain of error codes in the CSSM_TP_APPLE_EVIDENCE_INFO |
| // structure which can catch multiple errors from each certificate. |
| for (CFIndex index = 0, chain_count = CFArrayGetCount(completed_chain); |
| index < chain_count; ++index) { |
| if (chain_info[index].StatusBits & CSSM_CERT_STATUS_EXPIRED || |
| chain_info[index].StatusBits & CSSM_CERT_STATUS_NOT_VALID_YET) |
| verify_result->cert_status |= CERT_STATUS_DATE_INVALID; |
| if (!IsCertStatusError(verify_result->cert_status) && |
| chain_info[index].NumStatusCodes == 0) { |
| LOG(WARNING) << "chain_info[" << index << "].NumStatusCodes is 0" |
| ", chain_info[" << index << "].StatusBits is " |
| << chain_info[index].StatusBits; |
| } |
| for (uint32_t status_code_index = 0; |
| status_code_index < chain_info[index].NumStatusCodes; |
| ++status_code_index) { |
| // As of OS X 10.9, attempting to verify a certificate chain that |
| // contains a weak signature algorithm (MD2, MD5) in an intermediate |
| // or leaf cert will be treated as a (recoverable) policy validation |
| // failure, with the status code CSSMERR_TP_INVALID_CERTIFICATE |
| // added to the Status Codes. Don't treat this code as an invalid |
| // certificate; instead, map it to a weak key. Any truly invalid |
| // certificates will have the major error (cssm_result) set to |
| // CSSMERR_TP_INVALID_CERTIFICATE, rather than |
| // CSSMERR_TP_VERIFY_ACTION_FAILED. |
| CertStatus mapped_status = 0; |
| if (policy_failed && |
| chain_info[index].StatusCodes[status_code_index] == |
| CSSMERR_TP_INVALID_CERTIFICATE) { |
| mapped_status = CERT_STATUS_WEAK_SIGNATURE_ALGORITHM; |
| weak_key_or_signature_algorithm = true; |
| policy_fail_already_mapped = true; |
| } else if (policy_failed && |
| (flags & CertVerifyProc::VERIFY_REV_CHECKING_ENABLED) && |
| chain_info[index].StatusCodes[status_code_index] == |
| CSSMERR_TP_VERIFY_ACTION_FAILED && |
| base::mac::IsOS10_12()) { |
| // On early versions of 10.12, using |
| // kSecRevocationRequirePositiveResponse flag causes a |
| // CSSMERR_TP_VERIFY_ACTION_FAILED status if revocation couldn't be |
| // checked. (Note: even if the cert had no crlDistributionPoints or |
| // OCSP AIA.) This isn't needed on later 10.12 versions, but it |
| // should be mostly harmless. |
| mapped_status = CERT_STATUS_UNABLE_TO_CHECK_REVOCATION; |
| policy_fail_already_mapped = true; |
| } else { |
| mapped_status = CertStatusFromOSStatus( |
| chain_info[index].StatusCodes[status_code_index]); |
| if (mapped_status == CERT_STATUS_WEAK_KEY) { |
| weak_key_or_signature_algorithm = true; |
| policy_fail_already_mapped = true; |
| } |
| } |
| verify_result->cert_status |= mapped_status; |
| } |
| } |
| if (policy_failed && !policy_fail_already_mapped) { |
| // If CSSMERR_TP_VERIFY_ACTION_FAILED wasn't returned due to a weak |
| // key or problem checking revocation, map it back to an appropriate |
| // error code. |
| verify_result->cert_status |= CertStatusFromOSStatus(cssm_result); |
| } |
| if (!IsCertStatusError(verify_result->cert_status)) { |
| LOG(ERROR) << "cssm_result=" << cssm_result; |
| verify_result->cert_status |= CERT_STATUS_INVALID; |
| NOTREACHED(); |
| } |
| break; |
| |
| default: |
| status = SecTrustGetCssmResultCode(trust_ref, &cssm_result); |
| if (status) |
| return NetErrorFromOSStatus(status); |
| verify_result->cert_status |= CertStatusFromOSStatus(cssm_result); |
| if (!IsCertStatusError(verify_result->cert_status)) { |
| LOG(WARNING) << "trust_result=" << trust_result; |
| verify_result->cert_status |= CERT_STATUS_INVALID; |
| } |
| break; |
| } |
| |
| // Hostname validation is handled by CertVerifyProc, so mask off any errors |
| // that SecTrustEvaluate may have set, as its results are not used. |
| verify_result->cert_status &= ~CERT_STATUS_COMMON_NAME_INVALID; |
| |
| // TODO(wtc): Suppress CERT_STATUS_NO_REVOCATION_MECHANISM for now to be |
| // compatible with Windows, which in turn implements this behavior to be |
| // compatible with WinHTTP, which doesn't report this error (bug 3004). |
| verify_result->cert_status &= ~CERT_STATUS_NO_REVOCATION_MECHANISM; |
| |
| AppendPublicKeyHashesAndUpdateKnownRoot( |
| completed_chain, &verify_result->public_key_hashes, |
| &verify_result->is_issued_by_known_root); |
| |
| if (IsCertStatusError(verify_result->cert_status)) |
| return MapCertStatusToNetError(verify_result->cert_status); |
| |
| return OK; |
| } |
| |
| } // namespace |
| |
| CertVerifyProcMac::CertVerifyProcMac() {} |
| |
| CertVerifyProcMac::~CertVerifyProcMac() {} |
| |
| bool CertVerifyProcMac::SupportsAdditionalTrustAnchors() const { |
| return false; |
| } |
| |
| int CertVerifyProcMac::VerifyInternal( |
| X509Certificate* cert, |
| const std::string& hostname, |
| const std::string& ocsp_response, |
| int flags, |
| CRLSet* crl_set, |
| const CertificateList& additional_trust_anchors, |
| CertVerifyResult* verify_result) { |
| // Save the input state of |*verify_result|, which may be needed to re-do |
| // verification with different flags. |
| const CertVerifyResult input_verify_result(*verify_result); |
| |
| // Check for EV policy in leaf cert. |
| std::string candidate_ev_policy_oid; |
| GetCandidateEVPolicy(cert, &candidate_ev_policy_oid); |
| |
| CRLSetResult completed_chain_crl_result; |
| int rv = VerifyWithGivenFlags(cert, hostname, flags, crl_set, verify_result, |
| &completed_chain_crl_result); |
| if (rv != OK) |
| return rv; |
| |
| if (!candidate_ev_policy_oid.empty() && |
| CheckCertChainEV(verify_result->verified_cert.get(), |
| candidate_ev_policy_oid)) { |
| // EV policies check out and the verification succeeded. See if revocation |
| // checking still needs to be done before it can be marked as EV. |
| if (completed_chain_crl_result == kCRLSetUnknown && |
| !(flags & VERIFY_REV_CHECKING_ENABLED)) { |
| // If this is an EV cert and it wasn't covered by CRLSets and revocation |
| // checking wasn't already on, try again with revocation forced on. |
| // |
| // Restore the input state of |*verify_result|, so that the |
| // re-verification starts with a clean slate. |
| *verify_result = input_verify_result; |
| int tmp_rv = |
| VerifyWithGivenFlags(verify_result->verified_cert.get(), hostname, |
| flags | VERIFY_REV_CHECKING_ENABLED, crl_set, |
| verify_result, &completed_chain_crl_result); |
| // If re-verification failed, return those results without setting EV |
| // status. |
| if (tmp_rv != OK) |
| return tmp_rv; |
| // Otherwise, fall through and add the EV status flag. |
| } |
| // EV cert and it was covered by CRLSets or revocation checking passed. |
| verify_result->cert_status |= CERT_STATUS_IS_EV; |
| } |
| |
| return OK; |
| } |
| |
| } // namespace net |
| |
| #pragma clang diagnostic pop // "-Wdeprecated-declarations" |