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

Use dedicated instance of DataFlow

Browse Source
This commit is contained in:
Tony Torralba
2022-01-17 16:24:39 +01:00
parent aef63f69b0
commit d9d9ad7d63
3 changed files with 4677 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowForOnActivityResult.qll Normal file
View File

@@ -0,0 +1,19 @@
/**
* Provides classes for performing local (intra-procedural) and
* global (inter-procedural) data flow analyses (for internal use only).
*
* This copy of the library is exclusively for use by `OnActivityResultSource.qll` and
* related libraries. Configurations computed using this instance of the library
* are in scope whenever `java.qll` is imported, and are used to compute among
* other things `RemoteFlowSource`s.
*/
import java
/**
* Provides classes for performing local (intra-procedural) and
* global (inter-procedural) data flow analyses (for internal use only).
*/
module DataFlowForOnActivityResult {
import semmle.code.java.dataflow.internal.DataFlowImplForOnActivityResult
}

4656
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForOnActivityResult.qll Normal file
View File

File diff suppressed because it is too large Load Diff

4
java/ql/lib/semmle/code/java/frameworks/android/OnActivityResultSource.qll
View File

@@ -2,7 +2,7 @@
import java
private import semmle.code.java.dataflow.DataFlow
private import semmle.code.java.dataflow.DataFlow5
private import semmle.code.java.dataflow.internal.DataFlowForOnActivityResult
private import semmle.code.java.frameworks.android.Android
private import semmle.code.java.frameworks.android.Fragment
private import semmle.code.java.frameworks.android.Intent
@@ -59,7 +59,7 @@ class OnActivityResultIncomingIntent extends DataFlow::Node {
/**
* A data flow configuration for implicit intents being used in `startActivityForResult`.
*/
private class ImplicitStartActivityForResultConf extends DataFlow5::Configuration {
private class ImplicitStartActivityForResultConf extends DataFlowForOnActivityResult::Configuration {
ImplicitStartActivityForResultConf() { this = "ImplicitStartActivityForResultConf" }
override predicate isSource(DataFlow::Node source) {