[cfe-dev] Help with Taint analysis
ioripolo at gmail.com
Tue Jan 12 19:39:08 CST 2010
Maybe a new engine, instead of using the path sensitive one(GRExprEngine)?
Some work like phoenix have done using SSA & lattices?
2010/1/13 Juan Carlos Martinez Santos <juanc.martinez.santos at gmail.com>
> Hello clang,
> I am interested in doing taint analysis. My idea is get a complete list of
> all variables which are potentially influenced by outside input. Checking
> the mail list, I found that a way to do this is walking into GRExprEngine
> and his friends (SVals and MemRegion).
> However, I don't know how to start.
> Thanks in advance,
> Juan Carlos
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev