Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Go: Convert models for variadic functions to use models-as-data #16592

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 21 commits into
base: main
Choose a base branch
Loading
from
Draft

Go: Convert models for variadic functions to use models-as-data #16592

Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
0e765ff
database/sql
owen-mc May 24, 2024
6041447
errors
owen-mc May 24, 2024
7b46c4f
fmt
owen-mc May 24, 2024
9169611
beego
owen-mc May 24, 2024
466270f
spew
owen-mc May 24, 2024
5f7867f
zap
owen-mc May 24, 2024
1d670e3
html/template
owen-mc May 24, 2024
815a956
io
owen-mc May 24, 2024
dc156d8
log
owen-mc May 24, 2024
98275aa
net/textproto
owen-mc May 24, 2024
b561ba2
net/url
owen-mc May 24, 2024
d5c1583
text/template
owen-mc May 24, 2024
b8505ca
path/filepath
owen-mc May 24, 2024
8e942ff
path
owen-mc May 24, 2024
d06e09c
reflect
owen-mc May 24, 2024
51395c5
strings
owen-mc May 24, 2024
accb393
Improve formatting
owen-mc May 24, 2024
20e1a34
Add change note
owen-mc May 25, 2024
165951a
Expected test changes
owen-mc May 26, 2024
879baf2
Bug: no outflow to parameters through varargs slice
owen-mc May 26, 2024
54817d6
barrier guard uses localTaintStep which no longer holds
owen-mc May 27, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Improve formatting
  • Loading branch information
@owen-mc
owen-mc committed Jun 4, 2024
commit accb39373bcccde7b27bd35b5e153e3b5f5095d5
5 changes: 1 addition & 4 deletions 5 go/ql/lib/semmle/go/frameworks/stdlib/TextTabwriter.qll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,10 +29,7 @@ module TextTabwriter {
MethodModels() {
// signature: func (*Writer) Init(output io.Writer, minwidth int, tabwidth int, padding int, padchar byte, flags uint) *Writer
this.hasQualifiedName("text/tabwriter", "Writer", "Init") and
(
inp.isResult() and
outp.isParameter(0)
)
(inp.isResult() and outp.isParameter(0))
}

override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
Expand Down
Morty Proxy This is a proxified and sanitized view of the page, visit original site.