Brazilian CEP (Código de Endereçamento Postal) Regex for Python

What this pattern does

This page provides a lightweight, single-purpose regular expression for matching brazilian cep (código de endereçamento postal), ported and verified for Python. A rigorously tested regex reduces debugging time and protects your application from edge-case failures. The snippet below is ready to drop into your Python project — whether you're validating in a Django view, a FastAPI endpoint, or a standalone data processing script.

Python Implementation

# Brazilian CEP (Código de Endereçamento Postal)
# ReDoS-safe | RegexVault — Localization > Postal Codes

import re

brazilian_cep_cdigo_de_endereamento_postal_pattern = re.compile(r'^([0-9]{5})-?([0-9]{3})$')

def validate_brazilian_cep_cdigo_de_endereamento_postal(value: str) -> bool:
    return bool(brazilian_cep_cdigo_de_endereamento_postal_pattern.fullmatch(value))

# Example
print(validate_brazilian_cep_cdigo_de_endereamento_postal("01310-100"))  # True

Test Cases

When to use this pattern

This pattern is drawn from the Localization > Postal Codes category and carries a ReDoS-safe certification. That matters for Python developers because particularly important in Python web servers where CPU-bound regex operations can stall concurrent request handling. RegexVault audits patterns against known backtracking attack vectors, ensuring you have the necessary context before using this regex in a high-stakes production environment.

Common Pitfalls

Technical Notes

Capture group 1: region+district (5 digits), group 2: sector (3 digits). Brazilian CEP ranges: 01000-09999 (São Paulo capital), 20000-28999 (Rio de Janeiro state), 70000-72799 (Brasília). Correios provides the authoritative database.