La Ejecución Simbólica (SE, por sus siglas en inglés) es una potente forma de analizar programas computacionales. En lugar de utilizar valores de datos concretos, SE utilizan valores simbólicos para evaluar grupos de patrones de programación al mismo tiempo.

Una desventaja de muchos sistemas es que necesitan acceso al código fuente y solo escalan pocas líneas de código.

En una conferencia dentro del marco del 30th Chaos Communication Congress se explica cómo SE y el análisis binario se pueden utilizar para ingeniería inversa de los componentes de aplicaciones binarias y así, construir una entrada específica que desencadena una condición dada dentro de la aplicación (para ejemplificar, la definición de condición de error y el motor de la SE construye la entrada a la aplicación que provoca el error).