intellij-rust/intellij-rust

Highlight unsafe operations inside `unsafe` blocks

Aberta

#3.013 aberto em 5 de nov. de 2018

Ver no GitHubGuia do colaborador
 (10 comentários) (5 reações) (0 responsável)Kotlin (376 forks)batch import
E-mediumfeaturehelp wanted

Métricas do repositório

Stars
 (4.526 estrelas)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

Description

Only some operations are actually unsafe inside an unsafe block (calls to unsafe fn's, raw pointer dereference). It would be cool to highlight such operations!

See https://github.com/rust-analyzer/rust-analyzer/issues/190 for details.

I personally think this would be a rather important thing to add for folks who work with unsafe code a lot.

Unsafe operations:

  • Dereference a raw pointer #3080
  • Call an unsafe function or method #3080
  • Access or modify a mutable static variable #3080
  • Implement an unsafe trait
  • Access fields of unions

Guia do colaborador

Direção de pesquisa
A issue solicita o destaque de operações inseguras dentro de blocos unsafe no código Rust no plugin IntelliJ Rust. O plugin já destaca a desreferenciação de ponteiros brutos, a chamada de funções unsafe e o acesso a estáticas mutáveis (implementado na PR #3080). As tarefas restantes são implementar o destaque para implementação de trait unsafe e acesso a campos de union. Os contribuidores devem examinar a implementação de destaque existente no código de inspeção do plugin, provavelmente nos pacotes 'org.rust.lang.core.psi' ou 'org.rust.ide.inspections', e estendê la para cobrir os casos faltantes. A infraestrutura de testes do plugin também deve ser estudada para adicionar testes para os novos destaques.
Pilha de tecnologia
rust
Domain
developer experience
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.
3
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
Rust
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
40