hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 13:45:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Convert android tests to inline expectations

Browse Source
This commit is contained in:
Joe Farebrother
2021-04-26 16:59:40 +01:00
parent 95d8018a43
commit 865477d020
6 changed files with 221 additions and 333 deletions
Download Patch File Download Diff File Expand all files Collapse all files

192
java/ql/test/library-tests/frameworks/android/taint-database/Sinks.java
View File

@@ -25,58 +25,58 @@ public class Sinks {
}
public static void compileStatement(SQLiteDatabase target) {
String sql = taint();
String sql = taint(); // $hasTaintFlowSink
target.compileStatement(sql);
}
public static void delete1(MySQLiteQueryBuilder target) {
target = taint();;
target = taint(); // $hasTaintFlowSink
SQLiteDatabase db = taint();
String selection = taint();
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
target.delete(db, selection, selectionArgs);
}
public static void delete(SQLiteDatabase target) {
String table = taint();
String whereClause = taint();
String table = taint(); // $hasTaintFlowSink
String whereClause = taint(); // $hasTaintFlowSink
String[] whereArgs = taint();
target.delete(table, whereClause, whereArgs);
}
public static void delete(MyContentResolver target) {
Uri uri = taint();
String selection = taint();
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
target.delete(uri, selection, selectionArgs);
}
public static void delete(MyContentProvider target) {
Uri uri = taint();
String selection = taint();
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
target.delete(uri, selection, selectionArgs);
}
public static void execPerConnectionSQL(SQLiteDatabase target) {
String sql = taint();
String sql = taint(); // $hasTaintFlowSink
Object[] bindArgs = taint();
target.execPerConnectionSQL(sql, bindArgs);
}
public static void execSQL(SQLiteDatabase target) {
String sql = taint();
String sql = taint(); // $hasTaintFlowSink
target.execSQL(sql);
}
public static void execSQL2(SQLiteDatabase target) {
String sql = taint();
String sql = taint(); // $hasTaintFlowSink
Object[] bindArgs = taint();
target.execSQL(sql, bindArgs);
}
public static void insert(MySQLiteQueryBuilder target) {
target = taint();;
target = taint(); // $hasTaintFlowSink
SQLiteDatabase db = taint();
ContentValues values = taint();
target.insert(db, values);
@@ -84,90 +84,90 @@ public class Sinks {
public static void query(SQLiteDatabase target) {
boolean distinct = taint();
String table = taint();
String[] columns = taint();
String selection = taint();
String table = taint(); // $hasTaintFlowSink
String[] columns = taint(); // $hasTaintFlowSink
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String groupBy = taint();
String having = taint();
String orderBy = taint();
String limit = taint();
String groupBy = taint(); // $hasTaintFlowSink
String having = taint(); // $hasTaintFlowSink
String orderBy = taint(); // $hasTaintFlowSink
String limit = taint(); // $hasTaintFlowSink
target.query(distinct, table, columns, selection, selectionArgs, groupBy, having, orderBy, limit);
}
public static void query2(SQLiteDatabase target) {
boolean distinct = taint();
String table = taint();
String[] columns = taint();
String selection = taint();
String table = taint(); // $hasTaintFlowSink
String[] columns = taint(); // $hasTaintFlowSink
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String groupBy = taint();
String having = taint();
String orderBy = taint();
String limit = taint();
String groupBy = taint(); // $hasTaintFlowSink
String having = taint(); // $hasTaintFlowSink
String orderBy = taint(); // $hasTaintFlowSink
String limit = taint(); // $hasTaintFlowSink
CancellationSignal cancellationSignal = taint();
target.query(distinct, table, columns, selection, selectionArgs, groupBy, having, orderBy, limit,
cancellationSignal);
}
public static void query3(SQLiteDatabase target) {
String table = taint();
String[] columns = taint();
String selection = taint();
String table = taint(); // $hasTaintFlowSink
String[] columns = taint(); // $hasTaintFlowSink
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String groupBy = taint();
String having = taint();
String orderBy = taint();
String groupBy = taint(); // $hasTaintFlowSink
String having = taint(); // $hasTaintFlowSink
String orderBy = taint(); // $hasTaintFlowSink
target.query(table, columns, selection, selectionArgs, groupBy, having, orderBy);
}
public static void query4(SQLiteDatabase target) {
String table = taint();
String[] columns = taint();
String selection = taint();
String table = taint(); // $hasTaintFlowSink
String[] columns = taint(); // $hasTaintFlowSink
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String groupBy = taint();
String having = taint();
String orderBy = taint();
String limit = taint();
String groupBy = taint(); // $hasTaintFlowSink
String having = taint(); // $hasTaintFlowSink
String orderBy = taint(); // $hasTaintFlowSink
String limit = taint(); // $hasTaintFlowSink
target.query(table, columns, selection, selectionArgs, groupBy, having, orderBy, limit);
}
public static void query(MySQLiteQueryBuilder target) {
target = taint();;
target = taint(); // $hasTaintFlowSink
SQLiteDatabase db = taint();
String[] projectionIn = taint();
String selection = taint();
String[] projectionIn = taint(); // $hasTaintFlowSink
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String groupBy = taint();
String having = taint();
String sortOrder = taint();
String groupBy = taint(); // $hasTaintFlowSink
String having = taint(); // $hasTaintFlowSink
String sortOrder = taint(); // $hasTaintFlowSink
target.query(db, projectionIn, selection, selectionArgs, groupBy, having, sortOrder);
}
public static void query2(MySQLiteQueryBuilder target) {
target = taint();;
target = taint(); // $hasTaintFlowSink
SQLiteDatabase db = taint();
String[] projectionIn = taint();
String selection = taint();
String[] projectionIn = taint(); // $hasTaintFlowSink
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String groupBy = taint();
String having = taint();
String sortOrder = taint();
String limit = taint();
String groupBy = taint(); // $hasTaintFlowSink
String having = taint(); // $hasTaintFlowSink
String sortOrder = taint(); // $hasTaintFlowSink
String limit = taint(); // $hasTaintFlowSink
target.query(db, projectionIn, selection, selectionArgs, groupBy, having, sortOrder, limit);
}
public static void query3(MySQLiteQueryBuilder target) {
target = taint();;
target = taint(); // $hasTaintFlowSink
SQLiteDatabase db = taint();
String[] projectionIn = taint();
String selection = taint();
String[] projectionIn = taint(); // $hasTaintFlowSink
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String groupBy = taint();
String having = taint();
String sortOrder = taint();
String limit = taint();
String groupBy = taint(); // $hasTaintFlowSink
String having = taint(); // $hasTaintFlowSink
String sortOrder = taint(); // $hasTaintFlowSink
String limit = taint(); // $hasTaintFlowSink
CancellationSignal cancellationSignal = taint();
target.query(db, projectionIn, selection, selectionArgs, groupBy, having, sortOrder, limit, cancellationSignal);
}
@@ -175,7 +175,7 @@ public class Sinks {
public static void query3(MyContentProvider target) {
Uri uri = taint();
String[] projection = taint();
String selection = taint();
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String sortOrder = taint();
target.query(uri, projection, selection, selectionArgs, sortOrder);
@@ -184,7 +184,7 @@ public class Sinks {
public static void query(MyContentProvider target) {
Uri uri = taint();
String[] projection = taint();
String selection = taint();
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String sortOrder = taint();
CancellationSignal cancellationSignal = taint();
@@ -194,7 +194,7 @@ public class Sinks {
public static void query3(MyContentResolver target) {
Uri uri = taint();
String[] projection = taint();
String selection = taint();
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String sortOrder = taint();
target.query(uri, projection, selection, selectionArgs, sortOrder);
@@ -203,7 +203,7 @@ public class Sinks {
public static void query(MyContentResolver target) {
Uri uri = taint();
String[] projection = taint();
String selection = taint();
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String sortOrder = taint();
CancellationSignal cancellationSignal = taint();
@@ -213,14 +213,14 @@ public class Sinks {
public static void queryWithFactory(SQLiteDatabase target) {
SQLiteDatabase.CursorFactory cursorFactory = taint();
boolean distinct = taint();
String table = taint();
String[] columns = taint();
String selection = taint();
String table = taint(); // $hasTaintFlowSink
String[] columns = taint(); // $hasTaintFlowSink
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String groupBy = taint();
String having = taint();
String orderBy = taint();
String limit = taint();
String groupBy = taint(); // $hasTaintFlowSink
String having = taint(); // $hasTaintFlowSink
String orderBy = taint(); // $hasTaintFlowSink
String limit = taint(); // $hasTaintFlowSink
target.queryWithFactory(cursorFactory, distinct, table, columns, selection, selectionArgs, groupBy, having,
orderBy, limit);
}
@@ -228,27 +228,27 @@ public class Sinks {
public static void queryWithFactory2(SQLiteDatabase target) {
SQLiteDatabase.CursorFactory cursorFactory = taint();
boolean distinct = taint();
String table = taint();
String[] columns = taint();
String selection = taint();
String table = taint(); // $hasTaintFlowSink
String[] columns = taint(); // $hasTaintFlowSink
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String groupBy = taint();
String having = taint();
String orderBy = taint();
String limit = taint();
String groupBy = taint(); // $hasTaintFlowSink
String having = taint(); // $hasTaintFlowSink
String orderBy = taint(); // $hasTaintFlowSink
String limit = taint(); // $hasTaintFlowSink
CancellationSignal cancellationSignal = taint();
target.queryWithFactory(cursorFactory, distinct, table, columns, selection, selectionArgs, groupBy, having,
orderBy, limit, cancellationSignal);
}
public static void rawQuery(SQLiteDatabase target) {
String sql = taint();
String sql = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
target.rawQuery(sql, selectionArgs);
}
public static void rawQuery2(SQLiteDatabase target) {
String sql = taint();
String sql = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
CancellationSignal cancellationSignal = taint();
target.rawQuery(sql, selectionArgs, cancellationSignal);
@@ -256,7 +256,7 @@ public class Sinks {
public static void rawQueryWithFactory(SQLiteDatabase target) {
SQLiteDatabase.CursorFactory cursorFactory = taint();
String sql = taint();
String sql = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String editTable = taint();
target.rawQueryWithFactory(cursorFactory, sql, selectionArgs, editTable);
@@ -264,7 +264,7 @@ public class Sinks {
public static void rawQueryWithFactory2(SQLiteDatabase target) {
SQLiteDatabase.CursorFactory cursorFactory = taint();
String sql = taint();
String sql = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
String editTable = taint();
CancellationSignal cancellationSignal = taint();
@@ -272,18 +272,18 @@ public class Sinks {
}
public static void update(MySQLiteQueryBuilder target) {
target = taint();;
target = taint(); // $hasTaintFlowSink
SQLiteDatabase db = taint();
ContentValues values = taint();
String selection = taint();
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
target.update(db, values, selection, selectionArgs);
}
public static void update(SQLiteDatabase target) {
String table = taint();
String table = taint(); // $hasTaintFlowSink
ContentValues values = taint();
String whereClause = taint();
String whereClause = taint(); // $hasTaintFlowSink
String[] whereArgs = taint();
target.update(table, values, whereClause, whereArgs);
}
@@ -291,7 +291,7 @@ public class Sinks {
public static void update(MyContentResolver target) {
Uri uri = taint();
ContentValues values = taint();
String selection = taint();
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
target.update(uri, values, selection, selectionArgs);
}
@@ -299,15 +299,15 @@ public class Sinks {
public static void update(MyContentProvider target) {
Uri uri = taint();
ContentValues values = taint();
String selection = taint();
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
target.update(uri, values, selection, selectionArgs);
}
public static void updateWithOnConflict(SQLiteDatabase target) {
String table = taint();
String table = taint(); // $hasTaintFlowSink
ContentValues values = taint();
String whereClause = taint();
String whereClause = taint(); // $hasTaintFlowSink
String[] whereArgs = taint();
int conflictAlgorithm = taint();
target.updateWithOnConflict(table, values, whereClause, whereArgs, conflictAlgorithm);
@@ -315,15 +315,15 @@ public class Sinks {
public static void queryNumEntries() {
SQLiteDatabase db = taint();
String table = taint();
String selection = taint();
String table = taint(); // $hasTaintFlowSink
String selection = taint(); // $hasTaintFlowSink
DatabaseUtils.queryNumEntries(db, table, selection);
}
public static void queryNumEntries2() {
SQLiteDatabase db = taint();
String table = taint();
String selection = taint();
String table = taint(); // $hasTaintFlowSink
String selection = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
DatabaseUtils.queryNumEntries(db, table, selection, selectionArgs);
}
@@ -332,27 +332,27 @@ public class Sinks {
Context context = taint();
String dbName = taint();
int dbVersion = taint();
String sqlStatements = taint();
String sqlStatements = taint(); // $hasTaintFlowSink
DatabaseUtils.createDbFromSqlStatements(context, dbName, dbVersion, sqlStatements);
}
public static void blobFileDescriptorForQuery() {
SQLiteDatabase db = taint();
String query = taint();
String query = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
DatabaseUtils.blobFileDescriptorForQuery(db, query, selectionArgs);
}
public static void longForQuery() {
SQLiteDatabase db = taint();
String query = taint();
String query = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
DatabaseUtils.longForQuery(db, query, selectionArgs);
}
public static void stringForQuery() {
SQLiteDatabase db = taint();
String query = taint();
String query = taint(); // $hasTaintFlowSink
String[] selectionArgs = taint();
DatabaseUtils.stringForQuery(db, query, selectionArgs);
}