search

evanmak / savior-source

source code for savior fuzzer
Apache License 2.0
126 stars 27 forks source link

KLEE source code #3

Closed adrianherrera closed 4 years ago

adrianherrera commented 4 years ago

Hi there,

Is it possible to release your KLEE modifications, either as full source or as a patch? Currently, I only see the build files.

Thanks!

~Adrian

evanmak commented 4 years ago

Hi Adrian,

Thanks for your interests!

Is it possible to release your KLEE modifications, either as full source or as a patch

Yes, last time I checked, it will be. @lipeng28 and @DanielGuoVT are working with the company on KLEE's open-source/upstreaming related issues, perhaps they have a better idea on the timeline. (I've lost the access to its source after my internship at Baidu X-Lab).

Regards, Yaohway

adrianherrera commented 4 years ago

Awesome, cheers!

LebronX commented 4 years ago

Hi, any update on KLEE's source code?

Hanseltu commented 2 years ago

Hey, sorry to bother you. May I ask are there any updates on KLEE's source code?