GitHub Security Advisory: GHSA-j2jg-fq62-7c3h
Package: gradio (PIP)
Severity: CRITICAL (CVSS 0.0)
CWE: CWE-178: Improper Handling of Case Sensitivity, CWE-285: Improper Authorization
Vulnerable versions: < 5.11.0
Patched in: 5.11.0

Summary: Gradio Blocked Path ACL Bypass Vulnerability

Details:
## Summary

Gradio's Access Control List (ACL) for file paths can be bypassed by altering the letter case of a blocked file or directory path. This vulnerability arises due to the lack of case normalization in the file path validation logic. On case-insensitive file systems, such as those used by Windows and macOS, this flaw enables attackers to circumvent security restrictions and access sensitive files that should be protected.

This issue can lead to unauthorized data access, exposing sensitive information and undermining the integrity of Gradio's security model. Given Gradio's popularity for building web applications, particularly in machine learning and AI, this vulnerability may pose a substantial threat if exploited in production environments.

## Affected Version

Gradio <= 5.6.0

## Impact

- **Unauthorized Access**: Sensitive files or directories specified in `blocked_paths` can be accessed by attackers.

- **Data Exposure**: Critical files, such as configuration files or user data, may be leaked.

- **Security Breach**: This can lead to broader application or system compromise if sensitive files contain credentials or API keys.

## Root Cause

The [`blocked_paths`](https://github.com/gradio-app/gradio/blob/main/gradio/blocks.py#L2310) parameter in Gradio block's initial configuration is designed to restrict user access to specific files or directories in the local file system. However, it does not account for case-insensitive operating systems, such as Windows and macOS. This oversight enables attackers to bypass ACL restrictions by changing the case of file paths.

Vulnerable snippet: 

```python
# https://github.com/gradio-app/gradio/blob/main/gradio/utils.py#L1500-L1517
def is_allowed_file(
    path: Path,
    blocked_paths: Sequence[str | Path],
    allowed_paths: Sequence[str | Path],
    created_paths: Sequence[str | Path],
) -> tuple[
    bool, Literal["in_blocklist", "allowed", "created", "not_created_or_allowed"]
]:
    in_blocklist = any(
        is_in_or_equal(path, blocked_path) for blocked_path in blocked_paths
    )
    if in_blocklist:
        return False, "in_blocklist"
    if any(is_in_or_equal(path, allowed_path) for allowed_path in allowed_paths):
        return True, "allowed"
    if any(is_in_or_equal(path, created_path) for created_path in created_paths):
        return True, "created"
    return False, "not_created_or_allowed"
```

Gradio relies on `is_in_or_equal` to determine if a file path is restricted. However, this logic fails to handle case variations in paths on case-insensitive file systems, leading to the bypass.

## Proof of Concept (PoC)

### Steps to Reproduce

- Deploy a Gradio demo app on a case-insensitive operating system (e.g., Windows or macOS).

  ```bash
  import gradio as gr
  def update(name):
      return f"Welcome to Gradio, {name}!"
  
  with gr.Blocks() as demo:
      gr.Markdown("Start typing below and then click **Run** to see the output.")
      with gr.Row():
          inp = gr.Tex