Elysia Tools

Explora herramientas, ejemplos, explicaciones visuales y guías temáticas en un solo espacio claro.

Categorías populares

Temas

Idioma
ZHESPTRUFRDEEN

Elysia Tools

Navegación

Converter

Linaje de codificación binaria de almacenes KV: RDB, SSTable, LevelDB, RocksDB, Memcached

· Última actualización：2026-09-22

Decodifica de forma forense artefactos binarios de almacenes clave-valor: instantáneas RDB de Redis, registros WAL de LevelDB/RocksDB, footers de SSTable, paquetes binarios de Memcached y cabeceras de página de BoltDB y LMDB, con diff hexadecimal del keyspace y matriz de expiración TTL.

Detalles

Qué te ayuda a hacer esta herramienta

Un decodificador forense de las codificaciones binarias de la familia de almacenes KV.

Artefactos soportados y lo que se expande:

· Redis RDB — magic "REDIS" + versión ASCII, campos AUX (opcode 0xFA), SELECTDB (0xFE), RESIZEDB (0xFB), opcodes de expiración FD/FC, todos los tipos de valor desde cadenas simples (int8/16/32 y comprimidas con LZF) hasta list, set, zset (puntuaciones ASCII y binarias double), hash, zipmap, ziplist, intset, quicklist v1 y v2, y listpack hash/zset/set (tipos 16/17/18/20), con verificación del tráiler CRC-64 Jones.
· WAL LevelDB / RocksDB — bloques de 32 KiB, cabeceras de registro de 7 bytes (CRC32C enmascarado, longitud u16, tipos FULL/FIRST/MIDDLE/LAST), trailers de ceros.
· SSTable LevelDB / RocksDB — footer heredado de 48 bytes (BlockHandles metaindex/index en varint64 rellenados a 40 bytes + magic little-endian 0xdb4775248b80fb57 / 0x88e241b785f4cff7), compresión por prefijos con puntos de reinicio.
· Protocolo binario Memcached — cabecera de 24 bytes (magic 0x80/0x81, opcode, reparto key/extras/value, vbucket o estado, opaque, CAS), extras por opcode como flags + expiración.
· BoltDB — cabecera de página de 16 bytes y magic de meta página 0xed0cdaed; LMDB — flags de cabecera MDB_page (el formato es famoso por no tener número mágico).

Pega una segunda instantánea RDB para obtener un diff del keyspace (claves añadidas/eliminadas/cambiadas/con TTL desplazado) y una matriz de expiración TTL evaluada en el tiempo de referencia elegido.

La ruta RDB está verificada contra dumps reales de redis-server 7.2.4; los tipos de valor de módulos y streams (6/7/15/19/21) se informan pero no se expanden.

Ejecución

Ejecutar esta herramienta

Completa el formulario, ejecuta la herramienta y revisa el resultado en un solo lugar.

Ejemplos

Ejemplos que encajan con esta herramienta

Relacionado

Continuar con herramientas y temas relacionados

Escrito por el equipo de Elysia Tools

Guía de uso de la herramienta

Conoce cuándo usar esta herramienta, qué admite y cómo la aplican los usuarios.

Datos clave

Categoría
Converter
Tipos de entrada
textarea, select, number
Tipo de salida
html
Cobertura de ejemplos
4
API disponible
Sí

Resumen

Esta herramienta analiza e inspecciona forensemente la estructura interna de volcados binarios procedentes de bases de datos clave-valor como Redis RDB, registros WAL y footers SSTable de LevelDB/RocksDB, paquetes binarios de Memcached y cabeceras de página de BoltDB y LMDB.

Cuándo usarlo

  • Al depurar volcados RDB dañados o verificar la integridad del checksum CRC-64 Jones en snapshots de Redis.
  • Al inspeccionar tramas de red del protocolo binario de Memcached para verificar códigos de operación, extras y valores de retorno.
  • Al comparar dos volcados RDB para identificar discrepancias en el keyspace, valores modificados o desviaciones de expiración TTL.

