[cfe-dev] Question about tainting support

[Francisco Chiotta]

Is it possible to mark as tainted a Sval that represents a class or struct?

For example, take a look at this code:

void somemethod(string s) {
    m(&s);
}

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.

I'm a little bit confused, could anyone please clarify this?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20150610/a6625fbf/attachment.html>