I've asked before, could you please provide the setup/flags you used for KLEE in the benchmark setup?
We just published the source code of our fuzzer Redqueen: https://github.com/RUB-SysSec/redqueen …
Thanks to my coauthors @ms_s3c @thorstenholz and @mr_phrazer
-
-
-
Here you go: timeout -s KILL $EVALKILLTIME klee --libc=uclibc --posix-runtime -max-memory=2000 -only-output-states-covering-new -output-dir=/targets/results/klee_run_$EVALTARGETNAME -max-time=$EVALTIME /targets/$EVALTARGET The timeouts are explained in the paper, I believe.
- Još 2 druga odgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.