Home / Topics / 12

Global counter testing & semantics

15 memories · 9 remembered, 6 forgotten (60% kept).

Label

Written by llm:claude-sonnet-5-5 on 2026-10-15T04:35:38Z. Change it with angr-memories topics label 12 "<label>".

Key prefixes

invariant 3 · avoid 2 · fork 2 · 62li 1

Nearest the centre

stats-counter-test-patterns, invariant-global-counter-test-delta-not-absolute, avoid-reset-solver-stats-in-tests, counter-doc-population-rot, fork-counters-zero-on-fauxware, 62li-counter-race-fix

Members

• avoid-early-return-on-empty-deferred-forks
• avoid-reset-solver-stats-in-tests
• counter-doc-population-rot
• invariant-cgc-fdwait-total-ready
• invariant-global-counter-test-delta-not-absolute
• invariant-syscall-fd-check-before-count
• stats-counter-test-patterns
• testable-env-gated-counters
• vh834-phase2-minting-deferred
• 62li-counter-race-fix
• dead-counter-audit-oneliner
• fork-counter-semantics
• fork-counters-zero-on-fauxware
• native-pthread-mutex-noop
• procedures-symbol-counter