Search 3 packages

Found detections shipping vulnerabilities yanked

Build behaviour fetched outside the registry undeclared fetch fetch went into the output linked a downloaded binary read credentials connected outside the registry

Packages1–3 of 3	Findings	Vulns	Description	Downloads	When
cvc5 cargo	– 0.6.1 did not build	–	High-level Rust bindings for the cvc5 SMT solver	3.1K	1d ago
cvc5-sys cargo	– 0.6.1 did not build	–	Low-level FFI bindings for the cvc5 SMT solver	13K	1d ago
decern-proof cargo	– 0.4.0 did not build	–	SMT proof harness that machine-checks decern's authorization invariants with cvc5.	115	4d ago