angr-memories

Dashboard

918 remembered, 1517 forgotten, across 10 key-prefix families.

Corpus size over time

Running remembered-record count, one point per day with any change.

2026-06-042026-07-032026-07-192026-08-022026-08-051289344

Prefix family sizes

Remembered vs forgotten per key-prefix family.

avoidavoid179benchmarkbenchmark145catchcatch1209inspectinspect20invariantinvariant675opsops25rustrust66syscallsyscall29v5a5v5a546z3z344

Survival time

How long forgotten memories lasted, from first seen to forgotten.

0-7d0-7d11218-30d8-30d9531-90d31-90d30491-180d91-180d0181-365d181-365d0365d+365d+0

Most-cited memories

Remembered keys mentioned by the most other remembered memories — load-bearing, and riskiest to forget without checking who cites them.

refactor-memory-sweep-rulerefactor-memory-sweep-rule7benchmark-bimodal-variance-rulesbenchmark-bimodal-variance-rules5anti-migration-scheduler-deliveredanti-migration-scheduler-delivered3constraint-export-no-pre-pinconstraint-export-no-pre-pin3invariant-concrete-bv-u128-16-byte-limitinvariant-concrete-bv-u128-16-byte-limit3invariant-concrete-shift-clamp-before-narrowinvariant-concrete-shift-clamp-before-narrow3invariant-mem-counter-two-pathsinvariant-mem-counter-two-paths3rust-python-boundary-auditrust-python-boundary-audit3aggregation-doc-v1-partial-patternaggregation-doc-v1-partial-pattern2avoid-content-fingerprint-on-found-statesavoid-content-fingerprint-on-found-states2avoid-silent-no-op-callback-fallbacksavoid-silent-no-op-callback-fallbacks2bd-update-notes-overwritesbd-update-notes-overwrites2benchmark-memory-fxhash-stash-donebenchmark-memory-fxhash-stash-done2bounce-reduction-low-roi-corpusbounce-reduction-low-roi-corpus2filesystem-module-layoutfilesystem-module-layout2