Cristian Cadar comments

Results 198 comments of


                                            Cristian Cadar

[question] Symbolizing a struct with a std::string and a std::vector

Closing inactive issue.

Fast concrete object access

I think we can close this PR at this time; it would likely need to be completely rewritten given all the changes to the codebase in the last 3+ years...

Z3 assertion fails with ptx/sort/split: "Constant array found in query, but not handled by Z3Builder"

@251 is this still relevant?

Synchronous execution

I think we can close this now.

Added logic to simplifier that creates equality out of > and <

We should close this old PR, but I've added it to https://github.com/klee/klee/projects/4 in case someone wants to revive it at some point.

max fork fix

I have added this to the list of possible extensions: https://github.com/klee/klee/projects/4

Add more statistics (incl. branches and termination classes)

@251 thanks for the updating the documentation!

Is the "has_permission" function inside POSIX runtime fd.c correct?

Fixed in #1639

KLEE package for Ubuntu and other Linux distros

Hi @marco6, thanks for letting us know! That's a very useful contribution and it would be great to have you as maintainer for the package -- on our side, it's...

KLEE package for Ubuntu and other Linux distros

Just a short note that we -- and in particular @MartinNowack -- are prioritising support for newer LLVM versions, which hopefully will be added in the next few weeks. We...