[klee-dev] adding setjmp/longjmp support?

[Dan Hoffman]

I'm looking to apply KLEE to a program that heavily uses co-routines.
These syscalls aren't implemented, so I'm investigating whether a
patch can be written/upstreamed. This is my first patch for KLEE (but
I have written patches for other large open-source projects). A few
questions:
  1. Are there any hard/technical reasons why this is
impossible/impractical? Threading is impractical because the
scheduling is another set of variables, but co-routines have
deterministic scheduling by definition, so that shouldn't be an issue.
  2. What are some good small/beginner issues to familiarize myself
with the code and patch submission process? I'm somewhat familiar with
LLVM internals from previous projects/my job.

Thanks!