We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1a12b83 commit 42ed389Copy full SHA for 42ed389
1 file changed
soot-infoflow-summaries/summariesManual/java.util.Map.xml
@@ -65,9 +65,9 @@
65
<method id="void clear()">
66
<clears>
67
<clear sourceSinkType="Field"
68
- AccessPath="[java.util.Set: java.lang.Object[] keys]" />
+ AccessPath="[java.util.Map: java.lang.Object[] keys]" />
69
70
- AccessPath="[java.util.Set: java.lang.Object[] values]" />
+ AccessPath="[java.util.Map: java.lang.Object[] values]" />
71
</clears>
72
</method>
73
<method id="java.lang.Object remove(java.lang.Object)">
0 commit comments