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

QLDoc

Browse Source
This commit is contained in:
Tony Torralba
2022-01-14 13:12:30 +01:00
parent 6aac848015
commit cde7a35c1f
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/lib/semmle/code/java/security/ImplicitPendingIntents.qll
View File

@@ -7,11 +7,13 @@ private import semmle.code.java.frameworks.android.PendingIntent
/** A source for an implicit `PendingIntent` flow. */
abstract class ImplicitPendingIntentSource extends DataFlow::Node {
/** Holds if this source has the specified `state`. */
predicate hasState(DataFlow::FlowState state) { state = "" }
}
/** A sink that sends an implicit and mutable `PendingIntent` to a third party. */
abstract class ImplicitPendingIntentSink extends DataFlow::Node {
/** Holds if this sink has the specified `state`. */
predicate hasState(DataFlow::FlowState state) { state = "" }
}

2
java/ql/src/Security/CWE/CWE-927/ImplicitPendingIntents.ql
View File

@@ -20,5 +20,5 @@ import DataFlow::PathGraph
from DataFlow::PathNode source, DataFlow::PathNode sink
where any(ImplicitPendingIntentStartConf conf).hasFlowPath(source, sink)
select sink.getNode(), source, sink,
"An implicit and mutable PendingIntent is created $@ and sent to an unspecified third party.",
"An implicit Intent is created $@ and sent to an unspecified third party through a PendingIntent.",
source.getNode(), "here"