A8

Author: nogiveme

A6/tai-e/plan.yml

@@ -2,7 +2,7 @@
   options: {}
 - id: cspta
   options:
-    cs: ci
+    cs: 2-call
     merge-string-constants: false
     merge-string-objects: false
     merge-string-builders: false

A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1CallSelector.java

@@ -42,21 +42,18 @@ public Context getEmptyContext() {
 
     @Override
     public Context selectContext(CSCallSite csCallSite, JMethod callee) {
-        // TODO - finish me
         var callSite = csCallSite.getCallSite();
         return ListContext.make(callSite);
     }
 
     @Override
     public Context selectContext(CSCallSite csCallSite, CSObj recv, JMethod callee) {
-        // TODO - finish me
         var callSite = csCallSite.getCallSite();
         return ListContext.make(callSite);
     }
 
     @Override
     public Context selectHeapContext(CSMethod method, Obj obj) {
-        // TODO - finish me
         return getEmptyContext();
     }
 }

A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1ObjSelector.java

@@ -42,20 +42,17 @@ public Context getEmptyContext() {
 
     @Override
     public Context selectContext(CSCallSite callSite, JMethod callee) {
-        // TODO - finish me
         return callSite.getContext();
     }
 
     @Override
     public Context selectContext(CSCallSite callSite, CSObj recv, JMethod callee) {
-        // TODO - finish me
         var obj = recv.getObject();
         return ListContext.make(obj);
     }
 
     @Override
     public Context selectHeapContext(CSMethod method, Obj obj) {
-        // TODO - finish me
         return getEmptyContext();
     }
 }

A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1TypeSelector.java

@@ -42,21 +42,18 @@ public Context getEmptyContext() {
 
     @Override
     public Context selectContext(CSCallSite callSite, JMethod callee) {
-        // TODO - finish me
         return getEmptyContext();
     }
 
     @Override
     public Context selectContext(CSCallSite callSite, CSObj recv, JMethod callee) {
-        // TODO - finish me
         var obj = recv.getObject();
         var type = obj.getContainerType();
         return ListContext.make(type);
     }
 
     @Override
     public Context selectHeapContext(CSMethod method, Obj obj) {
-        // TODO - finish me
         return getEmptyContext();
     }
 }

A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2CallSelector.java

@@ -43,7 +43,6 @@ public Context getEmptyContext() {
 
     @Override
     public Context selectContext(CSCallSite callSite, JMethod callee) {
-        // TODO - finish me
         var context = callSite.getContext();
         if (context.getLength() > 0) {
             int lastIndex = context.getLength() - 1;
@@ -55,13 +54,11 @@ public Context selectContext(CSCallSite callSite, JMethod callee) {
 
     @Override
     public Context selectContext(CSCallSite callSite, CSObj recv, JMethod callee) {
-        // TODO - finish me
         return selectContext(callSite, callee);
     }
 
     @Override
     public Context selectHeapContext(CSMethod method, Obj obj) {
-        // TODO - finish me
         var context = method.getContext();
         if (context.getLength() > 1) {
             int lastIndex = context.getLength() - 1;

A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2ObjSelector.java

@@ -42,14 +42,12 @@ public Context getEmptyContext() {
 
     @Override
     public Context selectContext(CSCallSite callSite, JMethod callee) {
-        // TODO - finish me
         return callSite.getContext();
     }
 
     @Override
     public Context selectContext(CSCallSite callSite, CSObj recv, JMethod callee) {
-        // TODO - finish me
-        var context = callSite.getContext();
+        var context = recv.getContext();
         int length = context.getLength();
         if (length > 0) {
             int lastIndex = length - 1;
@@ -61,7 +59,6 @@ public Context selectContext(CSCallSite callSite, CSObj recv, JMethod callee) {
 
     @Override
     public Context selectHeapContext(CSMethod method, Obj obj) {
-        // TODO - finish me
         var context = method.getContext();
         int length = context.getLength();
         if (length > 1) {
@@ -71,4 +68,4 @@ public Context selectHeapContext(CSMethod method, Obj obj) {
         }
         return context;
     }
-}
+}

A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2TypeSelector.java

@@ -43,13 +43,11 @@ public Context getEmptyContext() {
 
     @Override
     public Context selectContext(CSCallSite callSite, JMethod callee) {
-        // TODO - finish me
         return callSite.getContext();
     }
 
     @Override
     public Context selectContext(CSCallSite callSite, CSObj recv, JMethod callee) {
-        // TODO - finish me
         var context = recv.getContext();
         int length = context.getLength();
         var type = recv.getObject().getContainerType();
@@ -63,7 +61,6 @@ public Context selectContext(CSCallSite callSite, CSObj recv, JMethod callee) {
 
     @Override
     public Context selectHeapContext(CSMethod method, Obj obj) {
-        // TODO - finish me
         Context context = method.getContext();
         int length = context.getLength();
         if(length > 1){