Add key-read-steps as local additional taint steps

This commit is contained in:
Tony Torralba
2021-06-07 11:37:05 +02:00
parent 3923acb5e0
commit 52f1930e1d

View File

@@ -69,6 +69,7 @@ private module Cached {
| |
f instanceof ArrayContent or f instanceof ArrayContent or
f instanceof CollectionContent or f instanceof CollectionContent or
f instanceof MapKeyContent or
f instanceof MapValueContent f instanceof MapValueContent
) )
or or