toolCHAINZ / jingle

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

Fully support Context Data #6

Open toolCHAINZ opened 1 month ago

toolCHAINZ commented 1 month ago

Right now the context data support just applies it space-wide. But some architectures (e.g. 8048) set different default context values for different address ranges. Need to support deserializing this and properly initializing it in sleigh.