[Soot-list] Getting null context in Paddle Object Sensitive PTA

[Ashish Mishra]

Hi list,

I am trying to run paddle on example from Paddle documents,

public class ContainerMain {

public static void main(String[] args) {
Container c1 = new Container();
Item i1 = new Item(1, "First");
c1.setItem(i1);
 Container c2 = new Container();
Item i2 = new Item(1, "Second");
c2.setItem(i2);
  }
}

//container class
public class Container {

private Item item;
 public void setItem(Item incoming) {
this.item = incoming;
}
 public Item getItem() {
return item;
}
}


when i try to get the PTS for locals in setItem or any other method

i get result like -

*LOCAL this points to set -----> LocalAllocNode new
test_directory.Container <test_directory.ContainerMain: void
main(java.lang.String[])> type test_directory.Container in context
null,LocalAllocNode new test_directory.Container
<test_directory.ContainerMain: void main(java.lang.String[])> type
test_directory.Container in context null,*


I do not get why is the context null ?

my Paddle options are as follows

*HashMap opt = new HashMap();*
*            opt.put("enabled","true");*
*            opt.put("verbose","true");*
*            opt.put("bdd","true");*
*            opt.put("backend","buddy");*
*            opt.put("context","kobjsens");*
*            opt.put("context-heap", "true");*
*         //   opt.put("context-counts","true");*
*            opt.put("k","3");*
*            opt.put("propagator","auto");*
*           opt.put("conf","ofcg");*
*            opt.put("order","32");*
*            opt.put("q","auto");*
*            opt.put("set-impl","double");*
*            opt.put("double-set-old","hybrid");*
*            opt.put("double-set-new","hybrid");*
*            opt.put("pre-jimplify","false");*
*            opt.put("on-the-fly", "true");*
*            opt.put("whole-program", "true");*


Thanks
-- 
Regards,
Ashish Mishra
Graduate Student,
Computer Science and Automation Department,IISc
Cell : +91-9611194714
Mailto : ashishmishra at csa.iisc.ernet.in
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20141218/7f7d4999/attachment.html