golang/go

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

Open

#73 830 ouverte le 22 mai 2025

Voir sur GitHub
 (16 commentaires) (2 réactions) (0 assignés)Go (19 008 forks)batch import
AnalysisFeatureRequestToolsgoplsgopls/analysishelp wanted

Métriques du dépôt

Stars
 (133 883 stars)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

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.

Guide contributeur

Direction de recherche
Comprendre le modèle d'aliasing de slice : lorsque deux variables slice partagent le même tableau sous jacent et que les deux sont soumises à append, cela peut entraîner une corruption des données. Prototyper un analyseur utilisant le package go/analysis. Écrire d'abord des cas de test (par exemple, cas où l'aliasing se produit et où il ne se produit pas), puis implémenter la logique d'analyse pour détecter de tels modèles. Vérifier si les slices proviennent de la même source (par exemple, en découpant le même tableau ou en partant de nil puis en copiant). Utiliser go/ast et go/types pour inspecter les affectations de variables et les appels append.
Stack technique
go
Domaine
tooling
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Go
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60