ercoppa
(If I got it right) the input received from stdin is expected to contain: a) the size of the filter b) the filter c) the packet Hence, the "problem" (1)...
> so there is no other way than to disable the libpcap for symbolic solvers in fuzzbench ... :( Ok, I understand. > There will be a new symbolic fuzzbench...
Thank you, I'll keep an eye on the results. > Have you any statistics what a good timeout value is? There are two timeouts in a concolic executor (FUZZOLIC, SymQEMU,...
This is the same issue reported by #10. Sorry for the duplicate entry. My fix is slightly cleaner.
This may maybe help fix #12 (I did not test it).
1) Can you try to use `-k` and see what logs you get? E.g., in `fuzzolic-00000`, `tracer.log` should say how many expressions and queries were generated during the execution. 2)...
Removed the annual subscription (never used the extra features, I had it only to support the project) and moving away very soon to a truly free software solution. Very disappointed...