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! _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
