CPR icon indicating copy to clipboard operation
CPR copied to clipboard

Published 20 hours ago • verified publisher icon rshariffdeen

Upstreaming KLEE concolic branch

Open McSinyx opened this issue 3 years ago • 3 comments

The concolic branch diverged from upstream for quite a while, is there a plan to get it merged with upstream or it is going to be a hard fork?

McSinyx avatar Aug 01 '22 10:08 McSinyx

I rebased the concolic branch on top of mainline by hand and pushed it to https://github.com/McSinyx/klee-concolic, the only difference should be gen-bout is now renamed to ktest-gen. Since KLEE's tests fail (for obvious reasons), could you please take a look if it is working correctly? Edit: it's not ready (klee takes significant more time than just concolic execution), I'll ping again when it's working with our CPR fork.

McSinyx avatar Sep 01 '22 09:09 McSinyx

Hi! Thanks for looking into this, let me know if you are able to successfully rebase, in the meantime I will check your fork with CPR.

rshariffdeen avatar Sep 07 '22 06:09 rshariffdeen

@McSinyx is there any update on the progress?

rshariffdeen avatar Jan 24 '23 04:01 rshariffdeen