Files
2022-03-09 18:28:12 +01:00

10 lines
254 B
Plaintext

import python
import Config
from TestConfiguration config, ControlFlowNode src, ControlFlowNode sink
where
config
.hasSimpleFlow(any(DataFlow::Node s | s.asCfgNode() = src),
any(DataFlow::Node s | s.asCfgNode() = sink))
select src, sink