Home / Topics / 77

Pending states & found-state handling

18 memories · 12 remembered, 6 forgotten (67% kept).

Label

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

Key prefixes

invariant 7 · rust 3 · state 2 · avoid 1

Nearest the centre

invariant-find-state-mut-covers-pending, invariant-config-broadcast-covers-pending, invariant-found-state-content-gate-by-replay, rust-found-state-id-and-progress-signals, found-state-missing-branch-guards, invariant-pending-ancestry-best-effort

Members

• avoid-content-fingerprint-on-found-states
• invariant-config-broadcast-covers-pending
• invariant-find-state-mut-covers-pending
• invariant-found-state-content-gate-by-replay
• invariant-pending-ancestry-best-effort
• invariant-state-solver-timeout-dual-write
• invariant-with-pending-helpers
• pending-callback-broadcast-no-mechanical-gate
• rust-bogus-found-state-triage
• rust-found-state-id-and-progress-signals
• rust-state-depth-via-proxies
• state-roots-every-fork
• blank-state-fallback-test-pattern
• boundary-t3mr-simproc-fork-via-rust
• found-state-missing-branch-guards
• invariant-find-state-mut-pending-aware
• live-pending-callback-test-harness
• state-cache-fork-write-sites