Search 4 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–4 of 4	Version	Findings	Description	Downloads	When
z3-toolkit-derive cargo	0.1.1	clean	Procedural macros for z3-toolkit.	28	1d ago
z3-toolkit cargo	0.1.1	clean	An ergonomic constraint DSL for the z3 crate.	21	1d ago
synth-verify cargo	0.84.0	clean	SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle)	2.7K	1d ago
assura-smt cargo	0.6.0	1 detection 1	SMT-based verification for Assura contracts via Z3	1.9K	5d ago