diff --git a/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/ArchiveZip.go b/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/ArchiveZip.go index 6cbbfcb77e2..f968c5c11e0 100644 --- a/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/ArchiveZip.go +++ b/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/ArchiveZip.go @@ -40,6 +40,19 @@ func TaintStepTest_ArchiveZipFileOpen_B0I0O0(sourceCQL interface{}) interface{} return intoReadCloser483 } +func TaintStepTest_ArchiveZipFileOpenRaw_B0I0O0(sourceCQL interface{}) interface{} { + fromFile127 := sourceCQL.(zip.File) + intoReadCloser483, _ := fromFile127.OpenRaw() + return intoReadCloser483 +} + +func TaintStepTest_ArchiveZipWriterCopy_B0I0O0(sourceCQL interface{}) interface{} { + fromFile127 := sourceCQL.(*zip.File) + var intoWriter982 zip.Writer + intoWriter982.Copy(fromFile127) + return intoWriter982 +} + func TaintStepTest_ArchiveZipWriterCreate_B0I0O0(sourceCQL interface{}) interface{} { fromWriter989 := sourceCQL.(io.Writer) var intoWriter982 zip.Writer @@ -48,6 +61,14 @@ func TaintStepTest_ArchiveZipWriterCreate_B0I0O0(sourceCQL interface{}) interfac return intoWriter982 } +func TaintStepTest_ArchiveZipWriterCreateRaw_B0I0O0(sourceCQL interface{}) interface{} { + fromWriter989 := sourceCQL.(io.Writer) + var intoWriter982 zip.Writer + intermediateCQL, _ := intoWriter982.CreateRaw(nil) + link(fromWriter989, intermediateCQL) + return intoWriter982 +} + func TaintStepTest_ArchiveZipWriterCreateHeader_B0I0O0(sourceCQL interface{}) interface{} { fromWriter417 := sourceCQL.(io.Writer) var intoWriter584 zip.Writer diff --git a/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/IoFs.go b/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/IoFs.go index 9eea2dc516f..4b910200841 100644 --- a/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/IoFs.go +++ b/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/IoFs.go @@ -11,6 +11,11 @@ func walkDirCallback(path string, d fs.DirEntry, _ error) error { } func steps() { + { + source := newSource(16).(fs.FileInfo) + out := fs.FileInfoToDirEntry(source) + sink(16, out) + } { source := newSource(0).(fs.FS) out, _ := fs.Glob(source, "*") diff --git a/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/Strconv.go b/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/Strconv.go index da01b976862..d7f84f6c031 100644 --- a/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/Strconv.go +++ b/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/Strconv.go @@ -46,6 +46,12 @@ func TaintStepTest_StrconvQuote_B0I0O0(sourceCQL interface{}) interface{} { return intoString584 } +func TaintStepTest_StrconvQuotedPrefix_B0I0O0(sourceCQL interface{}) interface{} { + fromString417 := sourceCQL.(string) + intoString584, _ := strconv.QuotedPrefix(fromString417) + return intoString584 +} + func TaintStepTest_StrconvQuoteToASCII_B0I0O0(sourceCQL interface{}) interface{} { fromString991 := sourceCQL.(string) intoString881 := strconv.QuoteToASCII(fromString991) diff --git a/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/m b/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/m new file mode 100755 index 00000000000..b0d3e8c228e Binary files /dev/null and b/ql/test/library-tests/semmle/go/frameworks/StdlibTaintFlow/m differ