01 / Herramienta de código abierto
Fuzzing basado en lenguajes
Fandango ↗
Genera pruebas a partir de gramáticas, restricciones escritas en Python y búsqueda evolutiva.
Impacto
Herramientas, arreglos
y avisos.
Software de mi investigación doctoral, correcciones en otros proyectos, avisos públicos de seguridad, reconocimientos y financiación conseguida.
02 / Herramienta de código abierto
Pruebas centradas en características
Compás ↗
Un prototipo que acota una gramática a las características que se quieren poner a prueba.
03 / Herramienta de código abierto
Especificaciones reutilizables
Fanbase ↗
Una colección pública de especificaciones de formatos para Fandango, con una herramienta para encontrarlas e instalarlas.
Alcance del software libre
Uso de mis herramientas.
174
estrellas en GitHub
En mis 36 repositorios públicos originales, tanto de mi cuenta como de la organización Fandango que fundé.
202.253
Descargas de software, histórico
Descargas en PyPI de todos los paquetes de mi perfil de mantenimiento, del paquete público de Fandango en GitHub y de los archivos de publicación de mis repositorios. Son eventos de descarga, no usuarios únicos.
Datos comprobados el 4 de noviembre de 2026.
Otros repositorios
Correcciones de fallos y seguridad.
tensorflow/tensorflow
Corregí un desbordamiento de int16 en GatherNd
PR #129560 integrado · rechaza cantidades de índices que desbordan el tipo usado por el núcleo
EsotericSoftware/kryo
Limité la memoria asignada durante la deserialización
PR #1284 integrado · valida los tamaños declarados antes de reservar memoria
J-F-Liu/lopdf
Limité el anidamiento de objetos PDF
PR #503 integrado · corrige el desbordamiento de pila descrito en RUSTSEC-2026-0187
py-pdf/pypdf
Corregí la recuperación de referencias cruzadas en PDF malformados
PR #3841 integrado · evita un UnboundLocalError durante la recuperación
Solo registros públicos
Avisos de seguridad.
CVE-2026-77429↗
TwelveMonkeys ImageIO
Reserva de memoria sin límites a partir de las dimensiones de un ráster
Aviso público · investigador acreditadoCVE-2026-77301↗
adm-zip
Reserva de memoria sin límites a partir del tamaño declarado de un ZIP
Aviso público · investigador acreditadoCVE-2026-62297↗
ag-psd
Reserva de memoria sin límites a partir de las dimensiones de un PSD
Aviso público · investigador acreditadoCVE-2026-59991↗
psd-tools
Reserva de memoria sin límites con geometría PSD manipulada
Aviso público · investigador acreditadoRUSTSEC-2026-0187↗
lopdf
Desbordamiento de pila por objetos PDF muy anidados
Vulnerabilidad de RustSec · informe y correcciónGO-2026-5781↗
rsc.io/pdf
Desbordamiento de pila por objetos PDF muy anidados
Base de datos de vulnerabilidades de Go · investigador acreditadoRUSTSEC-2026-0192↗
ttf-parser
Aviso sobre un paquete sin mantenimiento
Nota informativa de RustSec · aviso presentadoDescargas de paquetes y estrellas de GitHub por proyecto, comprobadas el 4 de noviembre de 2026. Las descargas incluyen instalaciones repetidas y automatizadas; ninguna de las dos cifras mide instalaciones afectadas. No hay datos públicos de descargas históricas para los proyectos de Java y Go. El historial de adm-zip en npm comienza en 2015.
Apoyo a la investigación
Financiación conseguida.
$70kUSD
Conseguí esta financiación para avanzar mi investigación en generación rápida de entradas, pruebas centradas en características y herramientas abiertas para probar software complejo.
Reconocimientos
Premios y distinciones.
2026
Anuncio pendiente
2023Anuncio pendiente
Publicaré los detalles después del 12 de noviembre de 2026.
Universidad de Sevilla
Distinción de honor al Trabajo Fin de Máster (Mejor trabajo)
El artículo sobre XatkitSPL está disponible en la biblioteca de SISTEDES.
Universidad de Sevilla
Distinción de honor al Trabajo Fin de Grado (Entre el 5 % mejor)
El artículo sobre WebSPL está disponible en la biblioteca de SISTEDES.