Home / Topics / 59

Symbolic memory load/store invariants

25 memories · 10 remembered, 15 forgotten (40% kept).

Label

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

Key prefixes

invariant 15 · angr 3 · avoid 1 · memory 1

Nearest the centre

invariant-symbolic-full-callbacks-unset, angr-obrm-cb-counter-parity, invariant-symbolic-store-fallback-policy, invariant-mem-symbolic-addr-counter-sites, symbolic-store-prefer-full-callback, p1s02-symbolic-addr-store-fallback

Members

• invariant-materialize-pending-ite-load-store-same-range
• invariant-mem-counter-two-paths
• invariant-mem-symbolic-addr-counter-sites
• invariant-partial-cache-coverage-must-overlay
• invariant-pending-memory-load-no-zero-fabrication
• invariant-refusal-guard-infallible-fallback
• invariant-storeg-store-dispatch
• invariant-symbolic-memory-load-store-wrappers-unused
• symbolic-store-prefer-full-callback
• zeropy-memory-load-is-the-stack-canary
• angr-1c88c-build-ite-store-harness
• angr-1c88c-symbolic-variable-harness
• angr-obrm-cb-counter-parity
• avoid-491g-already-implemented
• invariant-counter-mem-load-at-load_concrete-not-load
• invariant-mem-read-paths-use-load-layered
• invariant-prefetch-cache-on-symbolic-store
• invariant-symbolic-full-callbacks-unset
• invariant-symbolic-full-callbacks-wired
• invariant-symbolic-full-fallback-helpers
• invariant-symbolic-store-fallback-policy
• memory-store-symbolic-full-not-registered
• p1s02-symbolic-addr-store-fallback
• toolarge-concretization-fix
• wi50c-automap-store-fallback