Cómo funciona

  1. 1Pega la secuencia en formato hexadecimal correspondiente al artefacto binario que deseas inspeccionar en el campo principal.
  2. 2Selecciona el formato correspondiente (Redis RDB, WAL de LevelDB/RocksDB, footer SSTable, Memcached, BoltDB o LMDB) o utiliza la detección automática.
  3. 3Opcionalmente, ingresa un segundo dump hexadecimal para generar un diff del keyspace o define una marca de tiempo Unix de referencia para evaluar la matriz de expiración TTL.
  4. 4Examina el informe estructurado que desglosa campos AUX, tipos de datos, códigos de operación, bloques de compresión y sumas de verificación.

Casos de uso

  • Auditoría forense de volcados dump.rdb para identificar claves pesadas, tipos de codificación interna (listpack, intset) y fechas límite de expiración.
  • Diagnóstico de errores de comunicación cliente-servidor mediante la inspección de paquetes en crudo del protocolo binario de Memcached.
  • Análisis de bajo nivel de bloques de datos y punteros de metaindex en footers heredados de 48 bytes de SSTables en RocksDB y LevelDB.

Ejemplos

1. Inspección de volcado Redis 7.2.4 y diff de keyspace

Ingeniero de Fiabilidad de Sitios (SRE)

Contexto

Se requiere verificar el impacto de una migración de datos comparando dos archivos dump.rdb generados antes y después de ejecutar una rutina de actualización.

Problema

Detectar de forma precisa qué claves cambiaron de valor, cuáles fueron eliminadas y si las directivas TTL se mantuvieron intactas.

Cómo usarlo

Introduce el volcado hexadecimal inicial en la entrada binaria A, el segundo volcado en la entrada binaria B, configura la marca de tiempo de referencia y selecciona el modo de detección automática.

format = auto, referenceUnixSec = 1790000000

Resultado

El reporte desglosa los tipos listpack y quicklist, valida el CRC-64 y presenta la matriz con claves agregadas, removidas y con deriva en el TTL.

2. Decodificación de paquetes binarios de Memcached

Desarrollador de Sistemas Distribuidos

Contexto

Durante el desarrollo de un cliente de caché personalizado, ciertas peticiones GET y ADD devuelven respuestas inesperadas de clave no encontrada.

Problema

Analizar la cabecera binaria de 24 bytes para verificar si los campos extras de expiración, flags, CAS y opcodes coinciden con el estándar.

Preguntas frecuentes

¿Qué versiones y estructuras de Redis RDB son compatibles?

Soporta snapshots validados hasta Redis 7.2.4, incluyendo tipos primitivos, listas quicklist v1 y v2, intsets, ziplists y colecciones listpack para hashes y conjuntos ordenados.

¿Cómo se valida la integridad de los datos en volcados RDB y registros WAL?

Calcula y contrasta el checksum CRC-64 Jones al final de los archivos RDB y valida el CRC32C enmascarado de 7 bytes en los encabezados WAL de LevelDB y RocksDB.

¿Se pueden inspeccionar tipos complejos como Redis Streams o módulos personalizados?

Los tipos de datos asociados a módulos y streams se identifican y reportan en el listado del keyspace, pero su contenido binario interno no se expande.

¿Cómo funciona la comparación entre dos instantáneas?

Al ingresar una segunda instantánea binaria RDB, el analizador coteja los identificadores de clave y genera un desglose de claves añadidas, eliminadas, valores alterados y derivas de TTL.

¿Qué información extrae de las cabeceras de páginas BoltDB y LMDB?

Identifica los 16 bytes de cabecera de página y el número mágico de meta páginas en BoltDB, así como las banderas de cabecera de página MDB_page en LMDB.

Inicio
Herramientas3206
Ejemplos593
Visualizaciones468
Visores de archivos103
Temas236
Etiquetas333
Imágenes, audio y video657

Herramientas de procesamiento, conversión y optimización de imágenes, audio y video

Matemáticas, fechas y finanzas645

