Home / Topics / 54

RustBV concrete value semantics

47 memories · 19 remembered, 28 forgotten (40% kept).

Label

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

Key prefixes

invariant 27 · angr 4 · codegate 4 · rust 3

Nearest the centre

invariant-chunked-concrete-memory-read, invariant-concrete-bv-u128-16-byte-limit, invariant-rustbv-zero-width, invariant-as-u128-some-for-constrained, invariant-concrete-load-16b-chunking, panic-hardening-symbolic-value-pattern

Members

• avoid-multivalued-read-behavioral-test
• codegate-constraint-divergence
• invariant-as-u128-some-for-constrained
• invariant-chunked-concrete-memory-read
• invariant-concrete-bv-u128-16-byte-limit
• invariant-concrete-shift-clamp-before-narrow
• invariant-concrete-width-gt-128-fast-paths
• invariant-div-by-zero-total-semantics
• invariant-ite-builder-loads-match
• invariant-libc-test-hook-addr
• invariant-option-gated-symbolic-addr-testing
• invariant-rust-concrete-arith-must-wrap
• invariant-rustbv-zero-width
• invariant-sign-extend-to-128-overflow
• invariant-symbolic-bump-over-logged-concretization
• invariant-wide-bv-128-import-extrema
• invariant-z3-model-output-divergence
• pattern-libc-symbolic-integration-test
• rust-proxy-symbolic-addr-witness-cache
• angr-1c88c-eval-next-addr-harness
• angr-1c88c-harness-findings
• angr-1c88c-interp-dispatch-harness
• angr-rhe2-zero-fill-registers-matches-by-default
• apre-root-cause
• codegate-0x1000-loads
• codegate-mem-symbol-identity
• codegate-vex-tracing-results
• constant-folding-already-complete
• defcamp-trailing-bytes-root-cause
• extract-ite-targets-test-pattern
• inline-audit-value-rs-2026-06
• invariant-codegate-xfail
• invariant-concrete-bv-width128-shift-guard
• invariant-concrete-extract-width128
• invariant-concrete-load-16b-chunking
• invariant-keep-ip-symbolic-routing
• invariant-no-ip-concretization-routing
• invariant-rust-honored-simoptions
• invariant-rust-memory-u128-store-width
• invariant-rust-proxy-symbolic-load-eval
• invariant-rustbv-to-claripy-concrete-128bit
• invariant-rustbv-u128-chunking
• invariant-symbol-fill-memory-matches
• panic-hardening-symbolic-value-pattern
• rust-bv-constructor-surface
• rust-bv-handle-single-accessor
• value-rs-inline-coverage