toolCHAINZ / jingle

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

Update to Ghidra 11.1 #1

Closed toolCHAINZ closed 2 months ago

toolCHAINZ commented 3 months ago

This is currently blocked.

In Ghidra 11.1, sleigh was updated to support compressed architecture modules. This feature brings along a mandatory dependency on zlib.

So, to update, need to either:

VPaulV commented 2 months ago

Good day!

I would greatly appreciate it if you could update your bindings to Ghidra 11.1.1 when have time. I was about to write another wrapper around Sleigh because none of the existing solutions seemed satisfactory. However, I was lucky to discover your bindings, which seems to be perfect. Thank you for sharing!

toolCHAINZ commented 2 months ago

Gah GitHub is being flaky on my phone. Glad this looks useful to you! Working on this (and have it building), but the sla parsing expects a decompressed spec, so I need to work out how/when they intend decompression to be done.

toolCHAINZ commented 2 months ago

Ok, I think I've gotten it working. It's up on dev. Need to test it with my other code still, but my unit tests pass, so it's at least somewhat working.

I'm not going to bother with any historical support, so I'm just going to assume ghidra version >= 11.1.0 from here on out. I have not tried these changes on older versions. I copied how the sleigh example loads architectures now so hopefully the historical support is at least no worse than whatever ghidra itself is doing.

Closing this as of adaa1b8

VPaulV commented 2 months ago

That was fast, thank you :)

toolCHAINZ commented 2 months ago

I had been meaning to do it but putting it off, so you spurred me to action haha