GitHub / toolCHAINZ / jingle
SMT Modeling for Ghidra's PCODE
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/toolCHAINZ%2Fjingle
PURL: pkg:github/toolCHAINZ/jingle
Stars: 27
Forks: 5
Open issues: 10
License: mit
Language: Rust
Size: 352 KB
Dependencies parsed at: Pending
Created at: about 1 year ago
Updated at: 10 days ago
Pushed at: 10 days ago
Last synced at: 10 days ago
Commit Stats
Commits: 9
Authors: 1
Mean commits per author: 9.0
Development Distribution Score: 0.0
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/toolCHAINZ/jingle
Topics: ghidra, p-code, reverse-engineering, rust, sleigh, smt, z3