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

Add tests and stubs for the new sources and flow steps

Browse Source
This commit is contained in:
Tony Torralba
2022-03-25 11:44:54 +01:00
parent b678467e9d
commit 7ba5a032ce
47 changed files with 1322 additions and 1989 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
java/ql/lib/semmle/code/java/frameworks/android/WebView.qll
View File

@@ -81,17 +81,17 @@ private class WebkitSourceModels extends SourceModelCsv {
override predicate row(string row) {
row =
[
"android.webkit;WebResourceRequest;true;doUpdateVisitedHistory;;;Parameter[1];remote",
"android.webkit;WebResourceRequest;true;onLoadResource;;;Parameter[1];remote",
"android.webkit;WebResourceRequest;true;onPageCommitVisible;;;Parameter[1];remote",
"android.webkit;WebResourceRequest;true;onPageFinished;;;Parameter[1];remote",
"android.webkit;WebResourceRequest;true;onPageStarted;;;Parameter[1];remote",
"android.webkit;WebResourceRequest;true;onReceivedError;(WebView,int,String,String);;Parameter[3];remote",
"android.webkit;WebResourceRequest;true;onReceivedError;(WebView,WebResourceRequest,WebResourceError);;Parameter[1];remote",
"android.webkit;WebResourceRequest;true;onReceivedHttpError;;;Parameter[1];remote",
"android.webkit;WebResourceRequest;true;onSafeBrowsingHit;;;Parameter[1];remote",
"android.webkit;WebResourceRequest;true;shouldInterceptRequest;;;Parameter[1];remote",
"android.webkit;WebResourceRequest;true;shouldOverrideUrlLoading;;;Parameter[1];remote"
"android.webkit;WebViewClient;true;doUpdateVisitedHistory;;;Parameter[1];remote",
"android.webkit;WebViewClient;true;onLoadResource;;;Parameter[1];remote",
"android.webkit;WebViewClient;true;onPageCommitVisible;;;Parameter[1];remote",
"android.webkit;WebViewClient;true;onPageFinished;;;Parameter[1];remote",
"android.webkit;WebViewClient;true;onPageStarted;;;Parameter[1];remote",
"android.webkit;WebViewClient;true;onReceivedError;(WebView,int,String,String);;Parameter[3];remote",
"android.webkit;WebViewClient;true;onReceivedError;(WebView,WebResourceRequest,WebResourceError);;Parameter[1];remote",
"android.webkit;WebViewClient;true;onReceivedHttpError;;;Parameter[1];remote",
"android.webkit;WebViewClient;true;onSafeBrowsingHit;;;Parameter[1];remote",
"android.webkit;WebViewClient;true;shouldInterceptRequest;;;Parameter[1];remote",
"android.webkit;WebViewClient;true;shouldOverrideUrlLoading;;;Parameter[1];remote"
]
}
}