search

rshariffdeen / CPR

CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of refining the patch to less over-fit the initial test cases.
https://cpr-tool.github.io
MIT License
30 stars 8 forks source link

Upstreaming KLEE concolic branch #3

Open McSinyx opened 2 years ago

McSinyx commented 2 years ago

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 commented 2 years ago

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.

rshariffdeen commented 2 years ago

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 commented 1 year ago

@McSinyx is there any update on the progress?