Yuxin Wang

Currently we have the struct initialization extension developed in NilAway, but it is turned off via a feature flag by default. This is due to increased overhead of NilAway and...

Currently, our inference algorithm requires that the evaluation order of triggers and sites be ordered to have deterministic error generations. Consider the following example: ``` func f1(p *int) { //...

We have defined `annotation.Prestring` in our codebase which is equivalent to `fmt.Stringer`. We should remove this redundant definition and directly use `fmt.Stringer` instead.

Thrift/Protobuf protocols used extensively in enterprise settings. They are implemented as code generators in Go. When analyzing the generated code, NilAway does not know if some fields are nilable/nonnil. We...

Support cross-package nolint parsing

2

We can report errors on `pkg A` when we are analyzing `pkg B` due to our multi-pkg inference. However, nogo’s support for nolint comments is based on reading the AST...

NilAway seems to misunderstand the error return pattern when (result, error) is directly passed to another function: ``` // foo is a function that returns nil when there is an...