mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
20 lines
547 B
Plaintext
20 lines
547 B
Plaintext
import java
|
|
import semmle.code.java.dataflow.DataFlow
|
|
import DataFlow
|
|
|
|
module Config implements ConfigSig {
|
|
predicate isSource(Node n) { n.asExpr().(MethodCall).getMethod().hasName("src") }
|
|
|
|
predicate isSink(Node n) { n.asExpr().(Argument).getCall().getCallee().hasName("sink") }
|
|
}
|
|
|
|
int explorationLimit() { result = 10 }
|
|
|
|
module PartialFlow = Global<Config>::FlowExplorationFwd<explorationLimit/0>;
|
|
|
|
import PartialFlow::PartialPathGraph
|
|
|
|
from PartialFlow::PartialPathNode n, int dist
|
|
where PartialFlow::partialFlow(_, n, dist)
|
|
select dist, n
|