Skip to content

Commit bea8788

Browse files
authored
Merge pull request #617 from timll/develop
Fix Map#clear() summary
2 parents 1a12b83 + 42ed389 commit bea8788

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

soot-infoflow-summaries/summariesManual/java.util.Map.xml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -65,9 +65,9 @@
6565
<method id="void clear()">
6666
<clears>
6767
<clear sourceSinkType="Field"
68-
AccessPath="[java.util.Set: java.lang.Object[] keys]" />
68+
AccessPath="[java.util.Map: java.lang.Object[] keys]" />
6969
<clear sourceSinkType="Field"
70-
AccessPath="[java.util.Set: java.lang.Object[] values]" />
70+
AccessPath="[java.util.Map: java.lang.Object[] values]" />
7171
</clears>
7272
</method>
7373
<method id="java.lang.Object remove(java.lang.Object)">

0 commit comments

Comments
 (0)