mirror of
https://github.com/github/codeql.git
synced 2025-12-28 14:46:33 +01:00
25 lines
772 B
Plaintext
25 lines
772 B
Plaintext
import experimental.dataflow.DataFlow
|
|
private import experimental.dataflow.internal.DataFlowPrivate as DataFlowPrivate
|
|
|
|
/**
|
|
* A configuration to find all "maximal" flows.
|
|
* To be used on small programs.
|
|
*/
|
|
class MaximalFlowsConfig extends DataFlow::Configuration {
|
|
MaximalFlowsConfig() { this = "AllFlowsConfig" }
|
|
|
|
override predicate isSource(DataFlow::Node node) {
|
|
node instanceof DataFlow::ParameterNode
|
|
or
|
|
node instanceof DataFlow::EssaNode and
|
|
not exists(DataFlow::EssaNode pred | DataFlow::localFlowStep(pred, node))
|
|
}
|
|
|
|
override predicate isSink(DataFlow::Node node) {
|
|
node instanceof DataFlowPrivate::ReturnNode
|
|
or
|
|
node instanceof DataFlow::EssaNode and
|
|
not exists(node.(DataFlow::EssaNode).getVar().getASourceUse())
|
|
}
|
|
}
|