jingle
v0.6.36crates.io· RustSMT Modeling for Ghidra's PCODE
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
87 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
- 0.6.36this month
- 0.6.35this month
- 0.6.34this month
- 0.6.33this month
- 0.6.32this month
- 0.6.31this month
- 0.6.30this month
- 0.6.29this month