hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Convert data flow test to @kind path-problem

Browse Source
This commit is contained in:
Tom Hvitved
2025-09-17 20:27:10 +02:00
parent 7670a2bd77
commit aba2cb487e
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()