[klee-dev] klee terminates immediately by stepping over the first statement "atexit(llvm_shutdown); " on eclipse

Hi everyone, I am a newby to klee. I recently encounter a problem while debug klee on eclipse. The debug terminate immediately when step over the first statement "atexit(llvm_shutdown);". What is confused to me is that when I turn to gdb, it just works fine and it also goes fine in run mode

[klee-dev] confuse how klee collect symbolic constraints

Dear all klee developers I recently debug klee source Dozens of times but I have problems to understand how klee collect and spread symbolic constraints. Take the get_sign.c as example which located at $kleedir/examples/get_sign. I have compile get_sign.c file to get_sign.bc and take it as

[klee-dev] How to compile c/c++ project to a unique LLVM IR bitcode?

Hi KLEE developers, I have tested the coreutils, but I have a confusion. How to compile a c/c++ project to an unique LLVM bitcode fed to KLEE? For example, given an autotooled project like ffmpeg, how compile the source code to LLVM bitcode to be tested by klee? Thanks, Qingkun Meng