Search results

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

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

testingIssues related to the test suiteIssues related to the test suite

Status: Open.

#579 In GaloisInc/macaw;

· langston-barrett opened on Mar 25, 2026

Strict memory model: Off by one?

bug

Status: Open.

#577 In GaloisInc/macaw;

· langston-barrett opened on Mar 25, 2026

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

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

Status: Open.

#576 In GaloisInc/macaw;

· langston-barrett opened on Mar 25, 2026

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

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

tech-debtTechnical debt that would be nice to clean upTechnical debt that would be nice to clean up

Status: Open.

#574 In GaloisInc/macaw;

· RyanGlScott opened on Mar 24, 2026

Memory model: distinguish more between reads and writes

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

Status: Open.

#573 In GaloisInc/macaw;

· langston-barrett opened on Mar 24, 2026

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

Status: Open.

#572 In GaloisInc/macaw;

· langston-barrett opened on Mar 23, 2026