Files
codeql/rust/ql/test/library-tests/dataflow/pointers/inline-flow.ql
2024-12-17 17:24:42 +01:00

13 lines
285 B
Plaintext

/**
* @kind path-problem
*/
import rust
import utils.test.InlineFlowTest
import DefaultFlowTest
import ValueFlow::PathGraph
from ValueFlow::PathNode source, ValueFlow::PathNode sink
where ValueFlow::flowPath(source, sink)
select sink, source, sink, "$@", source, source.toString()