sentri-ir
v0.3.0 ExperimentalSentri: Intermediate representation for Sentri invariant specifications and security analysis.
Quick Verdict
- ✓Actively maintained (updated 26d ago)
- !Pre-1.0: API may have breaking changes
- ✓Permissive license (MIT)
Security
Deep Insights
193 downloads in the last 30 days (6/day), up 42% from the previous period.
At 5KB, sentri-ir is lightweight. Small crate size correlates with focused, well-scoped functionality.
11% of releases have been yanked. Check version history before pinning.
Notable dependents include sentri-dsl-parser, sentri-analyzer-move, sentri-analyzer-solana, sentri-analyzer-evm, sentri-generator-evm. When high-quality crates choose sentri-ir, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on sentri-ir