David Trabish
David Trabish
I didn't manage to reproduce it using the _klee_open_merge/klee_close_merge_ annotations, as the compiler inserts the call to _klee_close_merge_ after the PHI instructions (which are located at the beginning of the...
Thanks. Do you think this can be done somehow without adding a custom searcher?
Ohh I see. I think might soon have a patch for that.
@benkasminbullock thank you for the response:) You are right about the `bit_depth`, I meant this snippet (from the same `png_do_strip_channel`): ``` else if (row_info->bit_depth == 16) { if (at_start !=...
Please note that the passed pointers are all **valid** (see my previous comment). Regarding the `row_width`: As far as I understand the documentation, it says that the `png_info` structure must...
I am aware of that. Although I didn't test yet the integration with the DG project (with LLVM 3.8).
Which klee-uclibc commit do you use in the _fp_out_narrow example?
Can you please give more details?
How did you configure your LLVM build?
Thanks!