CVE-2020-36460

model crate até 10/11/2020

Foi detectada uma falha na estrutura de dados Shared, que implementa as características Send e Sync sem levar em conta o tipo interno. Isso permite que código Rust seguro provoque uma corrida de dados, o que constitui um comportamento indefinido no Rust. Recomenda-se que os usuários tratem Shared como um tipo inseguro.

Para o crate model até 10/11/2020, recomenda-se que os usuários tratem Shared como um tipo inseguro e não o utilizem fora do contexto de testes. É necessário ter cuidado para garantir que o código de teste não apresente uma corrida de dados, além de uma condição de corrida que se espera que seja detectada pelo teste.