Home / Topics / 87

Find/avoid predicates & terminal stashes

34 memories · 18 remembered, 16 forgotten (53% kept).

Label

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

Key prefixes

invariant 11 · avoid 3 · rust 3 · predicate 2

Nearest the centre

invariant-rust-explore-batches-without-step, invariant-rust-explore-replacement-needs-predicate-eval, unsat-load-fallback-stash, invariant-ret-empty-callstack-test-fixture, predicate-eval-uncached-states, rust-errored-stash-unreachable-from-python

Members

• avoid-cache-cached-state-predicates
• avoid-unguarded-run-one-harness-forkbomb
• block-granular-step-mode
• devacuify-rust-progress-and-inspect-bp-pattern
• drop-terminal-vs-predicates
• hang-divergence-addr-trace-method
• invariant-find-avoid-routing-is-find-first
• invariant-native-dispatch-find-avoid-gate
• invariant-progress-deadended-needs-predicate-path
• invariant-rust-dirty-pages-pending
• invariant-rust-explore-batches-without-step
• invariant-vex-chain-break-find-avoid
• merge-waiters-err-unreachable
• rust-errored-stash-unreachable-from-python
• rust-runresult-error-typed-routing
• terminal-state-stash-divergence
• time-in-counters-predicate-path-only
• unsat-load-fallback-stash
• 3uye-2-call-stack-empty-as-unconstrained-trigger
• avoid-arm-rust-engine-mgr-run
• debug-chunked-store-entry-trace
• explore-predicate-loop-termination
• high-level-mgr-errored-stash-producer
• invariant-errored-push-chokepoint
• invariant-lift-deadend-message-routing
• invariant-ret-empty-callstack-test-fixture
• invariant-rust-explore-replacement-needs-predicate-eval
• invariant-save-unconstrained-default-false
• predicate-eval-uncached-states
• predicate-reevaluation-bug
• python-init-prefix-find-replay
• python-init-skip-hides-prefix-addrs
• run-n-ignored-root-cause
• rust-engine-lift-failure-silent-deadend