Lib.rs

›

jingle

为Ghidra的PCODE进行SMT建模

0.1.1	2024年5月22日
0.1.0	2024年5月21日

#442 在数学

42 每月下载量

MIT许可证

4.5MB
109K SLoC

jingle使用由jingle_sleigh提供的sleigh绑定和来自z3 crate的优秀z3绑定，以提供PCODE指令序列的SMT建模

~25MB
~519K SLoC