关于CVE-2020-36460漏洞含义及Rust语言model crate的技术问询

嘿，别担心问题浅显，刚接触CVE漏洞和Rust生态的话有这些疑问太正常了！我来一步步给你解释清楚：

1. CVE-2020-36460漏洞具体指什么？ #

这个CVE是Rust生态中一个线程安全相关的内存安全漏洞，针对的是model crate在2020年11月10日之前的版本。

核心问题出在该crate里的Shared数据结构上：它错误地实现了Rust的Send和Sync trait，但完全没考虑内部包裹的类型是否满足线程安全要求。

这里得简单提下Rust里这两个trait的意义：

• Send：标记一个类型可以安全地在线程之间转移所有权
• Sync：标记一个类型可以安全地被多个线程同时持有共享引用

如果一个数据结构像Shared这样，不管内部类型是否安全，就直接实现了Send/Sync，那当用户用它包裹本身不具备线程安全性的类型时，就会触发未定义行为——比如数据竞争、访问已释放的内存，这在Rust这种主打内存安全的语言里是严重的问题。

2. 什么是model crate？ #

在Rust的生态里，crate就是我们常说的“库”或者“包”（类似Python的PyPI包、Node.js的npm包），而model就是其中一个第三方crate，主要提供一些用于数据建模、自定义数据结构的工具和实现。

从这个漏洞的上下文来看，它里面包含了Shared这种用于共享数据的结构，但因为开发者在实现线程安全标记时的疏忽，导致了这个CVE漏洞。

内容的提问来源于stack exchange，提问作者dname