What's wrong with this code? (Symbolically executing C with LLVM's KLEE)blog.llvm.org5 pointsyan16 years ago