fuzzolic
fuzzolic copied to clipboard
season-lab
fuzzing + concolic = fuzzolic :)
not sure how to get that information to you :) fuzzbench run started, will take ~25-50 more hours until the results are useful: https://www.fuzzbench.com/reports/experimental/2021-06-27-symbolic/index.html You can verify the fuzzolic parameters...
I have a(n incredibly) complex target that I was hoping to use fuzzolic to dig further into than standard fuzzers will get. Sadly, after letting it run for a few...
SOLVER_TIMEOUT is in milliseconds, but p_solver.wait should be in seconds This causes 1000 second hangs during hybrid fuzzing when the solver misbehaves.
