Symbolic Execution, aka Symbolic Analysis, Symbolic Evaluation, or symbex
A method of analyzing computer programs to determine what inputs will cause what parts of the program to execute.
See Also
Symbolic execution - Wikipedia
ROAM_REFS: https://en.wikipedia.org/wiki/Symbolic_execution
Overview - S²E: A Platform for In-Vivo Analysis of Software Systems
ROAM_REFS: http://s2e.systems/
Triton: A dynamic binary analysis library
ROAM_REFS: https://triton-library.github.io/