Re: [klee-dev] Different behavior when invoking the "error" function with the argument buffer from heap or stack

Hi Haoxin, It looks to me that you are not passing a null-terminated string to error() in the heap case, and the error reported by KLEE is genuine. Best, Cristian On 24/01/2024 15:53, TU Haoxin wrote: Dear KLEE developers, Hope you are all doing well, and hope this is the right place to

[klee-dev] Different behavior when invoking the "error" function with the argument buffer from heap or stack

Dear KLEE developers, Hope you are all doing well, and hope this is the right place to raise questions about KLEE. I have a question regarding the modeling of the function `error` function in `klee-uclibc` when I used KLEE. Since I couldn't find similar cases either in the GitHub issue or the