Home / Topics / 55

Symbolic identity & claripy export

29 memories · 21 remembered, 8 forgotten (72% kept).

Label

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

Key prefixes

invariant 17 · avoid 2 · rustbv 2 · 4pm1 1

Nearest the centre

invariant-symbol-identity-is-by-name, invariant-z3-symbol-name-is-identity, invariant-register-import-via-claripy-to-rustbv, invariant-set-register-symbolic-no-cache, 4pm1-root-cause, avoid-id-keyed-global-symbol-cache

Members

• avoid-eager-symbolic-register-export
• avoid-id-keyed-global-symbol-cache
• clz-ctz-symbolic-concretization-bug
• imported-addrs-filter
• invariant-arm-conditional-guards-symbolic
• invariant-export-mints-with-explicit-name
• invariant-register-import-via-claripy-to-rustbv
• invariant-rust-z3-encoding-must-match-claripy
• invariant-symbol-id-process-global
• invariant-symbol-identity-is-by-name
• invariant-symbol-registry-gil-serialized
• invariant-symbol-registry-no-gc
• invariant-symbol-registry-sort-tag
• invariant-symbolic-id-never-zero
• invariant-z3-const-name-width-identity
• invariant-z3-symbol-name-is-identity
• rustbv-partialeq-is-value-based
• rustbv-symbolic-id-not-in-debug
• snapshot-foreign-id-rebase
• state-export-identity-not-passthrough
• symbol-registry-memory-cost
• 4pm1-root-cause
• invariant-has-user-symbolic-var-divergence-knob
• invariant-next-id-global-not-adjacent
• invariant-no-silent-symbolic-coercion
• invariant-set-register-symbolic-no-cache
• invariant-syscall-fresh-symbol-names
• rust-ast-identity-rust-side-only
• symbolic-dir-file-index