Home / Topics / 50

Symbolic ccall flag semantics

20 memories · 8 remembered, 12 forgotten (40% kept).

Label

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

Key prefixes

invariant 12 · 05xj 2 · ccall 2 · arm 1

Nearest the centre

invariant-ccall-guest-width-truncation, invariant-ccall-arch-sibling-symbolic-parity, invariant-symflags-category-coverage, invariant-arm64g-ccall-python-quirk, ccall-inc-dec-carry-preserve, invariant-ccall-flag-mask-named-constants

Members

• invariant-arm64g-ccall-python-quirk
• invariant-ccall-arch-sibling-symbolic-parity
• invariant-ccall-flag-mask-named-constants
• invariant-ccall-guest-width-truncation
• invariant-cgc-syscall-dispatch
• invariant-mirror-python-semantics-not-hardware
• invariant-seg-selector-32bit-wrap
• invariant-symflags-category-coverage
• 05xj-arm-symbolic-cc-dispatch
• 05xj-symbolic-cc-architecture
• arm-ccall-encoding
• avoid-arithmetic-cc-op-decoder
• ccall-inc-dec-carry-preserve
• ccall-sign-extend-helper-scope
• invariant-calc-flags-sub-unmasked
• invariant-cc-op-const-modules-arch-specific
• invariant-cgc-simoptions-disposition
• invariant-sym-flags-for-category-result
• vec-mul-lo-sign-extend-equiv
• x86g_use_seg_selector-impl