crates.io : jingle
SMT Modeling for Ghidra's PCODE
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/jingle
Keywords:
ghidra
, pcode
, sleigh
, smt
, p-code
, reverse-engineering
, rust
, z3
License: MIT
Latest release: 11 days ago
First release: about 1 year ago
Downloads: 3,033 total
Stars: 27 on GitHub
Forks: 5 on GitHub
Total Commits: 9
Committers: 1
Average commits per author: 9.0
Development Distribution Score (DDS): 0.0
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 2 days ago