All pull requests

Pull requests

• feat(cli): add strings command for bytecode

  #762·Jon-Becker opened Sep 22, 2026·

  ·
  3

• feat(decompile): retain contextual flow structure

  #754·Jon-Becker opened Sep 6, 2026·

  ·
  3

• feat(vm): analyze contextual control-flow regions

  #753·Jon-Becker opened Sep 6, 2026·

  ·
  3

• feat(decompile): retain canonical SSA sidecar

  #752·Jon-Becker opened Sep 6, 2026·19/19·

  ·
  3

• feat(vm): build contextual stack SSA

  #751·Jon-Becker opened Sep 6, 2026·18/19·

  ·
  3

• feat(vm): retain canonical instruction effects

  #750·Jon-Becker opened Sep 6, 2026·17/19·

  ·
  3

• feat(vm): track abstract returndata size

  #749·Jon-Becker opened Sep 6, 2026·16/19·

  ·
  3

• feat(vm): qualify external call results by site

  #748·Jon-Becker opened Sep 6, 2026·15/19·

  ·
  3

• feat(vm): increase contextual precision budget

  #747·Jon-Becker opened Sep 6, 2026·14/19·

  ·
  3

• fix(vm): preserve concrete symbolic jump alternatives

  #746·Jon-Becker opened Sep 6, 2026·13/19·

  ·
  3

• fix(vm): invalidate external call output memory

  #744·Jon-Becker opened Sep 6, 2026·12/19·

  ·
  3

• feat(vm): retain contextual block exit states

  #743·Jon-Becker opened Sep 6, 2026·11/19·

  ·
  3

• feat(decompile): retain canonical analysis sidecar

  #742·Jon-Becker opened Sep 6, 2026·10/19·

  ·
  3

• feat(cfg): bound canonical analysis work

  #741·Jon-Becker opened Sep 6, 2026·9/19·

  ·
  3

• feat(cfg): use canonical abstract analysis

  #740·Jon-Becker opened Sep 6, 2026·8/19·

  ·
  3

• feat(vm): version abstract memory and storage

  #739·Jon-Becker opened Sep 6, 2026·7/19·

  ·
  3

• feat(vm): add demand-driven SMT refinement

  #738·Jon-Becker opened Sep 6, 2026·6/19·

  ·
  3

• feat(vm): refine branches with path facts

  #736·Jon-Becker opened Sep 6, 2026·5/19·

  ·
  3

• feat(vm): preserve symbolic abstract values

  #734·Jon-Becker opened Sep 5, 2026·4/19·

  ·
  3

• feat(vm): add shrinking continuation context

  #733·Jon-Becker opened Sep 5, 2026·3/19·

  ·
  3

• feat(vm): add abstract CFG worklist

  #732·Jon-Becker opened Sep 5, 2026·2/19·

  ·
  3

• feat(decompile): harden IR source finalization

  #731·Jon-Becker opened Sep 5, 2026·

  ·
  4

• fix(bifrost): detect package manager for non-Debian Linux hosts

  #709·Jon-Becker opened Jul 22, 2026·

  ·
  3

• fix(vm): resolve function selectors with leading zero bytes

  #708·Jon-Becker opened Jul 22, 2026·

  ·
  3

• chore(deps): weekly cargo update

  #700·github-actions[bot] opened Jun 14, 2026·

  ·
  3