Overflow, bounds & ABI invariants

39 memories · 28 remembered, 11 forgotten (72% kept).

Label: Written by llm:claude-sonnet-5-5 on 2026-10-15T04:36:37Z. Change it with angr-memories topics label 34 "<label>".
Key prefixes: invariant 31 · arm 1 · avoid 1 · clippy 1
Nearest the centre: invariant-scan-cap-defer-not-truncate, invariant-address-containment-wrapping-distance, invariant-bounds-check-must-not-overflow, invariant-end-page-inclusive-zero-size, invariant-address-newtype-ops-already-wrap, invariant-proc-address-arith-wrapping

Members

arm-return-addr
invariant-address-containment-wrapping-distance
invariant-address-newtype-ops-already-wrap
invariant-address-vs-page-number
invariant-audit-gate-silence-is-not-absence
invariant-bounds-check-must-not-overflow
invariant-budget-product-must-saturate
invariant-end-page-inclusive-zero-size
invariant-guest-size-host-allocation-cap
invariant-heap-freed-is-a-set
invariant-lr-abi-no-return-addr-at-sp
invariant-native-proc-return-width-extension
invariant-native-realloc-frees-stricter-than-python
invariant-native-returnunconstrained-stub
invariant-native-string-scan-python-bounds
invariant-no-op-test-needs-inverted-control
invariant-overflow-fix-refuse-not-saturate-identities
invariant-proc-address-arith-wrapping
invariant-recognizer-parser-grammar-parity
invariant-relative-growth-cap-is-not-absolute
invariant-scan-cap-defer-not-truncate
invariant-scan-window-bounds-whole-subject
invariant-syscall-byte-cap-shared
invariant-timing-ns-narrowing-helper
invariant-wide-return-needs-python-fallback
invariant-widen-audit-gate-convert-not-exempt
step-error-size-numbers
strtol-parity-clamp-intwidth
avoid-strdup-heap-alloc-off-by-one
clippy-allow-vs-fix-rule
invariant-cc-pops-return-addr
invariant-fp-return-register
invariant-native-string-null-exists-constraint
invariant-overflow-guard-test-operand-shape
invariant-posix-aligned-allocator-semantics
invariant-zero-size-page-range-overshoot
link-register-subcall-blocker
strtod-fp-return-xmm0
strtoll-ilp32-fallback