[Soot-list] Concrete field nodes exist in field-based points-to analysis in Spark

[Macro Angkor]

Hi All,

>From my understanding, field-based points-to analysis in Spark groups
together field reference nodes that share the same field name and have
compatiable types for bases, and create a global VarNode for each group,
thus not touching concrete field nodes. However, with the phase option
"field-based" set to true, Spark's worklist propagator would still
introduce a lot of concrete field nodes. Anyone can help?

Thanks in advance,
Michael
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130423/223c3322/attachment.html