<div dir="ltr">Is it possible to mark as tainted a Sval that represents a class or struct?<div><br></div><div>For example, take a look at this code:</div><div><br></div><div>void somemethod(string s) {</div><div>    m(&s);<br></div><div>}</div><div><br></div><div>I want to taint 's' as soon as it is passed on 'm' method. &s represents a loc, if I try to get the Sval from it, I get a nonloc:LazyCompundVar which doesn't have a symbol associated to make it tainted.</div><div><br></div><div>I'm a little bit confused, could anyone please clarify this?</div></div>