mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
27 lines
704 B
Plaintext
27 lines
704 B
Plaintext
import DataFlowConfig
|
|
|
|
class Quelle extends DataFlow::AdditionalSource, DataFlow::ValueNode {
|
|
Quelle() {
|
|
astNode = any(Variable v | v.getName() = "quelle").getAnAssignedExpr()
|
|
}
|
|
|
|
override predicate isSourceFor(DataFlow::Configuration cfg) {
|
|
cfg instanceof TestDataFlowConfiguration
|
|
}
|
|
}
|
|
|
|
class Abfluss extends DataFlow::AdditionalSink, DataFlow::ValueNode {
|
|
Abfluss() {
|
|
astNode = any(Variable v | v.getName() = "abfluss").getAnAssignedExpr()
|
|
}
|
|
|
|
override predicate isSinkFor(DataFlow::Configuration cfg) {
|
|
cfg instanceof TestDataFlowConfiguration
|
|
}
|
|
}
|
|
|
|
|
|
from TestDataFlowConfiguration tttc, DataFlow::Node src, DataFlow::Node snk
|
|
where tttc.hasFlow(src, snk)
|
|
select src, snk
|