Política de segurança

Comunicar uma vulnerabilidade#

Comunique-a em privado, por uma de duas vias:

Comunicação privada de vulnerabilidades do GitHub — o botão Report a vulnerability no separador Security do repositório. A comunicação é visível apenas para os responsáveis pela manutenção, e uma correção pode ser preparada num fork privado e publicada como um GitHub Security Advisory.
Email — contact@ashforde.org, com pormenores e passos de reprodução.

Por favor, não abra um issue público para comunicações sensíveis do ponto de vista da segurança. Procuramos acusar a receção no prazo de poucos dias úteis.

Versões suportadas#

Pré-1.0: apenas a última edição etiquetada é suportada.

Segurança de memória#

A crate de biblioteca declara #![forbid(unsafe_code)] na raiz da crate (src/lib.rs), pelo que um bloco unsafe, fn, impl ou extern em qualquer ponto da biblioteca é um erro de compilação, em vez de algo que um revisor tenha de detetar. O atributo não está atrás de um cfg, pelo que se aplica a todas as configurações em que a biblioteca é distribuída, e as três compilam sem erros com ele: a compilação Rust predefinida, o módulo de extensão Python (--features python) e o módulo WebAssembly (--features wasm).

Âmbito, declarado com precisão, porque forbid é por crate:

Aplica-se apenas à crate de biblioteca. O binário da CLI (src/main.rs), os binários auxiliares em src/bin/, a crate kshana-mcp publicada em separado e as crates de validação cruzada xval/ excluídas do espaço de trabalho são raízes de crate separadas e não são abrangidos por ele. Nenhum deles contém unsafe atualmente, mas isso é disciplina, não uma propriedade imposta pelo compilador.
Não diz nada sobre as dependências. Estas são controladas em separado por cargo deny check advisories licenses bans sources na CI — para a crate raiz e, como tarefa própria, para a crate do servidor MCP excluída do espaço de trabalho — e vigiadas por alertas do Dependabot e atualizações de segurança no repositório.

Nota de controlo de exportações / dupla utilização#

A resiliência PNT e a deteção quântica podem estar sujeitas a controlos de exportação de dupla utilização. Este repositório público limita-se a modelos e métodos genéricos e publicados. Não contribua aqui com pormenores de resiliência ou de antispoofing sensíveis para a exportação; pertencem a uma camada privada. Em caso de dúvida, envie primeiro um email.