4 ms·
There’s decades of research in this vein fwiw, usually referred to as symbolic execution and it’s descendants like concolic execution.
by johnbender 2y ago
There’s decades of research in this vein fwiw, usually referred to as symbolic execution and it’s descendants like concolic execution.