Search results

bug(discovery): Unsoundness in conditionalCallClassifier

bug

discoveryIssues related to the code discovery logicIssues related to the code discovery logic

Status: Open.

#625 In GaloisInc/macaw;

· langston-barrett opened on May 27, 2026

discovery: Missing join in JumpBounds analysis

bug

discoveryIssues related to the code discovery logicIssues related to the code discovery logic

Status: Open.

#623 In GaloisInc/macaw;

· langston-barrett opened on May 26, 2026

discovery: Bitwise bitvector domain

Status: Open.

#615 In GaloisInc/macaw;

· langston-barrett opened on May 14, 2026

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

performanceIssues related to runtime or simulation-time performanceIssues related to runtime or simulation-time performance

symbolic-executionIssues relating to macaw-symbolic and symbolic executionIssues relating to macaw-symbolic and symbolic execution

Status: Open.

#611 In GaloisInc/macaw;

· langston-barrett opened on May 6, 2026

perf(symbolic): Reconsider getRegValue API

performanceIssues related to runtime or simulation-time performanceIssues related to runtime or simulation-time performance

Status: Open.

#609 In GaloisInc/macaw;

· langston-barrett opened on May 6, 2026

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

Status: Open.

#598 In GaloisInc/macaw;

· langston-barrett opened on Apr 28, 2026

Memory model: revisit assumptions about solver performance

performanceIssues related to runtime or simulation-time performanceIssues related to runtime or simulation-time performance

Status: Open.

#591 In GaloisInc/macaw;

· langston-barrett opened on Mar 31, 2026

Memory model: cache writes

performanceIssues related to runtime or simulation-time performanceIssues related to runtime or simulation-time performance

Status: Open.

#590 In GaloisInc/macaw;

· langston-barrett opened on Mar 31, 2026

Memory model: Avoid solver resets

performanceIssues related to runtime or simulation-time performanceIssues related to runtime or simulation-time performance

Status: Open.

#589 In GaloisInc/macaw;

· langston-barrett opened on Mar 31, 2026

ci: Failure on unused import

Status: Open.

#588 In GaloisInc/macaw;

· langston-barrett opened on Mar 31, 2026

x86 discovery failure on static musl -O0 binary

arch:x86x86 issuesx86 issues

bug

discoveryIssues related to the code discovery logicIssues related to the code discovery logic

Status: Open.

#587 In GaloisInc/macaw;

· langston-barrett opened on Mar 30, 2026

mkGlobalPointerValidityPredCommon doesn't reason about sizes of reads/writes

symbolic-executionIssues relating to macaw-symbolic and symbolic executionIssues relating to macaw-symbolic and symbolic execution

Status: Open.

#580 In GaloisInc/macaw;

· langston-barrett opened on Mar 27, 2026