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

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 Java. A rigorously tested regex reduces debugging time and protects your application from edge-case failures. The snippet below is ready to drop into your Java project — whether you're validating in a Spring Boot controller, a Jakarta EE service, or a standalone utility class.

Java Implementation

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

import java.util.regex.Pattern;

public class BrazilianCepCdigoDeEndereamentoPostalValidator {
    private static final Pattern PATTERN =
        Pattern.compile("^([0-9]{5})-?([0-9]{3})$");

    public static boolean validate(String input) {
        return PATTERN.matcher(input).matches();
    }

    // Example
    public static void main(String[] args) {
        System.out.println(validate("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 Java developers because critical in Java applications since the JVM regex engine uses backtracking and is susceptible to ReDoS without careful pattern design. 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.