Symbolic Execution
Ferramentas de Desenvolvimento · Fundo
Uma técnica de análise de programas que explora caminhos de execução usando variáveis simbólicas em vez de entradas concretas, construindo restrições matemáticas para cada ramificação para identificar entradas que disparam comportamentos específicos. Mais sistemática que fuzzing, mas computacionalmente cara devido à explosão de caminhos. Ferramentas como Halmos, Manticore e Mythril aplicam execução simbólica a bytecode EVM.