Clean up query and test files

This commit is contained in:
luchua-bc
2020-10-31 13:37:36 +00:00
parent b1d6bc5ba9
commit 7ac3fb41d5
9 changed files with 27 additions and 7 deletions

View File

@@ -4,7 +4,6 @@
private import java
private import semmle.code.java.dataflow.DataFlow
private import semmle.code.java.dataflow.FlowSources
/**
* A module importing the frameworks that implement additional flow steps,

View File

@@ -34,11 +34,16 @@ class AndroidComponent extends Class {
* An Android component that can be explicitly or implicitly exported.
*/
class ExportableAndroidComponent extends AndroidComponent {
/** Holds if this Android component is configured as `exported` or has intent filters configured without `exported` explicitly disabled in an `AndroidManifest.xml` file. */
/**
* Holds if this Android component is configured as `exported` or has intent
* filters configured without `exported` explicitly disabled in an
* `AndroidManifest.xml` file.
*/
override predicate isExported() {
getAndroidComponentXmlElement().isExported()
or
not getAndroidComponentXmlElement().isNotExported() and hasIntentFilter()
hasIntentFilter() and
not getAndroidComponentXmlElement().isNotExported()
}
}

View File

@@ -50,4 +50,4 @@ class BundleGetterMethods extends Method, TaintPreservingCallable {
}
override predicate returnsTaintFrom(int arg) { arg = -1 }
}
}