Execução Simbólica
A execução simbólica é uma técnica de análise de programas que executa programas usando valores simbólicos (não concretos) em vez de entradas reais, rastreando como os valores simbólicos fluem através do programa. Introduzida por James C. King em 1976, a execução simbólica constrói restrições matemáticas sobre variáveis de programa e pode determinar quais entradas causam comportamentos específicos do programa, permitindo a geração automática de testes e a detecção de vulnerabilidades. Ferramentas modernas de execução simbólica como KLEE, S2E e Z3 tornaram-se instrumentos poderosos para encontrar bugs sutis e vulnerabilidades de segurança.
Leia o método completo
Entre com uma conta gratuita para ler esta seção.
Method map
The neighbourhood of related methods — select a node to explore.
Fontes
- King, J. C. (1976). Symbolic execution and program testing. Communications of the ACM, 19(7), 385-394. DOI: 10.1145/360248.360252 ↗
- Cadar, C., & Sen, K. (2013). Symbolic execution for software testing: Three decades later. Communications of the ACM, 56(2), 82-90. DOI: 10.1145/2408776.2408795 ↗
Como citar esta página
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/pt/cryptography/symbolic-execution
Which method?
Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.
- FuzzingCriptografia↔ compare
- Teste Estático de Segurança de AplicaçõesCriptografia↔ compare
- Análise de TaintCriptografia↔ compare
Referenciado por
Encontrou um problema nesta página? Relate ou sugira uma correção →