Name of the Vulnerable Software and Affected Versions: model crate (affected versions not specified)

Description: The issue concerns the Shared data structure in the model crate, which implements Send and Sync traits regardless of the inner type. This implementation allows safe Rust code to trigger a data race, resulting in undefined behavior in Rust. The distinction between a data race and a general race condition is crucial, with the former being a specific type of race condition that occurs when multiple threads access shared data without proper synchronization, leading to unpredictable behavior. Users should exercise caution and treat Shared as an unsafe type, restricting its use to testing contexts where careful consideration is given to avoid unintended data races beyond those expected to be caught by the test.

Recommendations: At the moment, there is no information about a newer version that contains a fix for this vulnerability.