angr-memories

Dashboard

965 remembered, 1635 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-052026-10-111289344

Prefix family sizes

Remembered vs forgotten per key-prefix family.

avoidavoid188benchmarkbenchmark146catchcatch1257inspectinspect20invariantinvariant780opsops26rustrust69syscallsyscall29v5a5v5a546z3z345

Survival time

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

0-7d0-7d11718-30d8-30d9531-90d31-90d34591-180d91-180d30181-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-rule10benchmark-bimodal-variance-rulesbenchmark-bimodal-variance-rules6invariant-concrete-bv-u128-16-byte-limitinvariant-concrete-bv-u128-16-byte-limit5debug-assert-triage-policydebug-assert-triage-policy4angr-macros-call-site-invariantsangr-macros-call-site-invariants3anti-migration-scheduler-deliveredanti-migration-scheduler-delivered3bd-memory-citation-repair-patternbd-memory-citation-repair-pattern3constraint-export-no-pre-pinconstraint-export-no-pre-pin3invariant-assert-not-debug-assert-in-releaseinvariant-assert-not-debug-assert-in-release3invariant-concrete-shift-clamp-before-narrowinvariant-concrete-shift-clamp-before-narrow3invariant-mem-counter-two-pathsinvariant-mem-counter-two-paths3invariant-overflow-fix-refuse-not-saturate-iden…invariant-overflow-fix-refuse-not-saturate-identities3invariant-symbol-identity-is-by-nameinvariant-symbol-identity-is-by-name3rust-python-boundary-auditrust-python-boundary-audit3venv-rebuild-cargo-direct-copyvenv-rebuild-cargo-direct-copy3