mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
19 lines
512 B
Plaintext
19 lines
512 B
Plaintext
import java
|
|
import semmle.code.java.dataflow.DataFlow
|
|
import DataFlow
|
|
import PartialPathGraph
|
|
|
|
class Conf extends Configuration {
|
|
Conf() { this = "partial flow" }
|
|
|
|
override predicate isSource(Node n) { n.asExpr().(MethodAccess).getMethod().hasName("src") }
|
|
|
|
override predicate isSink(Node n) { n.asExpr().(Argument).getCall().getCallee().hasName("sink") }
|
|
|
|
override int explorationLimit() { result = 10 }
|
|
}
|
|
|
|
from PartialPathNode n, int dist
|
|
where any(Conf c).hasPartialFlowRev(n, _, dist)
|
|
select dist, n
|