Home / Topics / 64

Multi vs symbolic cell states

43 memories · 16 remembered, 27 forgotten (37% kept).

Label

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

Key prefixes

invariant 25 · avoid 3 · sokohashv2 2 · wide 2

Nearest the centre

invariant-store-abandoned-tail-cleanup, invariant-le-wide-symbolic-byte-layout, invariant-page-bitmap-authoritative, invariant-symbolic-byte-lane-lookup, invariant-partial-overlap-byte-merge, invariant-every-load-path-gates-multi

Members

• avoid-symbolic-addr-store-for-concrete-readback
• extract-symbolic-pages-misses-filler-loads
• invariant-every-load-path-gates-multi
• invariant-load-concrete-common-unified
• invariant-multi-vs-symbolic-cell-states
• invariant-multi-xor-symbolic-cleanup
• invariant-no-zero-fill-symbolic-store
• invariant-page-bitmap-authoritative
• invariant-partial-overlap-byte-merge
• invariant-register-file-concrete-buffer
• invariant-store-abandoned-tail-cleanup
• invariant-store-buffer-probe-four-map-ladder
• invariant-symbolic-byte-lane-lookup
• invariant-symbolic-page-blit
• invariant-symbolic-store-no-zero-bytes
• invariant-symbolic_bitmap-binary
• assemble-load-with-multi-handles-all-byte-states
• avoid-store-side-fix-for-wider-sym-drift
• avoid-unbounded-extraction-fallback
• flareon5-symbolic-store-site-root-cause
• init-memory-scan-bottleneck
• invariant-le-wide-symbolic-byte-layout
• invariant-load-concrete-slow-path-endness
• invariant-multi-load-collapse
• invariant-multi-load-not-in-load_concrete
• invariant-multi-symbolic-bitmap-dispatch-order
• invariant-page-move-carries-sidecars
• invariant-store-concrete-cleans-multi-sidecar
• invariant-symbolic-memory-page-helpers
• invariant-symbolic-spans-not-base
• invariant-symbolic-spans-staleness
• invariant-ultrapage-symbolic-bitmap
• lazy-memory-sidecar-architecture
• load-lazy-inner-extract-le-bias
• merge-multi-cell-pending-semantics
• page-clear-symbolic-helper
• sokohashv2-fv81-root-cause
• sokohashv2-two-bugs
• stack-page-concrete-load
• store-concrete-same-base-truncation-fix
• uwtj-slow-path-rarely-reached
• wide-load-endianness
• wide-symbolic-le-partial-extract-bug