Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Upstreaming KLEE concolic branch #3

Open
McSinyx opened this issue Aug 1, 2022 · 3 comments
Open

Upstreaming KLEE concolic branch #3

McSinyx opened this issue Aug 1, 2022 · 3 comments

Comments

@McSinyx
Copy link

McSinyx commented Aug 1, 2022

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
Copy link
Author

McSinyx commented Sep 1, 2022 •
edited
Loading

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
Copy link
Owner

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
Copy link
Owner

@McSinyx is there any update on the progress?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@rshariffdeen @McSinyx