Added taint analysis and change value analysis for LLVM