golang/go

x/tools/gopls/internal/analysis: analyzer for slice aliasing mistakes

Open

#73.830 aberto em 22 de mai. de 2025

Ver no GitHub
 (16 comments) (2 reactions) (0 assignees)Go (19.008 forks)batch import
AnalysisFeatureRequestToolsgoplsgopls/analysishelp wanted

Métricas do repositório

Stars
 (133.883 stars)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

Description

In a discussion about slice aliasing bugs, @randall77 suggested an analyzer that detects "aliasing of two slice variables, where the capacity of the slice is unknown (due to append starting from nil, say), and then an append on each of the aliased slices". We should prototype a simple analyzer to detect this pattern and see what turns up.

Guia do colaborador

Direção de pesquisa
Entenda o padrão de aliasing de slices: quando duas variáveis de slice compartilham o mesmo array subjacente e ambas sofrem append, pode causar corrupção de dados. Prototipe um analisador usando o pacote go/analysis. Escreva casos de teste primeiro (por exemplo, casos onde o aliasing ocorre e onde não ocorre), depois implemente a lógica de análise para detectar tais padrões. Verifique se as slices vêm da mesma fonte (por exemplo, fatiando o mesmo array ou começando de nil e depois copiando). Use go/ast e go/types para inspecionar atribuições de variáveis e chamadas append.
Pilha de tecnologia
go
Domain
tooling
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Go
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
60