CodeQL documentation

Incomplete URL substring sanitization

ID: py/incomplete-url-substring-sanitization Kind: problem Security severity: 7.8 Severity: warning Precision: high Tags: - correctness - security - external/cwe/cwe-20 Query suites: - python-code-scanning.qls - python-security-extended.qls - python-security-and-quality.qls 

Click to see the query in the CodeQL repository

Sanitizing untrusted URLs is a common technique for preventing attacks such as request forgeries and malicious redirections. Usually, this is done by checking that the host of a URL is in a set of allowed hosts.

However, treating the URL as a string and checking if one of the allowed hosts is a substring of the URL is very prone to errors. Malicious URLs can bypass such security checks by embedding one of the allowed hosts in an unexpected location.

Even if the substring check is not used in a security-critical context, the incomplete check may still cause undesirable behaviors when the check succeeds accidentally.

Recommendation

Parse a URL before performing a check on its host value, and ensure that the check handles arbitrary subdomain sequences correctly.

Example

The following example code checks that a URL redirection will reach the example.com domain.

fromflaskimportFlask,request,redirectfromurllib.parseimporturlparseapp=Flask(__name__)# Not safe, as "evil-example.net/example.com" would be accepted@app.route('/some/path/bad1')defunsafe1(request):target=request.args.get('target','')if"example.com"intarget:returnredirect(target)# Not safe, as "benign-looking-prefix-example.com" would be accepted@app.route('/some/path/bad2')defunsafe2(request):target=request.args.get('target','')iftarget.endswith("example.com"):returnredirect(target)#Simplest and safest approach is to use an allowlist@app.route('/some/path/good1')defsafe1(request):allowlist=["example.com/home","example.com/login",]target=request.args.get('target','')iftargetinallowlist:returnredirect(target)#More complex example allowing sub-domains.@app.route('/some/path/good2')defsafe2(request):target=request.args.get('target','')host=urlparse(target).hostname#Note the '.' preceding example.comifhostandhost.endswith(".example.com"):returnredirect(target)

The first two examples show unsafe checks that are easily bypassed. In unsafe1 the attacker can simply add example.com anywhere in the url. For example, http://evil-example.net/example.com.

In unsafe2 the attacker must use a hostname ending in example.com, but that is easy to do. For example, http://benign-looking-prefix-example.com.

The second two examples show safe checks. In safe1, an allowlist is used. Although fairly inflexible, this is easy to get right and is most likely to be safe.

In safe2, urlparse is used to parse the URL, then the hostname is checked to make sure it ends with .example.com.

References

close