Probador de expresiones regulares

Una expresión regular es genuinamente difícil de rastrear mentalmente contra texto real — un patrón como `(\d{3})-(\d{2})-(\d{4})` es lo bastante legible como descripción abstracta, pero confirmar que coincide exactamente con las subcadenas previstas, y solo esas, contra un bloque específico de texto de muestra es un tipo de comprobación distinto a leer el patrón y razonar sobre él. Resaltar cada coincidencia directamente en el texto de muestra mientras se escribe el patrón convierte ese razonamiento abstracto en una confirmación visual concreta e inmediata — las coincidencias aparecen donde se esperaba o no aparecen, sin necesidad de simulación mental.

Esto se vuelve especialmente valioso para cualquier cosa que use lookahead, lookbehind, o cuantificadores no codiciosos, donde los límites reales de coincidencia frecuentemente no son lo que alguien adivinaría solo leyendo el patrón. Ver exactamente dónde empieza y termina una coincidencia, en lugar de asumir, detecta un error de límite de uno de más al instante en lugar de después de que se haya publicado dentro de una función de validación.

La sintaxis de expresiones regulares se ve ampliamente similar entre lenguajes, pero las características específicas admitidas difieren de formas que importan una vez que un patrón usa algo más allá de lo básico. JavaScript carece de cuantificadores posesivos y grupos atómicos, ambos existentes en PCRE (usado por PHP y muchas otras herramientas) como formas de prevenir explícitamente ciertos patrones de retroceso. Las aserciones lookbehind, ahora admitidas en JavaScript, llegaron considerablemente más tarde que lookahead y no estaban disponibles en versiones más antiguas de navegadores, lo cual todavía importa ocasionalmente para código que tiene que ejecutarse en entornos heredados. Y `\d` en un patrón de JavaScript coincide solo con dígitos ASCII 0–9 a menos que el patrón también lleve el indicador `u` (Unicode), lo que sorprende a cualquiera que asuma que se comporta igual que una clase de dígitos consciente de Unicode en el motor regex de otro lenguaje. Probar un patrón destinado específicamente a JavaScript, en lugar de copiar un ejemplo escrito para Python o una herramienta de shell, es en torno a lo que está construida esta herramienta.

Ciertos patrones regex — más comúnmente los que tienen cuantificadores anidados, como `(a+)+b` — tienen una propiedad patológica donde, contra una cadena larga que en última instancia no coincide, el motor explora un número exponencialmente creciente de formas de retroceder antes de rendirse. Un patrón que devuelve resultados al instante contra una cadena de diez caracteres que no coincide puede tardar más que la edad del universo contra una de cincuenta caracteres, lo cual no es una exageración sino el comportamiento matemático literal del crecimiento exponencial. Esta es una clase de vulnerabilidad real y explotable en sistemas de producción — un ReDoS, o denegación de servicio por expresión regular — donde un atacante que puede controlar la cadena de entrada a un patrón vulnerable puede colgar indefinidamente un proceso de servidor con una sola solicitud.

Esta herramienta aborta la evaluación después de un presupuesto de tiempo corto específicamente para que un patrón con esta propiedad congele la sesión de prueba en lugar de la pestaña del navegador por completo, y alcanzar ese abortar es en sí mismo información útil: significa que el patrón probablemente tiene exactamente esta vulnerabilidad y necesita reestructurarse, típicamente haciendo más específico un cuantificador interno para que la ambigüedad que causa el retroceso exponencial no pueda surgir en primer lugar.