From 53cfbcc25598a4076ec8c4ac8b1224fbe86f2deb Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Wed, 27 May 2020 09:42:24 +0100 Subject: [PATCH] Add tests for FunctionOutput.isResult --- .../FunctionOutput_isResult.expected | 4 ++++ .../FunctionInputsAndOutputs/FunctionOutput_isResult.ql | 5 +++++ .../FunctionOutput_isResult_int.expected | 4 ++++ .../FunctionInputsAndOutputs/FunctionOutput_isResult_int.ql | 5 +++++ 4 files changed, 18 insertions(+) create mode 100644 ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.expected create mode 100644 ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.ql create mode 100644 ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.expected create mode 100644 ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.ql diff --git a/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.expected b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.expected new file mode 100644 index 00000000000..7f903e4efed --- /dev/null +++ b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.expected @@ -0,0 +1,4 @@ +| main.go:51:2:51:14 | call to op | main.go:51:2:51:14 | call to op | result | +| main.go:53:2:53:22 | call to op2 | main.go:53:2:53:22 | call to op2 | result | +| main.go:53:14:53:21 | call to bump | main.go:53:14:53:21 | call to bump | result | +| tst.go:9:17:9:33 | call to new | tst.go:9:17:9:33 | call to new | result | diff --git a/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.ql b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.ql new file mode 100644 index 00000000000..c39c80da64e --- /dev/null +++ b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult.ql @@ -0,0 +1,5 @@ +import go + +from FunctionOutput outp, DataFlow::CallNode c, DataFlow::Node nodeTo +where outp.isResult() and nodeTo = outp.getNode(c) +select c, nodeTo, outp diff --git a/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.expected b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.expected new file mode 100644 index 00000000000..f36f1b8a84b --- /dev/null +++ b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.expected @@ -0,0 +1,4 @@ +| main.go:54:10:54:15 | call to test | main.go:54:2:54:15 | ... := ...[0] | 0 | result 0 | +| main.go:54:10:54:15 | call to test | main.go:54:2:54:15 | ... := ...[1] | 1 | result 1 | +| main.go:56:9:56:15 | call to test2 | main.go:56:2:56:15 | ... = ...[0] | 0 | result 0 | +| main.go:56:9:56:15 | call to test2 | main.go:56:2:56:15 | ... = ...[1] | 1 | result 1 | diff --git a/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.ql b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.ql new file mode 100644 index 00000000000..8d5e142cfbb --- /dev/null +++ b/ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_isResult_int.ql @@ -0,0 +1,5 @@ +import go + +from FunctionOutput outp, int i, DataFlow::CallNode c, DataFlow::Node nodeTo +where outp.isResult(i) and nodeTo = outp.getNode(c) +select c, nodeTo, i, outp