Fix predicate name

This commit is contained in:
Tony Torralba
2021-11-11 10:41:01 +01:00
parent 55dc783f28
commit ec8c234872
2 changed files with 2 additions and 2 deletions

View File

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

View File

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