[johnbender]

There’s decades of research in this vein fwiw, usually referred to as symbolic execution and it’s descendants like concolic execution.