Pull requests

• feat(ghidra): emit raw P-Code and disassembly per instruction (--emit-instructions)

  #289·kumarak opened Sep 18, 2026Collaborator·

  ·

• feat(llm): add Tier 2 structured-C loop checked by -validate-pcode

  #287·kumarak opened Sep 18, 2026Collaborator·

  ·

• feat(llm): add scripts/llm Tier 1 refinement package

  #286·kumarak opened Sep 18, 2026Collaborator·

  ·

• feat(ghidra): add opt-in --emit-instructions to the P-Code serializer

  #285·kumarak opened Sep 18, 2026Collaborator·

  ·

• feat(decomp): add -from-c re-entry with P-Code validation

  #284·kumarak opened Sep 18, 2026Collaborator·

  ·

• fix(decomp): make -print-tu output re-parseable C

  #283·kumarak opened Sep 18, 2026Collaborator·

  ·

• Fix KLEE image build failure from missing Docker build-context patch files

  #282·kumarak with CopilotAI opened Jun 9, 2026·

  ·
  1

  

• transform: add inline C expression rewrite mode for patch specifications

  #210·kumarak opened Apr 24, 2026Collaborator·

  ·
  1

• fix(ast): strip stack canary boilerplate from decompiled C output

  #172·wizardengineer opened Mar 18, 2026Contributor·

  ·
  6

• [wip] analysis: klee-based verification pipeline for patchestry

  #146·kumarak opened Mar 4, 2026Collaborator·

  ·
  6