4 Pull requests merged by 1 person

• Sanity test all solvers and fix topdown_term & slr3

  #1605 merged Dec 16, 2024

• Print innermost backtrace mark for uncaught exception even with backtrace printing off

  #1619 merged Dec 16, 2024

• Split IntDomains into separate files

  #1606 merged Dec 16, 2024

• Add VMCAI '25 artifact description to docs

  #1638 merged Dec 16, 2024

7 Pull requests opened by 2 people

• Fix `mine-W-noinit` not resetting W in `threadenter`

  #1640 opened Dec 16, 2024

• Fixes for Self-Validation Issues

  #1641 opened Dec 17, 2024

• More useful stats output by `privPrecCompare`

  #1642 opened Dec 17, 2024

• Relational MM: Cluster LMust

  #1643 opened Dec 17, 2024

• Make `update_offset` idempotent for blobs

  #1644 opened Dec 17, 2024

• PrivPrecCompare: Add `bot_in_blob_leq_bot` so `bot` and `Blob(bot)` are considered equal

  #1645 opened Dec 17, 2024

• Relational: Use same invalidation strategy as base

  #1646 opened Dec 17, 2024

3 Issues closed by 2 people

• Setup issues with Ubuntu 24.04

  #1488 closed Dec 17, 2024

• Error message from library mechanism are unhelpful to users

  #1616 closed Dec 16, 2024

• Add VMCAI '25 artifact to readthedocs

  #1633 closed Dec 16, 2024

16 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Sparsification of Affine Equality Matrix

  #1625 commented on Dec 17, 2024 • 16 new comments

• Improve history thread ID `may_create`

  #1561 commented on Dec 17, 2024 • 8 new comments

• Bitfield Domain

  #1623 commented on Dec 17, 2024 • 3 new comments

• Improve use of `Lattice.BotValue` and `Lattice.TopValue`

  #1573 commented on Dec 17, 2024 • 2 new comments

• Make meet in AddressDomain more precise

  #1468 commented on Dec 16, 2024 • 1 new comment

• Add termination analysis success messages for loop bounds

  #1580 commented on Dec 17, 2024 • 1 new comment

• Detect indirect deadlock through thread return and join

  #667 commented on Dec 11, 2024 • 0 new comments

• Rename `ctx`

  #1438 commented on Dec 15, 2024 • 0 new comments

• Automatic Precision Refinement during Interactive Analysis

  #413 commented on Dec 17, 2024 • 0 new comments

• Switch from `BatEnum` to `Seq`

  #1443 commented on Dec 17, 2024 • 0 new comments

• Handle operations on the addresses of non-array types

  #1480 commented on Dec 16, 2024 • 0 new comments

• Implement delayed widening

  #1483 commented on Dec 17, 2024 • 0 new comments

• C-2PO: Thesis About a Weakly-Relational Pointer Analysis

  #1485 commented on Dec 17, 2024 • 0 new comments

• Optimize `none` base privatization, add eager Vojdani privatization

  #1552 commented on Dec 15, 2024 • 0 new comments

• Introduce a simplified version of td3 with warrowing

  #1611 commented on Dec 17, 2024 • 0 new comments

• Linear Two Variable Equality Domain Refining Value Domain

  #1635 commented on Dec 17, 2024 • 0 new comments