[Soot-list] analysis data structures

[Yitzhak Mandelbaum]

Hi,

Are there any recommended data structures for use as "context vectors" (in the sense meant in abstract interp.)?  I saw that the nullness analysis uses a bit vector (BitSet)  and LocalMustAliasAnalysis uses a standard java.util.Map. Does Soot provide anything specialized, or are the standard-lib data structures like these the way to go?

Thanks,
Yitzhak

--------------------------------------------------
Yitzhak Mandelbaum
CERT / Software Engineering Institute
Carnegie Mellon University
http://www.andrew.cmu.edu/~yhm