Fix predicate name

This commit is contained in:
Tony Torralba
2021-11-11 10:46:00 +01:00
parent 16b61f78e6
commit ee84dae164
3 changed files with 3 additions and 2 deletions

View File

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

View File

@@ -12,7 +12,7 @@ class CleartextStorageAndroidDatabaseTest extends InlineExpectationsTest {
exists(SensitiveSource data, LocalDatabaseOpenMethodAccess 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

View File

@@ -97,6 +97,7 @@ public class SQLiteDatabase extends SQLiteClosable
public void execPerConnectionSQL(String p0, Object[] p1){}
public void execSQL(String p0){}
public void execSQL(String p0, Object[] p1){}
public void execPerConnectionSQL (String p0, Object[] p1){}
public void markTableSyncable(String p0, String p1){}
public void markTableSyncable(String p0, String p1, String p2){}
public void setCustomAggregateFunction(String p0, BinaryOperator<String> p1){}