<div dir="ltr">Hi community, <div><br></div><div>I'm developing a static analyzer checker, and I need to clear the taint mark for a specific symbol/stmt/region. Is that possible?</div><div><br></div><div>I'm using the addTaint(..) methods of ProgramState class to add taint information to symbols/stms/regions, but I don't see anything to clear the taint mark to them.</div><div><br></div><div>Does Anyone know how to do this?</div><div><br></div><div>Thanks!<br><div><br></div><div><br></div></div></div>