2 Pull requests merged by 1 person

• More useful stats output by privPrecCompare

  #1642 merged Jan 17, 2025

• Make meet in AddressDomain more precise

  #1468 merged Jan 17, 2025

1 Pull request opened by 1 person

• Consider pointees separately for refinement

  #1659 opened Jan 19, 2025

1 Issue closed by 1 person

• Meet of string pointers in address domain imprecise

  #1467 closed Jan 17, 2025

3 Issues opened by 2 people

• Disable race analyses for other ConcurrencySafety properties

  #1661 opened Jan 23, 2025

• Support for `futex`

  #1660 opened Jan 22, 2025

• Refine pointer sets upon assertion about pointee

  #1658 opened Jan 19, 2025

20 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 Jan 23, 2025 • 61 new comments

• Bitfield Domain

  #1623 commented on Jan 23, 2025 • 45 new comments

• Widening gas

  #1442 commented on Jan 17, 2025 • 3 new comments

• Analysis of `pthread_barrier`s

  #1652 commented on Jan 17, 2025 • 0 new comments

• Improve history thread ID `may_create`

  #1561 commented on Jan 23, 2025 • 0 new comments

• Switch from `BatEnum` to `Seq`

  #1443 commented on Jan 22, 2025 • 0 new comments

• Witness ARG lifter non-termination with growing exclusion sets

  #1322 commented on Jan 22, 2025 • 0 new comments

• Principled fix for Apron-Domain Top

  #1380 commented on Jan 22, 2025 • 0 new comments

• `--enable justcil` does not print `__attribute__((__goblint_relation_track__))` for formals of functions

  #1381 commented on Jan 22, 2025 • 0 new comments

• Crash on `pthread_mutex_lock` with complicated argument

  #1421 commented on Jan 22, 2025 • 0 new comments

• Relational: `exp.hide-std-globals` makes analysis unsound

  #1486 commented on Jan 22, 2025 • 0 new comments

• Unsoundness for `malloc(0)`

  #1418 commented on Jan 22, 2025 • 0 new comments

• ApronPrecCompare runs >= 35h and consumes 40GB of RAM

  #1490 commented on Jan 22, 2025 • 0 new comments

• `Relational Analyses`: Deep invalidation for library functions havocs all variables (also those that don't have their address taken)

  #1535 commented on Jan 22, 2025 • 0 new comments

• Emit invariants for static global variables

  #1538 commented on Jan 22, 2025 • 0 new comments

• Validation of YAML witnesses takes undue amount of time compared to analyis

  #1539 commented on Jan 22, 2025 • 0 new comments

• Cram tests not robust enough

  #1647 commented on Jan 22, 2025 • 0 new comments

• Analysis of `pthread_barrier` for race detection

  #1651 commented on Jan 22, 2025 • 0 new comments

• Warn when `ana.opt.hashcons` is off, but `witness.graphml.enabled` or `exp.arg.enabled` are on or an Apron domain is on

  #1657 commented on Jan 22, 2025 • 0 new comments

• Solver TD3-💨 with Side-Effect Gas

  #1358 commented on Jan 17, 2025 • 0 new comments