4 ms·
The KLEE project[1] does something similar for general code, with symbolic variables. [1] http://klee.github.io http://klee.github.io
by xKingfisher 8y ago
The KLEE project[1] does something similar for general code, with symbolic variables.
[1] http://klee.github.io http://klee.github.io