From 1ce4c2fcbf6488d70defa3342619c6df4e626ddb Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Tue, 24 Sep 2024 16:53:56 +0100 Subject: [PATCH] PS: Add tests. --- .../library-tests/dataflow/fields/test.expected | 6 ++++++ .../ql/test/library-tests/dataflow/fields/test.ps1 | 6 ++++++ .../ql/test/library-tests/dataflow/fields/test.ql | 13 +++++++++++++ 3 files changed, 25 insertions(+) create mode 100644 powershell/ql/test/library-tests/dataflow/fields/test.expected create mode 100644 powershell/ql/test/library-tests/dataflow/fields/test.ps1 create mode 100644 powershell/ql/test/library-tests/dataflow/fields/test.ql diff --git a/powershell/ql/test/library-tests/dataflow/fields/test.expected b/powershell/ql/test/library-tests/dataflow/fields/test.expected new file mode 100644 index 00000000000..4e4a41dfc62 --- /dev/null +++ b/powershell/ql/test/library-tests/dataflow/fields/test.expected @@ -0,0 +1,6 @@ +models +edges +nodes +subpaths +testFailures +#select diff --git a/powershell/ql/test/library-tests/dataflow/fields/test.ps1 b/powershell/ql/test/library-tests/dataflow/fields/test.ps1 new file mode 100644 index 00000000000..9b8ae54dec8 --- /dev/null +++ b/powershell/ql/test/library-tests/dataflow/fields/test.ps1 @@ -0,0 +1,6 @@ +$a.f = Source "1" +Sink $a.f # $ MISSING: hasValueFlow=1 + +$a.f = Source "2" +$a.f = 0 +Sink $a.f # clean diff --git a/powershell/ql/test/library-tests/dataflow/fields/test.ql b/powershell/ql/test/library-tests/dataflow/fields/test.ql new file mode 100644 index 00000000000..9a27a79c447 --- /dev/null +++ b/powershell/ql/test/library-tests/dataflow/fields/test.ql @@ -0,0 +1,13 @@ +/** + * @kind path-problem + */ + +import powershell +import semmle.code.powershell.dataflow.DataFlow +private import TestUtilities.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()