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	Version	Findings	Description	Downloads	When
vstd cargo	0.0.0-2026-10-11-0230	clean	Verus Standard Library: Useful specifications and lemmas for verifying Rust code	431K	15h ago
verus_state_machines_macros cargo	0.0.0-2026-10-11-0230	clean	Verus State-Machine Macros: Various macros used by Verus to define and reason about atomic and sharded state machines	431K	15h ago
verus_builtin cargo	0.0.0-2026-10-11-0230	clean	Verus Builtins: Rust definitions for core constructs in Verus	420K	15h ago