From 6edd8dbc65888fe7fada65a998fe225af59ccb29 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Johannes=20D=C3=BCsing?= Date: Thu, 2 Jul 2026 13:05:33 +0200 Subject: [PATCH 1/2] Fix duplicate update in callees and error in config --- .../main/scala/org/opalj/br/fpcf/properties/cg/Callees.scala | 1 - OPAL/tac/src/main/resources/reference.conf | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/OPAL/br/src/main/scala/org/opalj/br/fpcf/properties/cg/Callees.scala b/OPAL/br/src/main/scala/org/opalj/br/fpcf/properties/cg/Callees.scala index 27626872e7..7173659a5e 100644 --- a/OPAL/br/src/main/scala/org/opalj/br/fpcf/properties/cg/Callees.scala +++ b/OPAL/br/src/main/scala/org/opalj/br/fpcf/properties/cg/Callees.scala @@ -329,7 +329,6 @@ sealed class ConcreteCallees( indirectCallParameters: IntMap[IntMap[Seq[Option[(ValueInformation, br.PCs)]]]] ): Callees = { val cId = callerContext.id - directCalleesIds.updateWith(cId, directCallees, (o, n) => o.unionWith(n, (_, l, r) => l ++ r)) new ConcreteCallees( directCalleesIds.updateWith( cId, diff --git a/OPAL/tac/src/main/resources/reference.conf b/OPAL/tac/src/main/resources/reference.conf index d02069a03d..a0e333538e 100644 --- a/OPAL/tac/src/main/resources/reference.conf +++ b/OPAL/tac/src/main/resources/reference.conf @@ -1702,7 +1702,7 @@ org.opalj { "UnsafePointsTo", "SerializationAllocations", "NewInstance", - "ReflectionAllocationsAnalysisScheduler", + "org.opalj.tac.fpcf.analyses.pointsto.ReflectionAllocationsAnalysisScheduler", "org.opalj.tac.fpcf.analyses.fieldaccess.TriggeredFieldAccessInformationAnalysis", "org.opalj.tac.fpcf.analyses.fieldaccess.reflection.ReflectionRelatedFieldAccessesAnalysisScheduler", ] From 12ba612bfaf2aaace1ee39c39a983b7381d99916 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Johannes=20D=C3=BCsing?= Date: Thu, 2 Jul 2026 15:14:44 +0200 Subject: [PATCH 2/2] Revert change in reference.conf, will be addressed in separate issue --- OPAL/tac/src/main/resources/reference.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/OPAL/tac/src/main/resources/reference.conf b/OPAL/tac/src/main/resources/reference.conf index a0e333538e..d02069a03d 100644 --- a/OPAL/tac/src/main/resources/reference.conf +++ b/OPAL/tac/src/main/resources/reference.conf @@ -1702,7 +1702,7 @@ org.opalj { "UnsafePointsTo", "SerializationAllocations", "NewInstance", - "org.opalj.tac.fpcf.analyses.pointsto.ReflectionAllocationsAnalysisScheduler", + "ReflectionAllocationsAnalysisScheduler", "org.opalj.tac.fpcf.analyses.fieldaccess.TriggeredFieldAccessInformationAnalysis", "org.opalj.tac.fpcf.analyses.fieldaccess.reflection.ReflectionRelatedFieldAccessesAnalysisScheduler", ]