fuzzbench icon indicating copy to clipboard operation
fuzzbench copied to clipboard

Published 20 hours ago • verified publisher icon google

Do you have report about how KLEE perform in this benchmark?

Open LebronX opened this issue 5 years ago • 2 comments

Hi, Do you have report about how KLEE perform in this benchmark? Like coverage.

LebronX avatar Oct 04 '20 09:10 LebronX

KLEE is not properly working atm, @laurentsimon is looking into it. some benchmarks have results for it in https://www.fuzzbench.com/reports/2020-09-24/index.html

inferno-chromium avatar Oct 04 '20 21:10 inferno-chromium

I'm working on fixing the integration now. We ran KLEE for the first time last week but there was a problem converting the .ktest to binary format. I'll post an update when we have more result.

Are you working on symex for your PhD? More generally on software testing?

laurentsimon avatar Oct 05 '20 20:10 laurentsimon