Home / Topics / 83

RustStateProxy design & semantics

17 memories · 6 remembered, 11 forgotten (35% kept).

Label

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

Key prefixes

rust 7 · invariant 4 · avoid 2 · 9jly 1

Nearest the centre

rust-state-proxy-capabilities, rust-state-proxy-write-through, rust-proxy-architecture-decision, invariant-proxy-python-mgr-vs-mgr, copy-semantics-decision-2zwy, rust-write-through-supersedes-diff-push

Members

• core-goal-design-philosophy
• invariant-proxy-python-mgr-vs-mgr
• invariant-rust-proxy-copies-gc
• rust-proxy-architecture-decision
• rust-proxy-copy-design
• rust-python-boundary-audit
• 9jly-snapshot-to-angr-audit
• angr-341r-audit-result
• avoid-proxy-addr-for-frontier-fingerprint
• avoid-proxy-test-addr-eq-source-state
• copy-semantics-decision-2zwy
• invariant-mgr-stash-property-vs-proxy
• invariant-proxy-readonly
• rust-proxy-writes-policy
• rust-state-proxy-capabilities
• rust-state-proxy-write-through
• rust-write-through-supersedes-diff-push