Issues

• refactor(base): Eager resolution of Relocations

  GaloisInc/macaw#632 · Filter by author langston-barrett opened on Jul 16, 2026

• bug(base): Jump table bounds don't survive across calls

  bugdiscovery
  GaloisInc/macaw#630 · Filter by author langston-barrett opened on Jul 2, 2026

• feat(base): Extend handling of Clang's -emit-jump-table-sizes-section to PIEs

  GaloisInc/macaw#629 · Filter by author langston-barrett opened on Jul 2, 2026
  1

• discovery: Bitwise bitvector domain

  GaloisInc/macaw#615 · Filter by author langston-barrett opened on May 14, 2026
  2

• perf(symbolic): Encode the registers as a global variable

  performancesymbolic-execution
  GaloisInc/macaw#611 · Filter by author langston-barrett opened on May 6, 2026

• perf(symbolic): Reconsider getRegValue API

  performance
  GaloisInc/macaw#609 · Filter by author langston-barrett opened on May 6, 2026

• Remove -ddump-splices -ddump-to-file from TH modules

  GaloisInc/macaw#598 · Filter by author langston-barrett opened on Apr 28, 2026

• Memory model: revisit assumptions about solver performance

  performance
  GaloisInc/macaw#591 · Filter by author langston-barrett opened on Mar 31, 2026
  1

• Memory model: cache writes

  performance
  GaloisInc/macaw#590 · Filter by author langston-barrett opened on Mar 31, 2026

• Memory model: Avoid solver resets

  performance
  GaloisInc/macaw#589 · Filter by author langston-barrett opened on Mar 31, 2026

• ci: Failure on unused import

  GaloisInc/macaw#588 · Filter by author langston-barrett opened on Mar 31, 2026
  

• x86 discovery failure on static musl -O0 binary

  arch:x86bugdiscovery
  GaloisInc/macaw#587 · Filter by author langston-barrett opened on Mar 30, 2026

• mkGlobalPointerValidityPredCommon doesn't reason about sizes of reads/writes

  symbolic-execution
  GaloisInc/macaw#580 · Filter by author langston-barrett opened on Mar 27, 2026

• tests: Add a few S-expression tests for memory model operations

  testing
  GaloisInc/macaw#579 · Filter by author langston-barrett opened on Mar 25, 2026
  

• Strict memory model: Off by one?

  bug
  GaloisInc/macaw#577 · Filter by author langston-barrett opened on Mar 25, 2026
  1

• Memory model: Don't traverse the entire IntervalMap in mkGlobalPointerValidityPredCommon

  performance
  GaloisInc/macaw#576 · Filter by author langston-barrett opened on Mar 25, 2026

• Use a simpler interval type in the lazy memory model's MemPtrTable

  symbolic-executiontech-debt
  GaloisInc/macaw#574 · Filter by author RyanGlScott opened on Mar 24, 2026

• Memory model: distinguish more between reads and writes

  performance
  GaloisInc/macaw#573 · Filter by author langston-barrett opened on Mar 24, 2026

• Generalize lazy memory model tests to work for 64-bit addresses

  GaloisInc/macaw#572 · Filter by author langston-barrett opened on Mar 23, 2026
  

• symbolic: API for strnlen, strcpy, strdup, strndup

  symbolic-execution
  GaloisInc/macaw#557 · Filter by author langston-barrett opened on Jan 23, 2026

• Support GHC 9.14

  GaloisInc/macaw#555 · Filter by author langston-barrett opened on Jan 6, 2026

• symbolic: {exec,sim}StateRegs should use MacawArchStateUpdate

  symbolic-execution
  GaloisInc/macaw#550 · Filter by author langston-barrett opened on Nov 5, 2025

• Syscall arch functions make assumptions about the ABI

  arch:aarch32arch:x86
  GaloisInc/macaw#544 · Filter by author 2over12 opened on Oct 25, 2025
  8

  

• x86: cmc instruction is unsupported

  arch:x86
  GaloisInc/macaw#531 · Filter by author langston-barrett opened on Sep 17, 2025
  1

• ci: Enable -Werror=compat -Werror=default

  GaloisInc/macaw#526 · Filter by author langston-barrett opened on Aug 13, 2025