Ejecución simbólica
La ejecución simbólica es una técnica de análisis de programas que ejecuta programas utilizando valores simbólicos (no concretos) en lugar de entradas reales, rastreando cómo fluyen los valores simbólicos a través del programa. Introducida por James C. King en 1976, la ejecución simbólica construye restricciones matemáticas sobre las variables del programa y puede determinar qué entradas causan comportamientos específicos del programa, permitiendo la generación automática de pruebas y la detección de vulnerabilidades. Las herramientas modernas de ejecución simbólica como KLEE, S2E y Z3 se han convertido en instrumentos potentes para encontrar errores sutiles y vulnerabilidades de seguridad.
Leer el método completo
Inicia sesión con una cuenta gratuita para leer esta sección.
Method map
The neighbourhood of related methods — select a node to explore.
Fuentes
- 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 ↗
Cómo citar esta página
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/es/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.
- FuzzingCriptografía↔ compare
- Pruebas estáticas de seguridad de aplicacionesCriptografía↔ compare
- Análisis de TaintCriptografía↔ compare
Citado por
¿Has visto un problema en esta página? Infórmanos o sugiere una corrección →