Fix predicate name

This commit is contained in:
Tony Torralba
2021-11-11 10:55:35 +01:00
parent 79ddbd6fe4
commit 1e4840e071
2 changed files with 2 additions and 2 deletions

View File

@@ -18,6 +18,6 @@ from SensitiveSource data, LocalFileOpenCall s, Expr input, Expr store
where
input = s.getAnInput() and
store = s.getAStore() and
data.flowsToCached(input)
data.flowsTo(input)
select store, "Local file $@ containing $@ is stored $@. Data was added $@.", s, s.toString(), data,
"sensitive data", store, "here", input, "here"

View File

@@ -12,7 +12,7 @@ class CleartextStorageAndroidFilesystemTest extends InlineExpectationsTest {
exists(SensitiveSource data, LocalFileOpenCall s, Expr input, Expr store |
input = s.getAnInput() and
store = s.getAStore() and
data.flowsToCached(input)
data.flowsTo(input)
|
input.getLocation() = location and
element = input.toString() and