[cfe-dev] Question about tainting support

Francisco Chiotta franchiotta at gmail.com
Tue Jun 9 20:20:48 PDT 2015

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) {

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>

More information about the cfe-dev mailing list