From 749642d10c83b770fa0e627a9a3abee698744481 Mon Sep 17 00:00:00 2001 From: ak-go Date: Wed, 13 May 2026 11:00:06 +0200 Subject: [PATCH 1/6] add eclipse collections interfaces --- ...lipse.collections.api.InternalIterable.xml | 111 +++++ ...tions.api.collection.MutableCollection.xml | 39 ++ ...lipse.collections.api.list.MutableList.xml | 386 ++++++++++++++++++ 3 files changed, 536 insertions(+) create mode 100644 soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml create mode 100644 soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml create mode 100644 soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml new file mode 100644 index 000000000..0984602f0 --- /dev/null +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml @@ -0,0 +1,111 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml new file mode 100644 index 000000000..2639ac759 --- /dev/null +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml @@ -0,0 +1,39 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml new file mode 100644 index 000000000..d42a07458 --- /dev/null +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml @@ -0,0 +1,386 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file From c839c068186b6af0a73d1eb1d4f2ac48c746e877 Mon Sep 17 00:00:00 2001 From: ak-go Date: Wed, 3 Jun 2026 15:18:26 +0200 Subject: [PATCH 2/6] add summaries for RichIterable --- ...g.eclipse.collections.api.RichIterable.xml | 4710 +++++++++++++++++ 1 file changed, 4710 insertions(+) create mode 100644 soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml new file mode 100644 index 000000000..a5f3057a0 --- /dev/null +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml @@ -0,0 +1,4710 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + > + + + + + + + + > + + + + + + + + + + + > + + + + + + + + + + + + > + + + + + + + + + + + + > + + + + + + + + > + + + + + + + + > + + + + + + + + > + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + > + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file From 532724d638f3146b974aa8f764df80d320b4c383 Mon Sep 17 00:00:00 2001 From: ak-go Date: Tue, 23 Jun 2026 17:19:22 +0200 Subject: [PATCH 3/6] fix isAlias --- ...g.eclipse.collections.api.RichIterable.xml | 611 +++++++++--------- ...tions.api.collection.MutableCollection.xml | 2 +- ...lipse.collections.api.list.MutableList.xml | 8 +- 3 files changed, 298 insertions(+), 323 deletions(-) diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml index a5f3057a0..86dd1656c 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml @@ -1032,7 +1032,7 @@ + gap="12" /> @@ -1071,7 +1071,7 @@ + gap="12" /> @@ -1320,14 +1320,14 @@ - + - + @@ -1335,7 +1335,7 @@ ParameterIndex="0" gap="11" /> - + @@ -1347,14 +1347,14 @@ - + - + @@ -1362,14 +1362,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1381,14 +1381,14 @@ - + - + @@ -1396,7 +1396,7 @@ ParameterIndex="0" gap="11" /> - + @@ -1408,14 +1408,14 @@ - + - + @@ -1423,14 +1423,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1442,14 +1442,14 @@ - + - + @@ -1457,7 +1457,7 @@ ParameterIndex="0" gap="11" /> - + @@ -1465,7 +1465,7 @@ AccessPath="[java.lang.Object: java.lang.Object value]" AccessPathTypes="[java.lang.Object]" /> - + @@ -1474,14 +1474,14 @@ - + - + @@ -1489,14 +1489,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1504,7 +1504,7 @@ AccessPath="[java.lang.Object: java.lang.Object value]" AccessPathTypes="[java.lang.Object]" /> - + @@ -1513,14 +1513,14 @@ - + - + @@ -1528,7 +1528,7 @@ ParameterIndex="0" gap="11" /> - + - + - + @@ -1554,13 +1554,13 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1569,14 +1569,14 @@ - + - + @@ -1584,7 +1584,7 @@ ParameterIndex="0" gap="11" /> - + @@ -1598,14 +1598,14 @@ - + - + @@ -1613,12 +1613,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1627,14 +1627,14 @@ - + - + @@ -1642,12 +1642,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1656,14 +1656,14 @@ - + - + @@ -1671,12 +1671,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1685,14 +1685,14 @@ - + - + @@ -1700,12 +1700,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1714,14 +1714,14 @@ - + - + @@ -1729,12 +1729,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1743,14 +1743,14 @@ - + - + @@ -1758,12 +1758,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1772,14 +1772,14 @@ - + - + @@ -1787,12 +1787,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1801,21 +1801,21 @@ - + - + - + @@ -1823,7 +1823,7 @@ ParameterIndex="0" gap="11" /> - + @@ -1832,21 +1832,21 @@ - + - + - + @@ -1854,12 +1854,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1868,14 +1868,14 @@ > - + - + @@ -1883,7 +1883,7 @@ ParameterIndex="0" gap="11" /> > - + @@ -1939,7 +1939,7 @@ > - + @@ -1949,7 +1949,7 @@ > - + @@ -1959,7 +1959,7 @@ > - + @@ -1969,7 +1969,7 @@ > - + @@ -1979,14 +1979,14 @@ - + - + @@ -1994,14 +1994,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -2013,14 +2013,14 @@ - + - + @@ -2028,7 +2028,7 @@ ParameterIndex="0" gap="11" /> - + - + @@ -2045,7 +2045,7 @@ AccessPath="[org.eclipse.collections.api.multimap.MutableMultimap: java.lang.Object[] values]" AccessPathTypes="[java.lang.Object[]]" /> - + @@ -2109,14 +2109,14 @@ - + - + @@ -2124,14 +2124,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -2143,14 +2143,14 @@ - + - + @@ -2158,7 +2158,7 @@ ParameterIndex="0" gap="11" /> - + - + @@ -2175,7 +2175,7 @@ AccessPath="[org.eclipse.collections.api.multimap.Multimap: java.lang.Object[] values]" AccessPathTypes="[java.lang.Object[]]"/> - + @@ -2184,14 +2184,14 @@ - + - + @@ -2199,14 +2199,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -2218,14 +2218,14 @@ - + - + @@ -2233,7 +2233,7 @@ ParameterIndex="0" gap="11" /> - + - + @@ -2250,7 +2250,7 @@ AccessPath="[org.eclipse.collections.api.multimap.MutableMultimap: java.lang.Object[] values]" AccessPathTypes="[java.lang.Object[]]" /> - + @@ -2349,7 +2349,7 @@ - + @@ -2359,14 +2359,14 @@ - + - + @@ -2374,7 +2374,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2382,7 +2382,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2394,14 +2394,14 @@ - + - + @@ -2409,7 +2409,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2417,7 +2417,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2429,14 +2429,14 @@ - + - + @@ -2444,7 +2444,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2452,7 +2452,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2462,7 +2462,7 @@ - + @@ -2472,14 +2472,14 @@ - + - + @@ -2487,7 +2487,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2495,7 +2495,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2505,7 +2505,7 @@ - + @@ -2517,14 +2517,14 @@ - + - + @@ -2532,7 +2532,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2540,7 +2540,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2552,14 +2552,14 @@ - + - + @@ -2567,7 +2567,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2575,7 +2575,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2587,7 +2587,7 @@ - + @@ -2599,14 +2599,14 @@ - + - + @@ -2614,7 +2614,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2622,7 +2622,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2632,14 +2632,14 @@ - + - + @@ -2647,7 +2647,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2655,7 +2655,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2726,7 +2726,7 @@ @@ -2845,21 +2845,21 @@ - + - + - + @@ -2867,7 +2867,7 @@ ParameterIndex="0" gap="11" /> - + @@ -2900,30 +2900,17 @@ ParameterIndex="0" gap="11" /> - - - - + ParameterIndex="1" /> - - - + + + @@ -2935,21 +2922,21 @@ - + - + - + @@ -2957,30 +2944,17 @@ ParameterIndex="0" gap="11" /> - - - - - - - - + ParameterIndex="2" /> + + + + @@ -2992,14 +2966,14 @@ - + - + @@ -3007,7 +2981,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3018,14 +2992,14 @@ - + - + @@ -3033,7 +3007,7 @@ ParameterIndex="0" gap="11" /> - + - - + + - + - + - + @@ -3078,7 +3053,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3089,14 +3064,14 @@ - + - + @@ -3104,7 +3079,7 @@ ParameterIndex="0" gap="11" /> - + - + @@ -3129,7 +3104,7 @@ - + @@ -3172,14 +3147,14 @@ + gap="11" /> + gap="12" /> @@ -3220,14 +3195,14 @@ + gap="11" /> + gap="12" /> @@ -3268,14 +3243,14 @@ + gap="11" /> + gap="12" /> @@ -3316,14 +3291,14 @@ + gap="11" /> + gap="12" /> @@ -3576,7 +3551,7 @@ BaseType="java.util.Comparator" gap="11" /> - + @@ -3584,7 +3559,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3653,7 +3628,7 @@ BaseType="java.util.Comparator" gap="11" /> - + @@ -3661,7 +3636,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3679,14 +3654,14 @@ - + - + @@ -3694,7 +3669,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3730,7 +3705,7 @@ BaseType="java.util.Comparator" gap="11" /> - + @@ -3738,7 +3713,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3756,14 +3731,14 @@ - + - + @@ -3771,7 +3746,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3780,21 +3755,21 @@ - + - + - + @@ -3802,14 +3777,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -3817,16 +3792,16 @@ ParameterIndex="0" gap="12" /> - + + gap="11" /> - + + gap="12" /> @@ -3835,21 +3810,21 @@ - + - + - + @@ -3857,14 +3832,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -3872,7 +3847,7 @@ ParameterIndex="0" gap="12" /> - + - + > - + - + - + - + @@ -3921,7 +3896,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3929,16 +3904,16 @@ ParameterIndex="0" gap="12" /> - + + gap="11" /> - + + gap="12" /> @@ -3954,7 +3929,7 @@ BaseType="java.util.Comparator" gap="11" /> - + @@ -3962,7 +3937,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3970,21 +3945,21 @@ ParameterIndex="1" gap="11" /> - + - + - + @@ -3992,7 +3967,7 @@ ParameterIndex="0" gap="11" /> - + @@ -4000,16 +3975,16 @@ ParameterIndex="0" gap="12" /> - + - + + gap="12" /> @@ -4025,7 +4000,7 @@ BaseType="org.eclipse.collections.api.block.function.Function" gap="11" /> - + @@ -4033,21 +4008,21 @@ ParameterIndex="0" gap="11" /> - + - + - + @@ -4055,7 +4030,7 @@ ParameterIndex="0" gap="12" /> - + @@ -4063,16 +4038,16 @@ ParameterIndex="0" gap="13" /> - + - + + gap="13" /> @@ -4081,21 +4056,21 @@ - + - + - + @@ -4103,7 +4078,7 @@ ParameterIndex="0" gap="11" /> - + @@ -4111,16 +4086,16 @@ ParameterIndex="0" gap="12" /> - + + gap="11" /> - + + gap="12" /> @@ -4363,21 +4338,21 @@ - + - + - + @@ -4385,7 +4360,7 @@ ParameterIndex="0" gap="11" /> - + @@ -4393,16 +4368,16 @@ ParameterIndex="0" gap="12" /> - + + gap="11" /> - + + gap="12" /> @@ -4411,21 +4386,21 @@ - + - + - + @@ -4433,7 +4408,7 @@ ParameterIndex="0" gap="11" /> - + @@ -4441,16 +4416,16 @@ ParameterIndex="0" gap="12" /> - + + gap="11" /> - + + gap="12" /> @@ -4468,14 +4443,14 @@ - + - + @@ -4483,21 +4458,21 @@ ParameterIndex="0" gap="11" /> - + - + - + @@ -4505,7 +4480,7 @@ ParameterIndex="1" gap="12" /> - + @@ -4514,14 +4489,14 @@ - + - + @@ -4529,21 +4504,21 @@ ParameterIndex="0" gap="11" /> - + - + - + @@ -4551,7 +4526,7 @@ ParameterIndex="0" gap="12" /> - + @@ -4559,16 +4534,16 @@ ParameterIndex="1" gap="12" /> - + + gap="11" /> - + + gap="12" /> @@ -4577,14 +4552,14 @@ - + - + @@ -4592,21 +4567,21 @@ ParameterIndex="0" gap="11" /> - + - + - + @@ -4614,7 +4589,7 @@ ParameterIndex="0" gap="12" /> - + @@ -4622,21 +4597,21 @@ ParameterIndex="1" gap="12" /> - + + gap="11" /> - + + gap="12" /> - + diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml index 2639ac759..e0c723a9c 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml @@ -27,7 +27,7 @@ - + diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml index d42a07458..1ac68cfc7 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml @@ -33,7 +33,7 @@ - + - + - + - + Date: Fri, 3 Jul 2026 14:35:40 +0200 Subject: [PATCH 4/6] fix clears --- ...lipse.collections.api.InternalIterable.xml | 24 -------- ...g.eclipse.collections.api.RichIterable.xml | 30 ---------- ...lipse.collections.api.list.MutableList.xml | 60 ------------------- 3 files changed, 114 deletions(-) diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml index 0984602f0..f5c53be0c 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml @@ -21,12 +21,6 @@ gap="11" /> - - - @@ -45,12 +39,6 @@ gap="11" /> - - - @@ -76,12 +64,6 @@ gap="11" /> - - - @@ -100,12 +82,6 @@ gap="11" /> - - - \ No newline at end of file diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml index 86dd1656c..2b9b1951b 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml @@ -1892,12 +1892,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - > @@ -2836,12 +2830,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -2876,12 +2864,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -2913,12 +2895,6 @@ - - - @@ -2957,12 +2933,6 @@ - - - diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml index 1ac68cfc7..dccce0264 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml @@ -24,12 +24,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -63,12 +57,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -102,12 +90,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -141,12 +123,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -180,12 +156,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -219,12 +189,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -258,12 +222,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -297,12 +255,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -336,12 +288,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -375,12 +321,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - \ No newline at end of file From 7562d3c5a0396c79914c0fa2b4d8306487bd268f Mon Sep 17 00:00:00 2001 From: ak-go Date: Thu, 6 Aug 2026 12:37:21 +0200 Subject: [PATCH 5/6] fix field self-flows & add gap definitions --- ...lipse.collections.api.InternalIterable.xml | 24 +- ...g.eclipse.collections.api.RichIterable.xml | 1362 +++++++++-------- ...tions.api.collection.MutableCollection.xml | 30 +- ...lipse.collections.api.list.MutableList.xml | 137 +- 4 files changed, 816 insertions(+), 737 deletions(-) diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml index f5c53be0c..cddb9117d 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml @@ -12,13 +12,13 @@ AccessPathTypes="[java.lang.Object[]]" /> + gap="1" /> + gap="1" /> @@ -30,13 +30,13 @@ AccessPathTypes="[java.lang.Object[]]" /> + gap="2" /> + gap="2" /> @@ -48,20 +48,20 @@ AccessPathTypes="[java.lang.Object[]]" /> + gap="3" /> + gap="3" /> + gap="3" /> @@ -73,15 +73,21 @@ AccessPathTypes="[java.lang.Object[]]" /> + gap="4" /> + gap="4" /> + + + + + + \ No newline at end of file diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml index 2b9b1951b..0e069d0bc 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml @@ -11,14 +11,14 @@ ParameterIndex="1" /> + gap="2" /> + gap="2" /> + gap="2" /> + gap="2" /> + gap="2" /> + gap="2" /> @@ -49,14 +49,14 @@ ParameterIndex="1" /> + gap="7" /> + gap="7" /> + gap="7" /> + gap="7" /> + gap="7" /> @@ -82,14 +82,14 @@ ParameterIndex="1" /> + gap="7" /> + gap="7" /> + gap="7" /> + gap="7" /> + gap="7" /> @@ -115,14 +115,14 @@ ParameterIndex="1" /> + gap="8" /> + gap="8" /> + gap="8" /> + gap="8" /> + gap="8" /> @@ -148,14 +148,14 @@ ParameterIndex="1" /> + gap="8" /> + gap="8" /> + gap="8" /> + gap="8" /> + gap="8" /> @@ -181,14 +181,14 @@ ParameterIndex="1" /> + gap="9" /> + gap="9" /> + gap="9" /> + gap="9" /> + gap="9" /> @@ -214,14 +214,14 @@ ParameterIndex="1" /> + gap="9" /> + gap="9" /> + gap="9" /> + gap="9" /> + gap="9" /> @@ -247,14 +247,14 @@ ParameterIndex="1" /> + gap="10" /> + gap="10" /> + gap="10" /> + gap="10" /> + gap="10" /> @@ -280,14 +280,14 @@ ParameterIndex="1" /> + gap="10" /> + gap="10" /> + gap="10" /> + gap="10" /> + gap="10" /> @@ -310,10 +310,11 @@ + - - + - + + BaseType="org.eclipse.collections.api.block.predicate.Predicate" + gap="1" /> - - + + gap="1" /> - + - + + BaseType="org.eclipse.collections.api.block.predicate.Predicate2" + gap="0" /> - - + + + + + + gap="0" /> - + + + + + + + + + + + + + + + + + + + + + + + + + + gap="0" /> - + - + + BaseType="org.eclipse.collections.api.block.predicate.Predicate" + gap="1" /> - - + + gap="1" /> - + + + + + + + + + + + + + + gap="0" /> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ParameterIndex="0" /> + ParameterIndex="0" /> @@ -431,7 +533,7 @@ ParameterIndex="0" /> + gap="3" /> + gap="3" /> + gap="3" /> @@ -455,7 +557,7 @@ ParameterIndex="0" /> + gap="3" /> + gap="3" /> + gap="3" /> @@ -485,7 +587,7 @@ ParameterIndex="0" /> + gap="12" /> + gap="12" /> + gap="12" /> @@ -509,7 +611,7 @@ ParameterIndex="0" /> + gap="12" /> + gap="12" /> - - - - + - - - - - - - - - - - - - - - - - + gap="13" /> + gap="13" /> + gap="13" /> @@ -591,7 +665,7 @@ ParameterIndex="0" /> + gap="13" /> + gap="13" /> - + gap="13" /> + + gap="14" /> + gap="14" /> + gap="14" /> @@ -644,7 +719,7 @@ ParameterIndex="0" /> + gap="14" /> + gap="14" /> - + gap="14" /> + + gap="15" /> + gap="15" /> + gap="15" /> @@ -697,7 +773,7 @@ ParameterIndex="0" /> + gap="15" /> + gap="15" /> - + gap="15" /> + + gap="16" /> + gap="16" /> + gap="16" /> @@ -750,7 +827,7 @@ ParameterIndex="0" /> + gap="16" /> + gap="16" /> - + gap="16" /> + + gap="17" /> + gap="17" /> + gap="17" /> @@ -803,7 +881,7 @@ ParameterIndex="0" /> + gap="17" /> + gap="17" /> - + gap="17" /> + + gap="18" /> + gap="18" /> + gap="18" /> @@ -856,7 +935,7 @@ ParameterIndex="0" /> + gap="18" /> + gap="18" /> - + gap="18" /> + + gap="19" /> + gap="19" /> + gap="19" /> @@ -909,7 +989,7 @@ ParameterIndex="0" /> + gap="19" /> + gap="19" /> - + gap="19" /> + + gap="2" /> + gap="2" /> + gap="2" /> + gap="2" /> @@ -969,14 +1050,14 @@ ParameterIndex="0" /> + gap="2" /> + gap="2" /> + gap="2" /> - + gap="2" /> + + gap="1" /> + gap="3" /> + gap="1" /> + gap="3" /> + gap="3" /> - + + gap="1" /> + gap="3" /> + gap="1" /> + gap="3" /> - + gap="3" /> + + gap="3" /> + gap="3" /> @@ -1107,7 +1190,7 @@ ParameterIndex="0" /> + gap="1" /> + gap="1" /> @@ -1126,7 +1209,7 @@ ParameterIndex="0" /> + gap="0" /> + gap="0" /> + gap="0" /> @@ -1152,7 +1235,7 @@ ParameterIndex="0" /> + gap="3" /> + gap="3" /> + gap="3" /> - + + gap="3" /> + gap="3" /> - + gap="3" /> + + gap="2" /> + gap="2" /> + gap="2" /> + gap="2" /> @@ -1236,14 +1320,14 @@ ParameterIndex="0" /> + gap="2" /> + gap="2" /> + gap="2" /> - + gap="2" /> + + gap="3" /> + gap="3" /> + gap="3" /> - + + gap="3" /> + gap="3" /> - + gap="3" /> + + gap="1" /> + gap="1" /> + gap="0" /> + gap="0" /> + gap="0" /> + gap="1" /> + gap="1" /> + gap="0" /> + gap="0" /> + gap="0" /> + gap="1" /> + + + + + gap="1" /> - + @@ -1479,7 +1572,14 @@ ParameterIndex="0" /> + gap="0" /> + + + + + gap="0" /> + gap="0" /> - + @@ -1518,7 +1618,7 @@ ParameterIndex="0" /> + gap="3" /> + gap="3" /> + gap="3" /> @@ -1544,7 +1644,7 @@ ParameterIndex="0" /> + gap="3" /> + gap="3" /> + gap="3" /> @@ -1574,7 +1674,7 @@ ParameterIndex="0" /> + gap="3" /> + gap="3" /> - + gap="3" /> + + gap="3" /> + gap="3" /> - + gap="3" /> + + gap="3" /> + gap="3" /> - + gap="3" /> + + gap="3" /> + gap="3" /> - + gap="3" /> + + gap="3" /> + gap="3" /> - + gap="3" /> + + gap="3" /> + gap="3" /> - + gap="3" /> + + gap="3" /> + gap="3" /> - + gap="3" /> + + gap="3" /> + gap="3" /> - + gap="3" /> + + gap="2" /> + gap="2" /> + gap="2" /> + gap="2" /> @@ -1837,14 +1945,14 @@ ParameterIndex="0" /> + gap="2" /> + gap="2" /> + gap="2" /> - + gap="2" /> + - > + + gap="20" /> - > + gap="20" /> + - > + + gap="20" /> + gap="20" /> - > + + gap="20" /> + gap="20" /> - > + - > + - > + - > + + gap="3" /> + gap="3" /> + gap="3" /> @@ -2012,7 +2121,7 @@ ParameterIndex="0" /> + gap="3" /> + gap="3" /> + gap="3" /> @@ -2035,8 +2144,8 @@ AccessPath="[org.eclipse.collections.api.RichIterable: java.lang.Object[] innerArray]" AccessPathTypes="[java.lang.Object[]]" /> @@ -2053,14 +2162,14 @@ ParameterIndex="0" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> @@ -2108,7 +2217,7 @@ ParameterIndex="0" /> + gap="3" /> + gap="3" /> + gap="3" /> @@ -2135,14 +2244,14 @@ - + + gap="3" /> + gap="3" /> + gap="3" /> + AccessPath="[org.eclipse.collections.api.RichIterable: java.lang.Object[] innerArray]" + AccessPathTypes="[java.lang.Object[]]" /> + AccessPathTypes="[java.lang.Object[]]" /> + gap="3" /> + gap="3" /> + gap="3" /> @@ -2217,7 +2326,7 @@ ParameterIndex="0" /> + gap="3" /> + gap="3" /> + gap="3" /> @@ -2240,8 +2349,8 @@ AccessPath="[org.eclipse.collections.api.RichIterable: java.lang.Object[] innerArray]" AccessPathTypes="[java.lang.Object[]]" /> @@ -2308,7 +2417,7 @@ ParameterIndex="0" /> + gap="3" /> - - - - + gap="3" /> + gap="23" /> + gap="23" /> + gap="23" /> + gap="3" /> + gap="3" /> + gap="3" /> + gap="3" /> + gap="3" /> + gap="3" /> + gap="23" /> + gap="23" /> + gap="23" /> + gap="23" /> + gap="23" /> + gap="23" /> + gap="3" /> - - - - + gap="3" /> + gap="23" /> + gap="23" /> + gap="23" /> + gap="3" /> - - - - + gap="3" /> + BaseType="org.eclipse.collections.api.block.predicate.Predicate" + gap="1" /> + gap="1" /> + BaseType="org.eclipse.collections.api.block.predicate.Predicate2" + gap="0" /> + gap="0" /> + gap="0" /> + gap="22" /> + gap="22" /> + gap="22" /> + gap="22" /> + gap="22" /> - + - - - - + gap="24" /> + gap="11" /> + gap="11" /> + gap="24" /> + gap="11" /> + gap="11" /> @@ -2811,7 +2891,7 @@ ParameterIndex="0" /> + gap="1" /> + gap="1" /> + gap="0" /> + gap="0" /> + gap="0" /> + gap="1" /> + gap="1" /> + gap="0" /> + gap="0" /> + gap="0" /> + gap="1" /> + gap="1" /> + gap="1" /> + gap="1" /> + gap="1" /> + gap="0" /> + gap="0" /> + gap="0" /> + gap="0" /> + gap="0" /> + gap="0" /> + gap="3" /> + gap="15" /> + gap="3" /> + gap="15" /> + gap="3" /> + gap="15" /> @@ -3138,14 +3218,14 @@ ParameterIndex="0" /> + gap="3" /> + gap="17" /> + gap="3" /> + gap="17" /> + gap="3" /> + gap="17" /> @@ -3186,14 +3266,14 @@ ParameterIndex="0" /> + gap="3" /> + gap="18" /> + gap="3" /> + gap="18" /> + gap="3" /> + gap="18" /> @@ -3234,14 +3314,14 @@ ParameterIndex="0" /> + gap="3" /> + gap="16" /> + gap="3" /> + gap="16" /> + gap="3" /> + gap="16" /> @@ -3282,7 +3362,7 @@ ParameterIndex="1" /> + gap="15" /> + gap="15" /> + gap="15" /> @@ -3306,7 +3386,7 @@ ParameterIndex="1" /> + gap="16" /> + gap="16" /> + gap="16" /> @@ -3330,7 +3410,7 @@ ParameterIndex="1" /> + gap="17" /> + gap="17" /> + gap="17" /> @@ -3354,7 +3434,7 @@ ParameterIndex="1" /> + gap="18" /> + gap="18" /> + gap="18" /> @@ -3378,7 +3458,7 @@ ParameterIndex="0" /> + gap="15" /> + gap="15" /> @@ -3397,7 +3477,7 @@ ParameterIndex="0" /> + gap="16" /> + gap="16" /> @@ -3416,7 +3496,7 @@ ParameterIndex="0" /> + gap="17" /> + gap="17" /> @@ -3435,7 +3515,7 @@ ParameterIndex="0" /> + gap="18" /> + gap="18" /> @@ -3454,7 +3534,7 @@ ParameterIndex="0" /> + gap="15" /> + gap="15" /> @@ -3482,12 +3562,6 @@ - - - - @@ -3519,7 +3593,7 @@ ParameterIndex="0" /> + gap="23" /> + gap="23" /> + gap="23" /> + gap="3" /> + gap="3" /> - + @@ -3596,7 +3671,7 @@ ParameterIndex="0" /> + gap="23" /> + gap="23" /> + gap="23" /> + gap="3" /> + gap="3" /> - + @@ -3673,7 +3749,7 @@ ParameterIndex="0" /> + gap="23" /> + gap="23" /> + gap="23" /> + gap="3" /> + gap="3" /> - + @@ -3730,14 +3807,14 @@ ParameterIndex="0" /> + gap="3" /> + gap="4" /> - - - - + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> @@ -3785,14 +3855,14 @@ ParameterIndex="0" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> + gap="4" /> + gap="3" /> + gap="4" /> - > + ParameterIndex="2" + AccessPath="[org.eclipse.collections.api.map.MutableMap: java.lang.Object[] values]" + AccessPathTypes="[java.lang.Object[]]" /> + - + @@ -3849,14 +3917,14 @@ ParameterIndex="0" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> @@ -3897,7 +3965,7 @@ ParameterIndex="0" /> + gap="23" /> + gap="23" /> + gap="3" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> @@ -3968,7 +4036,7 @@ ParameterIndex="0" /> + gap="3" /> + gap="3" /> + gap="4" /> + gap="5" /> + gap="4" /> + gap="5" /> + gap="4" /> + gap="5" /> @@ -4031,14 +4099,14 @@ ParameterIndex="0" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> @@ -4119,7 +4187,7 @@ ParameterIndex="0" /> + gap="23" /> + gap="23" /> + gap="23" /> + gap="3" /> + gap="3" /> + gap="23" /> + gap="23" /> + gap="23" /> + gap="3" /> + gap="3" /> + gap="23" /> + gap="23" /> + gap="23" /> + gap="3" /> + gap="3" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> @@ -4361,14 +4429,14 @@ ParameterIndex="0" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> + gap="3" /> + gap="4" /> @@ -4405,7 +4473,7 @@ - @@ -4418,7 +4486,7 @@ ParameterIndex="0" /> + gap="3" /> + gap="3" /> + + + + + ParameterIndex="0" + gap="21" /> + gap="21" /> + gap="21" /> + gap="21" /> @@ -4464,7 +4539,14 @@ ParameterIndex="0" /> + gap="3" /> + + + + + gap="3" /> - + + gap="2" /> + gap="2" /> + gap="2" /> + gap="2" /> + gap="3" /> + gap="2" /> @@ -4527,7 +4609,14 @@ ParameterIndex="0" /> + gap="3" /> + + + + + gap="3" /> - + + gap="2" /> + gap="2" /> + gap="2" /> + gap="2" /> - + - + @@ -4652,4 +4743,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml index e0c723a9c..73badd25c 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml @@ -9,7 +9,7 @@ @@ -19,7 +19,7 @@ @@ -29,11 +29,35 @@ + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml index dccce0264..c74a737e8 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml @@ -15,14 +15,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - - @@ -32,7 +24,7 @@ ParameterIndex="0" /> + gap="1" /> + gap="1" /> - - - - @@ -65,7 +49,7 @@ ParameterIndex="0" /> + gap="2" /> + gap="2" /> - - - - @@ -98,7 +74,7 @@ ParameterIndex="0" /> + gap="3" /> + gap="3" /> - - - - @@ -131,7 +99,7 @@ ParameterIndex="0" /> + gap="4" /> + gap="4" /> - - - - - + + gap="5" /> + gap="5" /> - - - - - + + gap="6" /> + gap="6" /> - - - - - + + gap="7" /> + gap="7" /> - - - - - + + gap="8" /> + gap="8" /> - - - - - + + gap="9" /> + gap="9" /> - - - - + + + + + + + + + + + \ No newline at end of file From f41fd56996c8c3e52c2b4f17e150205b76a375d2 Mon Sep 17 00:00:00 2001 From: ak-go Date: Fri, 11 Sep 2026 11:18:45 +0200 Subject: [PATCH 6/6] fix field accesspath --- ...clipse.collections.api.list.MutableList.xml | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml index c74a737e8..984a12052 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml @@ -28,7 +28,7 @@