[Soot-list] Querying Paddle

[Saswat Anand]

Hello,

I want to query the PointsToAnalysis built by Paddle. So I was looking 
for some documentation on how Context parameter (in reachingObjects 
method)  looks like in each of the context-sensitivity (ie. 1cfa, kcfa, 
objsens, kobjsens). If there is a doc I would appreciate if  you could 
point it out. Otherwise please correct me if my following guesses are 
incorrect.

1cfa - soot.jimple.Stmt
kcfa - soot.jimple.paddle.ContextString containing soot.jimple.Stmt's
objsens - soot.jimple.paddle.AllocNode
kobjsens - soot.jimple.paddle.ContextString containing 
soot.paddle.AllocNode's

Secondly, I see that points-to set returned by paddle is a set of 
soot.paddle.ContextAllocNode's. Is it correct to assume that context of 
each of these ContextAllocNode's represents context of corresponding 
heap locations  when "context-heap" option is set to true? If yes, will 
this context be instanceof soot.jimple.paddle.ContextString containing 
Stmt's?

Sorry for so many questions. Because of Jedd naming schemes and syntax I 
find it hard to figure these out myself.

Thanks so much.
Saswat