[Soot-list] Paddle Context information

[Marc-André Laverdière]

Hello Nouraldin,

Paddle has been essentially unmaintained for a while now. It would be
great if you choose to adopt it and become a maintainer :)

Back to your question, you can always get the method from the Scene and
iterate through the statements until you find the one you are interested
in. But it would probably be simpler to just use the list of locals :)

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 07/20/2014 06:41 AM, Nouraldin I. Jaber wrote:
> Hello all,
> 
> I'm using Paddle object sensitive analysis with k=1 to gather information about pointers. What i'm trying to do is to get the information printed as context. for example:
> 
> 
> 
> 	BDDPointsToAnalysis ptapaddle = (BDDPointsToAnalysis) Scene.v().getPointsToAnalysis();
> 	BDDPointsToSet pts = (BDDPointsToSet) ptapaddle.reachingObjects(SOME_LOCAL);
> 	pts.forall(new P2SetVisitor() {
> 		@Override
> 		public void visit(ContextAllocNode arg0) {
> 			System.out.println(arg0.ctxt());   // this will print -for example- : specialinvoke $r18.<Pair: void <init>()>()
> 			}
> 		}
> 	});
> 
> 
> now is there any way to get this "specialinvoke $r18.<Pair: void <init>()>()" -or any other context back- to a normal JSpecialInvokeExpr so I can use $r18 to get further information using Paddle.
> 
> I tried casting it but it didn't work.
> 
> 
> thanks
> 
> Nour
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
>