[Soot-list] Paddle Context information

[Nouraldin I. Jaber]

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