<div dir="ltr"><span style="color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif;font-size:13.44px">Hello, </span><br style="color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif;font-size:13.44px"><br style="color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif;font-size:13.44px"><span style="color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif;font-size:13.44px">I am writing a taint tracking checker with clang static analyzer, more specifically, I am trying to implement some sort of multiple taint tracking, which means I need to add more than one taints to the Symbolic Expressions, however it seems this can not be realized, because tests shows that the later taint will overwrite the earlier ones. Is there any possible approach to carry multiple taints in one SymExpr? </span><br style="color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif;font-size:13.44px"><br style="color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif;font-size:13.44px"><span style="color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif;font-size:13.44px">One more question is that I don't find any function to remove the taint, is it possible to remove some taints at the end of each execution path?  Thank you!</span><br></div>