angr-memories

Lazy memory & multi-cell writes

19 memories · 5 remembered, 14 forgotten (26% kept).

Label
Written by llm:claude-sonnet-5-5 on 2026-10-15T04:37:46Z. Change it with angr-memories topics label 61 "<label>".
Key prefixes
invariant 3 · czph 2 · lazy 2 · symwrite 2
Nearest the centre
gotcha-multi-cell-callback-rarely-fires, invariant-write-concretize-multiwrite-gate, czph-phase1-complete, pogf-design-recommendation-2026-05, lazy-store-gate-removed-phase43, mem-ite-depth-baseline-2026-05-14

Members