Home / Topics / 51

BV codec & width invariants

35 memories · 12 remembered, 23 forgotten (34% kept).

Label

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

Key prefixes

invariant 20 · z3 2 · apply 1 · bv 1

Nearest the centre

vec-float-scalar-ssemax-ite, invariant-rustbv-shift-width-match, invariant-rust-as-cast-saturating, invariant-qdmull-vex-op, invariant-z3-bv-shift-semantics, invariant-ieee-maxnum-not-rust-f32-max

Members

• bv-codec-wide-const-needs-simplify
• invariant-cas-oldhi-sentinel
• invariant-libvex-restricted-vector-consts
• invariant-loadg-cvt-carries-src-width
• invariant-min-max-width
• invariant-pyvex-const-serialize-shape
• invariant-rust-as-cast-is-rne-only
• invariant-twos-complement-signed-min
• invariant-z3-bv-shift-semantics
• make-bv-from-bytes-lsb-chunking
• parse-decimal-right-align
• z3-numeral-classifier
• apply-loadg-truncation-bug
• divmod128-missing
• eval-upto-wide-truncation
• fp-minmax-no-z3-fpa-min
• invariant-divmod-generic-helper
• invariant-divmod-symbolic
• invariant-ieee-maxnum-not-rust-f32-max
• invariant-iop-sal-equals-shl
• invariant-pabs-int-min-passthrough
• invariant-qdmull-vex-op
• invariant-rst-heading-underline-em-dash
• invariant-rust-as-cast-saturating
• invariant-rustbv-extract-args
• invariant-rustbv-shift-width-match
• invariant-vex-float-to-int-signed-cast
• invariant-vex-shln-i8-count
• irsb-serializer-module
• libvex-callee-addr-normalize
• rst-heading-validation-no-sphinx
• vec-float-scalar-ssemax-ite
• vex-qnarrow-naming
• vshift-parser-collision-rule
• z3-rs-rounding-mode-names