A static analysis tool for llvm ir by using symbolic analysis