Skip to content

Commit 0f65d7a

Browse files
committed
fixes #788
1 parent e1bc90b commit 0f65d7a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

soot-infoflow-summaries/summariesManual/javax.servlet.ServletRequest.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@
1515
</flows>
1616
<clears>
1717
<clear sourceSinkType="Field"
18-
AccessPath="[[javax.servlet.ServletRequest: java.lang.Object[] attributes]"
18+
AccessPath="[javax.servlet.ServletRequest: java.lang.Object[] attributes]"
1919
AccessPathTypes="[java.lang.Object[]]"
2020
constrained="true" />
2121
</clears>

0 commit comments

Comments
 (0)