Skip to content
OpenAdvisories

Package · crates.io

z3

1 known vulnerabilities.

All Critical High Medium Low Exploited only Public exploit

1 result · Feed

  • Unscored —
    RUSTSEC-2026-0295

    Memory corruption bug on `ApplyResult` type

    The `ApplyResult` type contains a raw pointer to a C++ memory object and has a derived `Clone` implementation which creates a reference to this object without incrementing the associated reference counter. As a result, if an instance of `ApplyResult` is dupli…

    z3 crates.io