Home / Topics / 78

Stash operations & SimState API traps

23 memories · 18 remembered, 5 forgotten (78% kept).

Label

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

Key prefixes

invariant 13 · avoid 5 · rust 2 · native 1

Nearest the centre

invariant-no-rust-mgr-calls-in-step-callbacks, invariant-proxy-step-state-contract, invariant-stash-moves-maintain-index, invariant-move-states-same-stash-noop, invariant-move-state-same-stash-reorder, invariant-stash-take-state-variants

Members

• avoid-assigning-simgr-active
• avoid-frozenset-intersection-on-simstateoptions
• avoid-getattr-private-dunder-recursion
• avoid-hasattr-lazy-init
• invariant-move-state-same-stash-reorder
• invariant-move-states-same-stash-noop
• invariant-no-rust-mgr-calls-in-step-callbacks
• invariant-on-state-removed-notify-sites
• invariant-proxy-step-state-contract
• invariant-simstate-plugin-presence-check
• invariant-stash-moves-maintain-index
• invariant-stash-take-state-variants
• invariant-step-state-declines-not-raises
• invariant-step-state-error-arms-park-state
• invariant-step-state-no-autostash
• native-veritesting-dispatch
• python-class-reassignment-for-history-plugin
• rust-stash-assignment-via-move-state
• avoid-set-of-simstateoptions
• invariant-on-state-removed-bulk-replace-sites
• invariant-proxy-setattr-underscore-guard
• rust-technique-dispatch-step-hook-added
• stash-name-validation-pattern