Home / Topics / 75

SymContext fork, push/pop & Arc sharing

40 memories · 23 remembered, 17 forgotten (58% kept).

Label

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

Key prefixes

invariant 27 · merge 4 · fork 2 · arc 1

Nearest the centre

invariant-merge-reconciles-per-context-settings, merge-shared-prefix-aware, invariant-symbolic-memory-fork-fields, invariant-symcontext-fork-isolation-verified, invariant-symcontext-arc-cow, invariant-freeze-into-shared

Members

• clippy-arc-non-send-helper
• invariant-arc-make-mut-cow
• invariant-arc-shared-soundness
• invariant-bare-pop-truncates-local-logs
• invariant-bare-push-pop-assumed-leak
• invariant-bare-z3-push-depth
• invariant-cgc-merge-combinators
• invariant-fork-metadata-arc-not-py
• invariant-lineage-flag-propagation
• invariant-merge-config-field-classes
• invariant-merge-dedup-both-shared-arcs
• invariant-merge-inputs-use-clone-for-merge
• invariant-merge-reconciles-per-context-settings
• invariant-merge-stdout-only-fs
• invariant-merge-union-overlays-max-brk
• invariant-merge-unions-heap-metadata
• invariant-snapshot-quiescent-scope
• invariant-symbolic-memory-fork-fields
• invariant-symcontext-arc-cow
• invariant-symcontext-push-not-cache-aware
• invariant-transaction-api-removed
• merge-cow-skip-soundness
• pattern-pyobject-fork-clone-via-attach
• arc-shared-z3-cache
• benchmark-fork-scaling
• fork-freeze-self-invariant
• fork-skip-gil-attach-empty-metadata
• invariant-arc-make-mut-fresh-context
• invariant-freeze-into-shared
• invariant-local-constraints-struct
• invariant-merge-overlay-earlier-wins
• invariant-registerfile-arc-cow-makemut
• invariant-symcontext-arc-fork-sharing
• invariant-symcontext-fork-isolation-verified
• merge-and-range-seeded-test-pattern
• merge-memory-test-pattern
• merge-shared-prefix-aware
• s5a-merge-cost-shape-divergence-proportional
• s5b-constraint-merge-cost-shape
• symbol-table-dead-data