Ignore insecure parts of CSP in extensions and allow extension to load

extensions/common/csp_validator.cc

 // Copyright 2013 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 "extensions/common/csp_validator.h"
 
 #include <vector>
 
 #include "base/strings/string_split.h"
 #include "base/strings/string_tokenizer.h"
 #include "base/strings/string_util.h"
 #include "content/public/common/url_constants.h"
 #include "extensions/common/constants.h"
+#include "extensions/common/error_utils.h"
+#include "extensions/common/install_warning.h"
+#include "extensions/common/manifest_constants.h"
 #include "net/base/registry_controlled_domains/registry_controlled_domain.h"
 
 namespace extensions {
 
 namespace csp_validator {
 
 namespace {
 
 const char kDefaultSrc[] = "default-src";
 const char kScriptSrc[] = "script-src";
 const char kObjectSrc[] = "object-src";
+const char kObjectSrcDefaultDirective[] = "object-src 'self';";
+const char kScriptSrcDefaultDirective[] =
+    "script-src 'self' chrome-extension-resource:;";
 
 const char kSandboxDirectiveName[] = "sandbox";
 const char kAllowSameOriginToken[] = "allow-same-origin";
 const char kAllowTopNavigation[] = "allow-top-navigation";
 
 struct DirectiveStatus {
   explicit DirectiveStatus(const char* name)
-    : directive_name(name)
-    , seen_in_policy(false)
-    , is_secure(false) {
-  }
+      : directive_name(name), seen_in_policy(false) {}
 
   const char* directive_name;
   bool seen_in_policy;
-  bool is_secure;
 };
 
 // Returns whether |url| starts with |scheme_and_separator| and does not have a
 // too permissive wildcard host name. If |should_check_rcd| is true, then the
 // Public suffix list is used to exclude wildcard TLDs such as "https://*.org".
 bool isNonWildcardTLD(const std::string& url,
                       const std::string& scheme_and_separator,
                       bool should_check_rcd) {
   if (!StartsWithASCII(url, scheme_and_separator, true))
     return false;
 
   size_t start_of_host = scheme_and_separator.length();
 
   size_t end_of_host = url.find("/", start_of_host);
   if (end_of_host == std::string::npos)
     end_of_host = url.size();
 
-  // A missing host such as "chrome-extension://" is invalid, but for backwards-
-  // compatibility, accept such CSP parts. They will be ignored by Blink anyway.
-  // TODO(robwu): Remove this special case once crbug.com/434773 is fixed.
-  if (start_of_host == end_of_host)
-    return true;
-
   // Note: It is sufficient to only compare the first character against '*'
   // because the CSP only allows wildcards at the start of a directive, see
   // host-source and host-part at http://www.w3.org/TR/CSP2/#source-list-syntax
   bool is_wildcard_subdomain = end_of_host > start_of_host + 2 &&
       url[start_of_host] == '*' && url[start_of_host + 1] == '.';
   if (is_wildcard_subdomain)
     start_of_host += 2;
 
   size_t start_of_port = url.rfind(":", end_of_host);
   // The ":" check at the end of the following condition is used to avoid
@@ skipping 26 matching lines @@
     return true;
 
   // Wildcards on subdomains of a TLD are not allowed.
   size_t registry_length = net::registry_controlled_domains::GetRegistryLength(
       host,
       net::registry_controlled_domains::INCLUDE_UNKNOWN_REGISTRIES,
       net::registry_controlled_domains::INCLUDE_PRIVATE_REGISTRIES);
   return registry_length != 0;
 }
 
-bool HasOnlySecureTokens(base::StringTokenizer& tokenizer,
-                         Manifest::Type type) {
+void GetSecureDirectiveValues(const std::string& directive_name,
+                              base::StringTokenizer& tokenizer,
+                              Manifest::Type type,
+                              std::vector<std::string>& csp_parts,
+                              std::vector<std::string>* csp_warnings) {
+  csp_parts.push_back(directive_name);
   while (tokenizer.GetNext()) {
     std::string source = tokenizer.token();
     base::StringToLowerASCII(&source);
 
     // We might need to relax this whitelist over time.
     if (source == "'self'" ||
         source == "'none'" ||
         source == "http://127.0.0.1" ||
         LowerCaseEqualsASCII(source, "blob:") ||
         LowerCaseEqualsASCII(source, "filesystem:") ||
         LowerCaseEqualsASCII(source, "http://localhost") ||
         StartsWithASCII(source, "http://127.0.0.1:", true) ||
         StartsWithASCII(source, "http://localhost:", true) ||
         isNonWildcardTLD(source, "https://", true) ||
         isNonWildcardTLD(source, "chrome://", false) ||
         isNonWildcardTLD(source,
                          std::string(extensions::kExtensionScheme) +
                          url::kStandardSchemeSeparator,
                          false) ||
         StartsWithASCII(source, "chrome-extension-resource:", true)) {
+      csp_parts.push_back(source);
       continue;
     }
 
     // crbug.com/146487
     if (type == Manifest::TYPE_EXTENSION ||
         type == Manifest::TYPE_LEGACY_PACKAGED_APP) {
-      if (source == "'unsafe-eval'")
+      if (source == "'unsafe-eval'") {
+        csp_parts.push_back(source);
         continue;
+      }
     }
-
-    return false;
+    if (csp_warnings) {
+      csp_warnings->push_back(ErrorUtils::FormatErrorMessage(
+          manifest_errors::kInvalidCSPInsecureValue, source, directive_name));
+    }
   }
-
-  return true;  // Empty values default to 'none', which is secure.
+  // End of CSP directive that was started at the beginning of this method. If
+  // none of the values are secure, the policy will be empty and default to
+  // 'none', which is secure.
+  csp_parts.back() += ";";

[Mike West, 2014/11/24 11:37:19]

Assigning to the result of a method call is iffy. Does `push_back(';')` not do
what you need?

[robwu, 2014/11/24 12:19:47]

Done.

 }
 
 // Returns true if |directive_name| matches |status.directive_name|.
 bool UpdateStatus(const std::string& directive_name,
                   base::StringTokenizer& tokenizer,
                   DirectiveStatus* status,
-                  Manifest::Type type) {
-  if (status->seen_in_policy)
-    return false;
+                  Manifest::Type type,
+                  std::vector<std::string>& csp_parts,
+                  std::vector<std::string>* csp_warnings) {
   if (directive_name != status->directive_name)
     return false;
-  status->seen_in_policy = true;
-  status->is_secure = HasOnlySecureTokens(tokenizer, type);
+
+  if (!status->seen_in_policy) {
+    status->seen_in_policy = true;
+    GetSecureDirectiveValues(directive_name, tokenizer, type, csp_parts,
+                             csp_warnings);
+  } else {
+    // Don't show any errors for duplicate CSP directives, because it will be
+    // ignored by the CSP parser (http://www.w3.org/TR/CSP2/#policy-parsing).
+    GetSecureDirectiveValues(directive_name, tokenizer, type, csp_parts, NULL);
+  }
   return true;
 }
 
 }  //  namespace
 
 bool ContentSecurityPolicyIsLegal(const std::string& policy) {
   // We block these characters to prevent HTTP header injection when
   // representing the content security policy as an HTTP header.
   const char kBadChars[] = {',', '\r', '\n', '\0'};
 
   return policy.find_first_of(kBadChars, 0, arraysize(kBadChars)) ==
       std::string::npos;
 }
 
 bool ContentSecurityPolicyIsSecure(const std::string& policy,
-                                   Manifest::Type type) {
+                                   Manifest::Type type,
+                                   std::string* sanitized_csp,
+                                   std::vector<InstallWarning>* warnings) {
   // See http://www.w3.org/TR/CSP/#parse-a-csp-policy for parsing algorithm.
   std::vector<std::string> directives;
   base::SplitString(policy, ';', &directives);
 
   DirectiveStatus default_src_status(kDefaultSrc);
   DirectiveStatus script_src_status(kScriptSrc);
   DirectiveStatus object_src_status(kObjectSrc);
 
+  std::vector<std::string> csp_parts;
+  std::vector<std::string> csp_warnings;
+  std::vector<std::string> default_src_csp_warnings;
   for (size_t i = 0; i < directives.size(); ++i) {
     std::string& input = directives[i];
     base::StringTokenizer tokenizer(input, " \t\r\n");
     if (!tokenizer.GetNext())
       continue;
 
     std::string directive_name = tokenizer.token();
     base::StringToLowerASCII(&directive_name);
 
-    if (UpdateStatus(directive_name, tokenizer, &default_src_status, type))
+    if (UpdateStatus(directive_name, tokenizer, &default_src_status, type,
+                     csp_parts, &default_src_csp_warnings))
       continue;
-    if (UpdateStatus(directive_name, tokenizer, &script_src_status, type))
+    if (UpdateStatus(directive_name, tokenizer, &script_src_status, type,
+                     csp_parts, &csp_warnings))
       continue;
-    if (UpdateStatus(directive_name, tokenizer, &object_src_status, type))
+    if (UpdateStatus(directive_name, tokenizer, &object_src_status, type,
+                     csp_parts, &csp_warnings))
       continue;
+
+    // Pass the other CSP directives as-is without further validation.
+    csp_parts.push_back(input + ";");
   }
 
-  if (script_src_status.seen_in_policy && !script_src_status.is_secure)
-    return false;
-
-  if (object_src_status.seen_in_policy && !object_src_status.is_secure)
-    return false;
-
-  if (default_src_status.seen_in_policy && !default_src_status.is_secure) {
-    return script_src_status.seen_in_policy &&
-           object_src_status.seen_in_policy;
+  if (default_src_status.seen_in_policy) {
+    if (!script_src_status.seen_in_policy ||
+        !object_src_status.seen_in_policy) {
+      // Insecure values in default-src are only relevant if either script-src
+      // or object-src is omitted.
+      std::move(default_src_csp_warnings.begin(),

[Mike West, 2014/11/24 11:37:19]

We can't use `std::move` or `std::back_inserter` yet. See the "library features"
section at the bottom of https://chromium-cpp.appspot.com/.

[robwu, 2014/11/24 12:19:47]

Done. Replaced with insert.

+                default_src_csp_warnings.end(),
+                std::back_inserter(csp_warnings));

[Mike West, 2014/11/24 11:37:19]

Don't you also need to inject the default `script-src` and `object-src` bits?

[robwu, 2014/11/24 12:19:47]

No, they are inferred from default-src.

+    }

[Mike West, 2014/11/24 11:37:19]

I don't see whether you're verifying that the `default-src` is secure...

[robwu, 2014/11/24 12:19:46]

GetSecureDirectiveValues (via UpdateStatus) ensures that all output values are
secure. If a directive is set but none of the values are secure, then the
directive would be empty ("default-src;") which is equivalent to "default-src
'none';", which is secure (see comment at line 148).

+  } else {
+    if (!script_src_status.seen_in_policy) {
+      csp_parts.push_back(kScriptSrcDefaultDirective);
+      csp_warnings.push_back(ErrorUtils::FormatErrorMessage(
+          manifest_errors::kInvalidCSPMissingSecureSrc, kScriptSrc));
+    }
+    if (!object_src_status.seen_in_policy) {
+      csp_parts.push_back(kObjectSrcDefaultDirective);
+      csp_warnings.push_back(ErrorUtils::FormatErrorMessage(
+          manifest_errors::kInvalidCSPMissingSecureSrc, kObjectSrc));
+    }
   }
 
-  return default_src_status.seen_in_policy ||
-      (script_src_status.seen_in_policy && object_src_status.seen_in_policy);
+  if (sanitized_csp)
+    *sanitized_csp = JoinString(csp_parts, ' ');
+  if (csp_warnings.empty())
+    return true;
+
+  if (warnings) {
+    for (std::vector<std::string>::iterator it = csp_warnings.begin();

[Mike West, 2014/11/24 11:37:19]

You can use a C++11 for loop and 'auto' here for clarity.

[robwu, 2014/11/24 12:19:47]

Done.

+         it != csp_warnings.end(); ++it) {
+      warnings->push_back(
+          InstallWarning(*it, manifest_keys::kContentSecurityPolicy));
+    }
+  }
+  return false;
 }
 
 bool ContentSecurityPolicyIsSandboxed(
     const std::string& policy, Manifest::Type type) {
   // See http://www.w3.org/TR/CSP/#parse-a-csp-policy for parsing algorithm.
   std::vector<std::string> directives;
   base::SplitString(policy, ';', &directives);
 
   bool seen_sandbox = false;
 
@@ skipping 26 matching lines @@
       }
     }
   }
 
   return seen_sandbox;
 }
 
 }  // namespace csp_validator
 
 }  // namespace extensions