Stateful Fuzzing
Seguridad · Abismo
Una técnica avanzada de fuzzing que mantiene el estado del programa entre iteraciones, generando secuencias de instrucciones en lugar de entradas aleatorias individuales. El fuzzing con estado puede descubrir vulnerabilidades que sólo se manifiestan después de secuencias especificas de operaciones, como un retiro después de cierre o un ataque de doble inicializacion. Trident implementa fuzzing con estado para programas de Solana manteniendo un estado de ejecución simulado y generando secuencias de instrucciones aleatorias con configuraciones de cuentas validas derivadas del IDL de Anchor del programa.