mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
24 lines
609 B
Plaintext
24 lines
609 B
Plaintext
import java
|
|
import semmle.code.java.dataflow.DataFlow
|
|
|
|
StringLiteral src() {
|
|
result.getCompilationUnit().fromSource() and
|
|
result.getFile().toString() = "A"
|
|
}
|
|
|
|
module Config implements DataFlow::ConfigSig {
|
|
predicate isSource(DataFlow::Node n) { n.asExpr() = src() }
|
|
|
|
predicate isSink(DataFlow::Node n) { none() }
|
|
}
|
|
|
|
module Flow = DataFlow::Global<Config>;
|
|
|
|
int explorationLimit() { result = 100 }
|
|
|
|
module PartialFlow = Flow::FlowExplorationFwd<explorationLimit/0>;
|
|
|
|
from PartialFlow::PartialPathNode src, PartialFlow::PartialPathNode sink
|
|
where PartialFlow::partialFlow(src, sink, _)
|
|
select src, sink
|