Modify the TaintAnalysis.cpp a bit