mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
20 lines
476 B
Plaintext
20 lines
476 B
Plaintext
import semmle.python.dataflow.new.DataFlow
|
|
|
|
/**
|
|
* A configuration to find all flows.
|
|
* To be used on tiny programs.
|
|
*/
|
|
module AllFlowsConfig implements DataFlow::ConfigSig {
|
|
predicate isSource(DataFlow::Node node) { any() }
|
|
|
|
predicate isSink(DataFlow::Node node) { any() }
|
|
}
|
|
|
|
module AllFlowsFlow = DataFlow::Global<AllFlowsConfig>;
|
|
|
|
from DataFlow::CfgNode source, DataFlow::CfgNode sink
|
|
where
|
|
source != sink and
|
|
AllFlowsFlow::flow(source, sink)
|
|
select source, sink
|