Module plan 

Build a PatchPlan from r2SMT findings.

Translates each actionable Finding into a concrete byte sequence the patcher will write. Strategy v0 supports nop_jcc and replace_jcc_with_jmp — operand-aware setcc / cmovcc synthesis stays deferred per SPEC.md §5.7.

Structs

PatchPlan

Ordered list of operations the patcher will execute.

PlanOperation

A single ready-to-execute patch operation.

Constants

MAX_INSTRUCTION_SIZE

Maximum number of bytes r2SMT will rewrite for a single instruction. Sized to fit a jmp rel32 (5 bytes) plus a generous safety margin so x86_64 encodings still fit.

Functions

build_plan

Construct a PatchPlan from a slice of findings.