[Soot-list] paddle results in soot

[Ondrej Lhotak]

On Mon, Sep 25, 2006 at 03:15:24PM -0400, Raul Santelices wrote:
> Hi,
>  I am trying to access the contexts for an instance field, as computed 
> by paddle with object-sensitive analysis. I use 
> Scene.v().getPointsToAnalysis().reachingObjects(SootField). I cast the 
> resulting PointsToSet to PointsToSetReadOnly (a paddle class), which 
> provides the forall method to visit all ContextAllocNodes (pairs 
> context-node) associated to the points-to set. Unfortunately, all 
> ContextAllocNodes have a null context, and only the node (pointed object 
> named after its creation site) is non-null.
>  So, is it possible to retrieve contexts in Java without having to 
> write BDD queries in Jedd?

By default, only pointer variables (VarNodes) are modelled
context-sensitively. The context-heap option to Paddle causes it to also
model heap objects (AllocNodes) context-sensitively. Are you using the
context-heap option?

Ondrej

> 
> Thanks,
> Raul
> 
> -- 
> Raul Santelices
> Ph.D. Student
> College of Computing
> Georgia Institute of Technology
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>