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

Add another function-model test.

Browse Source
This commit is contained in:
Max Schaefer
2020-05-28 15:29:06 +01:00
parent 1c5dd51992
commit 0dd7676bd8
6 changed files with 30 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionInput_getEntryNode.expected
View File

@@ -2,6 +2,7 @@
| parameter 0 | main.go:53:2:53:22 | call to op2 | main.go:53:6:53:8 | "-" |
| parameter 0 | main.go:55:2:55:27 | call to Printf | main.go:55:13:55:20 | "%d, %d" |
| parameter 0 | main.go:57:2:57:27 | call to Printf | main.go:57:13:57:20 | "%d, %d" |
| parameter 0 | reset.go:12:2:12:21 | call to Reset | reset.go:12:15:12:20 | source |
| parameter 0 | tst.go:10:2:10:29 | call to ReadFrom | tst.go:10:23:10:28 | reader |
| parameter 1 | main.go:51:2:51:14 | call to op | main.go:51:10:51:10 | 1 |
| parameter 1 | main.go:53:2:53:22 | call to op2 | main.go:53:11:53:11 | 2 |
@@ -12,5 +13,6 @@
| parameter 2 | main.go:55:2:55:27 | call to Printf | main.go:55:26:55:26 | y |
| parameter 2 | main.go:57:2:57:27 | call to Printf | main.go:57:26:57:26 | y |
| receiver | main.go:53:14:53:21 | call to bump | main.go:53:14:53:14 | c |
| receiver | reset.go:12:2:12:21 | call to Reset | reset.go:12:2:12:7 | reader |
| receiver | tst.go:10:2:10:29 | call to ReadFrom | tst.go:10:2:10:12 | bytesBuffer |
| result | tst.go:9:17:9:33 | call to new | tst.go:9:2:9:12 | definition of bytesBuffer |

1
ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionInput_getExitNode.expected
View File

@@ -1,6 +1,7 @@
| parameter 0 | main.go:5:1:11:1 | function declaration | main.go:5:9:5:10 | definition of op |
| parameter 0 | main.go:13:1:20:1 | function declaration | main.go:13:10:13:11 | definition of op |
| parameter 0 | main.go:40:1:48:1 | function declaration | main.go:40:12:40:12 | definition of b |
| parameter 0 | reset.go:8:1:16:1 | function declaration | reset.go:8:27:8:27 | definition of r |
| parameter 0 | tst.go:8:1:11:1 | function declaration | tst.go:8:12:8:17 | definition of reader |
| parameter 1 | main.go:5:1:11:1 | function declaration | main.go:5:20:5:20 | definition of x |
| parameter 1 | main.go:13:1:20:1 | function declaration | main.go:13:21:13:21 | definition of x |

10
ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionModelStep.ql
View File

@@ -1,7 +1,15 @@
import go
class BytesReadFrom extends TaintTracking::FunctionModel, Method {
BytesReadFrom() { this.(Method).hasQualifiedName("bytes", "Buffer", "ReadFrom") }
BytesReadFrom() { this.hasQualifiedName("bytes", "Buffer", "ReadFrom") }
override predicate hasTaintFlow(FunctionInput inp, FunctionOutput outp) {
inp.isParameter(0) and outp.isReceiver()
}
}
class ReaderReset extends TaintTracking::FunctionModel, Method {
ReaderReset() { this.hasQualifiedName("bufio", "Reader", "Reset") }
override predicate hasTaintFlow(FunctionInput inp, FunctionOutput outp) {
inp.isParameter(0) and outp.isReceiver()

1
ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_getEntryNode.expected
View File

@@ -4,6 +4,7 @@
| result | main.go:13:1:20:1 | function declaration | main.go:15:9:15:13 | ...+... |
| result | main.go:13:1:20:1 | function declaration | main.go:17:10:17:14 | ...-... |
| result | main.go:26:1:29:1 | function declaration | main.go:28:9:28:15 | selection of count |
| result | reset.go:8:1:16:1 | function declaration | reset.go:15:9:15:12 | sink |
| result 0 | main.go:31:1:33:1 | function declaration | main.go:32:9:32:10 | 23 |
| result 0 | main.go:35:1:38:1 | function declaration | main.go:35:15:35:15 | zero value for x |
| result 0 | main.go:35:1:38:1 | function declaration | main.go:36:13:36:14 | 23 |

1
ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/FunctionOutput_getExitNode.expected
View File

@@ -1,3 +1,4 @@
| parameter 0 | reset.go:12:2:12:21 | call to Reset | reset.go:9:2:9:7 | definition of source |
| parameter 0 | tst.go:10:2:10:29 | call to ReadFrom | tst.go:8:12:8:17 | definition of reader |
| receiver | tst.go:10:2:10:29 | call to ReadFrom | tst.go:9:2:9:12 | definition of bytesBuffer |
| result | main.go:51:2:51:14 | call to op | main.go:51:2:51:14 | call to op |

16
ql/test/library-tests/semmle/go/dataflow/FunctionInputsAndOutputs/reset.go Normal file
View File

@@ -0,0 +1,16 @@
package main
import (
"bufio"
"io"
)
func bufioReaderResetTest(r io.Reader) bufio.Reader {
source := r
var reader bufio.Reader
reader.Reset(source)
sink := reader
return sink
}