MartinNowack

@jiseongg Thanks for using the build script. Indeed, there are sometimes additional variables required that might not be needed for all components or all configurations but it would be more...

Hi @delcypher , In case you've some time can you check if it works when you you explicitly compile your application with `gcc -std=c89` under your setup (http://stackoverflow.com/questions/16376341/isoc99-scanf-and-scanf)? KLEE tries...

@yxliang01 This bugreport is quite old. Currently I cannot reproduce @delcypher's example. Which KLEE and LLVM version are you using? What is the output of KLEE?

Thanks, I could reproduce the problem. @yxliang01 please use `-std=c89` to compile the input file. With this you can workaround the problem.

@yxliang01 Ah, sorry, misread this. A couple of options, but they all have their drawbacks * comment out the part of the code * add an alias for `__iso99_scanf` into...

Interesting. With `master` you have indeed this issue and indeed it still indicates that it calls an external function. Please apply the following patch on top of #868 This works...

@yxliang01 Well, I'm afraid that there is no easy way out. #868 Has some major changes according to the linking infrastructure of KLEE. In a nutshell, it loads all the...

@yxliang01 maybe you just copy the function `scanf` and add it as `__isoc99_scanf` into uclibc and recompile. maybe that can help already.

@ccadar Looks good! Beside the smaller remark, can you merge the two commits?

@ccadar I'm strongly against those changes as default. My own experience show that this number highly depends on the number of instructions you're able to execute and that highly varies...