toolCHAINZ / jingle

SMT Modeling for Ghidra's PCODE
MIT License
8 stars 1 forks source link

Jingle can't initialize some architectures #5

Open toolCHAINZ opened 1 month ago

toolCHAINZ commented 1 month ago

For some reason, sleigh is crashing when parsing several architectures. Ghidra seems to work fine with these architectures, so there must be some difference in what I'm doing.

I'm not sure what I could be messing up here, since you just give sleigh the path to the file and it takes it from there. The only thing I could think of is that there's some incompatibility between rust's libz-sys and the zlib that sleigh expects that is only triggering in a couple cases?

Impacted architectures: