A SMT based LLVM code checker