Stateful Fuzzing
Segurança · Abismo
Técnica avancada de fuzzing que mantem o estado do programa entre iteracoes, gerando sequencias de instruções em vez de entradas aleatorias individuais. Fuzzing com estado pode descobrir vulnerabilidades que só se manifestam após sequencias especificas de operações, como um saque-após-fechamento ou um ataque de dupla-inicializacao. O Trident implementa fuzzing com estado para programas Solana mantendo um estado de runtime simulado e gerando sequencias aleatorias de instruções com configuracoes de contas validas derivadas do IDL Anchor do programa.