Skip to content

Pull requests: Jon-Becker/heimdall-rs

New pull request New
27 Open 457 Closed
27 Open 457 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(decompile): retain contextual flow structure
#754 opened Sep 6, 2026 by Jon-Becker Owner Loading…
3
feat(vm): analyze contextual control-flow regions
#753 opened Sep 6, 2026 by Jon-Becker Owner Loading…
3
feat(decompile): retain canonical SSA sidecar
#752 opened Sep 6, 2026 by Jon-Becker Owner • 19/19 Loading…
3
feat(vm): build contextual stack SSA
#751 opened Sep 6, 2026 by Jon-Becker Owner • 18/19 Loading…
3
feat(vm): retain canonical instruction effects
#750 opened Sep 6, 2026 by Jon-Becker Owner • 17/19 Loading…
3
feat(vm): track abstract returndata size
#749 opened Sep 6, 2026 by Jon-Becker Owner • 16/19 Loading…
3
feat(vm): qualify external call results by site
#748 opened Sep 6, 2026 by Jon-Becker Owner • 15/19 Loading…
3
feat(vm): increase contextual precision budget
#747 opened Sep 6, 2026 by Jon-Becker Owner • 14/19 Loading…
3
fix(vm): preserve concrete symbolic jump alternatives
#746 opened Sep 6, 2026 by Jon-Becker Owner • 13/19 Loading…
3
fix(vm): invalidate external call output memory
#744 opened Sep 6, 2026 by Jon-Becker Owner • 12/19 Loading…
3
feat(vm): retain contextual block exit states
#743 opened Sep 6, 2026 by Jon-Becker Owner • 11/19 Loading…
3
feat(decompile): retain canonical analysis sidecar
#742 opened Sep 6, 2026 by Jon-Becker Owner • 10/19 Loading…
3
feat(cfg): bound canonical analysis work
#741 opened Sep 6, 2026 by Jon-Becker Owner • 9/19 Loading…
3
feat(cfg): use canonical abstract analysis
#740 opened Sep 6, 2026 by Jon-Becker Owner • 8/19 Loading…
3
feat(vm): version abstract memory and storage
#739 opened Sep 6, 2026 by Jon-Becker Owner • 7/19 Loading…
3
feat(vm): add demand-driven SMT refinement
#738 opened Sep 6, 2026 by Jon-Becker Owner • 6/19 Loading…
3
feat(vm): refine branches with path facts
#736 opened Sep 6, 2026 by Jon-Becker Owner • 5/19 Loading…
3
feat(vm): preserve symbolic abstract values
#734 opened Sep 5, 2026 by Jon-Becker Owner • 4/19 Loading…
3
feat(vm): add shrinking continuation context
#733 opened Sep 5, 2026 by Jon-Becker Owner • 3/19 Loading…
3
feat(vm): add abstract CFG worklist
#732 opened Sep 5, 2026 by Jon-Becker Owner • 2/19 Loading…
3
feat(decompile): harden IR source finalization
#731 opened Sep 5, 2026 by Jon-Becker Owner Loading…
4
feat(vm): add canonical basic-block frontend
#730 opened Sep 5, 2026 by Jon-Becker Owner • 1/19 Loading…
3
fix(bifrost): detect package manager for non-Debian Linux hosts
#709 opened Jul 22, 2026 by Jon-Becker Owner Loading…
3
fix(vm): resolve function selectors with leading zero bytes
#708 opened Jul 22, 2026 by Jon-Becker Owner Loading…
3
chore(deps): weekly cargo update
#700 opened Jun 14, 2026 by github-actions Bot Loading…
3
ProTip! Adding no:label will show everything without a label.