Hoang M. Le
Results
1
issues of
Hoang M. Le
Even in seed mode, KLEE still concretizes expressions to solver-picked values ignoring all seeds. This behavior is not very useful, especially for hybrid fuzzing. This PR tries to force concretization...