Ignore Object.getClass() in library

pascal-lab · Sep 11, 2023 · d79f515 · d79f515
1 parent c45e1c4
commit d79f515
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/main/java/pascal/taie/analysis/pta/plugin/reflection/OthersModel.java b/src/main/java/pascal/taie/analysis/pta/plugin/reflection/OthersModel.java
@@ -80,6 +80,11 @@ public OthersModel(Solver solver, MetaObjHelper helper) {
     // ---------- Model for java.lang.Object starts ----------
     @InvokeHandler(signature = "<java.lang.Object: java.lang.Class getClass()>", argIndexes = {BASE})
     public void getClass(CSVar csVar, PointsToSet pts, Invoke invoke) {
+        if (!invoke.getContainer().isApplication()) {
+            // ignore Object.getClass() in library code, until
+            // we have better treatment with relevant reflective calls
+            return;
+        }
         Var result = invoke.getResult();
         if (result != null) {
             Context context = csVar.getContext();