8 ms·
It's the very same symbolic execution engine as klee, which just a bit more features, and a bit simpler to use.
by rurban 2y ago
It's the very same symbolic execution engine as klee, which just a bit more features, and a bit simpler to use.
loading thread…