haybale-pitchfork
v0.4.1crates.io· RustVerifying constant-time code with symbolic execution
The verdict
Abandoned. Last published 4 years ago. No recent activity — look for a maintained alternative.
No recent activity — look for a maintained alternative.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceAbandoned
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published 4 years ago.
Popularity
2 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
- 0.4.14 years ago
- 0.4.04 years ago
- 0.3.15 years ago
- 0.3.05 years ago
- 0.2.06 years ago
- 0.1.06 years ago