Calculadoras, herramientas numéricas, lógica de fechas, estadística y finanzas

Diseño y color298

Herramientas de color, maquetación, gráficos, estilo visual y apoyo al diseño

Texto y redacción209

Herramientas de redacción, limpieza, formato, extracción y análisis de texto

Desarrollo y Web193

Utilidades para desarrolladores, red, depuración web y automatización

Conversión y codificación175

Herramientas de conversión de formatos, archivos, unidades, archivos comprimidos y codificación

De artículo a borradores de X y LinkedIn: revisión factual y entrega
Revisión de una lección Markdown interactiva y entrega sin conexión
Revisión de muebles en una habitación pequeña y entrega para la mudanza
Revisión de fuentes FLAC/WAV y entrega de evidencias
Revisión e integración de un componente de sorteos autoalojado

© 2026 Elysia Tools. Todos los derechos reservados.

DocumentaciónPreciosAcerca deTérminos de servicioPolítica de privacidadCookiesContacto
Procesamiento de texto

Muestras de Convertidor Hex/Unicode

Muestras de prueba para conversión de secuencias de escape hex y unicode

Java

Ejemplos de Procesamiento de Imágenes Android Java

Ejemplos de procesamiento de imágenes Android Java incluyendo lectura/escritura, escalado y conversión de formato

Kotlin

Ejemplos de Procesamiento de Imágenes Android Kotlin

Ejemplos de procesamiento de imágenes Android Kotlin incluyendo lectura/escritura, escalado y conversión de formato

Python

Ejemplos de Procesamiento de Imágenes Web Python

Ejemplos de procesamiento de imágenes Web Python usando PIL/Pillow incluyendo lectura, guardado, redimensionamiento y conversión de formato

Development

Desofuscador JavaScript

Desofusca y analiza código JavaScript ofuscado para mejorar la legibilidad y comprensión

Data Analysis

Evaluador de poda por bloom filter, mapa de zonas, diccionario y estadísticas de columnas Parquet

Decodifica el footer thrift de Parquet y cuantifica la poda por predicate pushdown: min/max del mapa de zonas, filtros bloom split-block (XXH64), ratios de diccionario y codificaciones, con estimaciones de ahorro por grupo de filas para cláusulas WHERE de ejemplo.

Network

Decodificador LTSSM y Lane Margining de PCIe

Decodifica un registro de entrenamiento de enlace PCIe (secuencia LTSSM + conjuntos ordenados TS1/TS2): línea de tiempo Gen1-Gen6, velocidad/anchura negociadas, bits de identificador de tasa, inversión de polaridad y de lanes, fases de ecualización y diagnóstico de reinicios; también califica informes de lane margining (CSV de pcilmr) y dibuja un mapa de calor del ojo.

Science & Education

Orquestador de verificación formal SMT-LIB 2.7 / AIGER / BTOR2 (CDCL + BMC + k-inducción + interpolación de Craig + IC3)

Una pila completa de verificación formal en el navegador — sin binario de cvc5/Z3: un analizador de guiones SMT-LIB 2.7 para el núcleo QF_BV + Bool con bit-blasting Tseitin de los operadores FixedSizeBitVectors, un lector AIGER (aag ASCII y aig binario con decodificación delta; salidas como propiedades malas), un lector BTOR2 con bit-blasting a nivel de palabra y un motor SAT CDCL escrito a mano (literales doblemente vigilados, actividades tipo VSIDS, aprendizaje 1-UIP, reinicios) por debajo. Sobre modelos secuenciales ejecuta BMC con trazas testigo, k-inducción con reforzamiento de estados únicos, interpolación de Craig estilo McMillan recalificada por SAT, y un bucle IC3/PDR-lite con bloqueo de cubos.

Cómo usarlo

Pega la secuencia hexadecimal del tráfico capturado en la entrada principal y selecciona el formato de protocolo binario Memcached.

format = memcached-binary

Resultado

Se visualizan las tarjetas de cada paquete con el desglose de opcode, campos extras de flags/expiración y códigos de estado interpretados.