Deps.rs

varisat 0.2.2

[![dependency status](https://deps.rs/crate/varisat/0.2.2/status.svg)](https://deps.rs/crate/varisat/0.2.2)

This project might be open to known security vulnerabilities, which can be prevented by tightening the version range of affected dependencies. Find detailed information at the bottom.

Crate varisat

Dependencies

(15 total, 3 outdated, 1 possibly insecure)

CrateRequiredLatestStatus
 anyhow^1.0.321.0.82up to date
 itoa^0.4.41.0.11out of date
 leb128^0.2.40.2.5up to date
 log^0.4.60.4.21up to date
 ordered-float ⚠️^2.0.04.2.0out of date
 partial_ref^0.3.10.3.3up to date
 rustc-hash^1.1.01.1.0up to date
 serde^1.0.911.0.198up to date
 thiserror^1.0.201.0.59up to date
 varisat-checker=0.2.20.2.2up to date
 varisat-dimacs=0.2.20.2.2up to date
 varisat-formula=0.2.20.2.2up to date
 varisat-internal-macros=0.2.20.2.2up to date
 varisat-internal-proof=0.2.20.2.2up to date
 vec_mut_scan^0.3.00.5.0out of date

Dev dependencies

(5 total, 3 outdated)

CrateRequiredLatestStatus
 env_logger^0.7.10.11.3out of date
 proptest^0.10.11.4.0out of date
 rand^0.7.30.8.5out of date
 tempfile^3.0.83.10.1up to date
 varisat-formula=0.2.20.2.2up to date

Security Vulnerabilities

ordered-float: ordered_float:NotNan may contain NaN after panic in assignment operators

RUSTSEC-2020-0082

After using an assignment operators such as NotNan::add_assign, NotNan::mul_assign, etc., it was possible for the resulting NotNan value to contain a NaN. This could cause undefined behavior in safe code, because the safe NotNan::cmp method contains internal unsafe code that assumes the value is never NaN. (It could also cause undefined behavior in third-party unsafe code that makes the same assumption, as well as logic errors in safe code.)

This was mitigated starting in version 0.4.0, by panicking if the assigned value is NaN. However, in affected versions from 0.4.0 onward, code that uses the NotNan value during unwinding, or that continues after catching the panic, could still observe the invalid value and trigger undefined behavior.

The flaw is fully corrected in versions 1.1.1 and 2.0.1, by ensuring that the assignment operators panic without modifying the operand, if the result would be NaN.