hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 17:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #20460 from hvitved/rust/source-inline-flow-path-problem

Browse Source
This commit is contained in:
Tom Hvitved
2025-09-18 09:27:06 +02:00
committed by GitHub
parent 4f8166a661 aba2cb487e
commit 51a33c279d
2 changed files with 1788 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1779
rust/ql/test/library-tests/dataflow/sources/InlineFlow.expected
View File

File diff suppressed because it is too large Load Diff

9
rust/ql/test/library-tests/dataflow/sources/InlineFlow.ql
View File

@@ -1,3 +1,7 @@
/**
* @kind path-problem
*/
import rust
import codeql.rust.dataflow.DataFlow
import codeql.rust.Concepts
@@ -25,3 +29,8 @@ module MyFlowConfig implements DataFlow::ConfigSig {
module MyFlowTest = TaintFlowTest<MyFlowConfig>;
import MyFlowTest
import PathGraph
from PathNode source, PathNode sink
where flowPath(source, sink)
select sink, source, sink, "$@", source, source.toString()