P1: Byte patching for the decompiler CLI (patch set/get/list/delete)

[mahaloz]

What & why

DecLib already models Patch and IDA/Binja had partial implementations, but there was no CLI command and backend parity was incomplete. This exposes patching and fills the gaps.

New capabilities

• decompiler patch set|get|list|delete.
• IDA: set via patch_bytes (existing), list via visit_patched_bytes (existing), and a new _del_patch that reverts to original bytes (get_original_byte). Full set/get/list/delete(revert).
• Ghidra: implemented _set_patch via Memory.setBytes — flips the block writable and clears the conflicting code unit first (setBytes refuses to overwrite bytes under a defined instruction: "Memory change conflicts with instruction"), then re-disassembles.
• Binary Ninja: implemented _set_patch via bv.write (was a warn-stub returning False).
• angr: no user-patch store → set reports rejected.
• Base public get_patch/delete_patch (direct reads) + client proxies.

Example

$ decompiler patch set 0x71d "9090"
addr: 1821
size: 2
bytes: 9090
success: True
$ decompiler read_memory 0x71d 2 --format hex
9090
$ decompiler patch list
0x71d   2   9090
$ decompiler patch delete 0x71d      # revert (IDA)
$ decompiler read_memory 0x71d 2 --format hex
5548                                 # original bytes back

Tests

test_patch_set_reflects_in_memory (set → read_memory shows patched bytes → revert restores originals on IDA) and test_patch_get_and_list (IDA).

• IDA: full pass (set/get/list/revert). Ghidra: set verified in memory. angr: set correctly rejected.

Support matrix

	IDA	Ghidra	Binary Ninja	angr
patch set	✅	✅ (new)	✅ (new)	—
patch get/list/delete	✅	—	—	—

---

Seventh PR in the IDALib-parity series. Based on feat/cli-define-undefine (#209).

🤖 Generated with Claude Code

https://claude.ai/code/session_01HfZHdprXg38re1XyKxzGg5