[klee-dev] How should the function parameter be symbolised if the function parameter is a file type?

Hi, I am confused about How should the function parameter be symbolised if the function parameter is a file type. For example, I use KLEE to test a function ok_png ok_png_read(FILE *file, ok_png_decode_flags decode_flags), the test code written is as follows: int main(int argc, char **argv){

Re: [klee-dev] Packaging klee on Nix - gtest broken?

Hi Morgan, On 17. Jan 2022, at 10:23, Morgan mailto:m...@numin.it>> wrote: In the meantime, I'm having trouble building klee-uclibc. I got past the locale download (had to set UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA=n and copy it over after configure since it builds in the Nix sandbox) but this

Re: [klee-dev] Packaging klee on Nix - gtest broken?

Thanks Martin. I'll make this change. In the meantime, I'm having trouble building klee-uclibc. I got past the locale download (had to set UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA=n and copy it over after configure since it builds in the Nix sandbox) but this seems to be happening now.