Home / Topics / 38

Rust-Python state sync divergence

23 memories · 12 remembered, 11 forgotten (52% kept).

Label

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

Key prefixes

invariant 18 · avoid 2 · syscall 2 · mmap 1

Nearest the centre

invariant-rust-python-default-divergence, invariant-mmap-base-mirror, invariant-rust-python-state-sync-direction, syscall-dup-vp19-pattern, invariant-native-syscall-linux-divergence, invariant-posix-brk-drift-mirrors-mmap-base

Members

• invariant-cgc-fdwait-option-polarity
• invariant-cross-engine-heap-pointer-sync
• invariant-dup-lowest-free-fd
• invariant-dup-python-parity-no-einval
• invariant-fs-gate-polarity-serve-vs-mint
• invariant-mmap-base-mirror
• invariant-mmap-syscall-semantics
• invariant-native-syscall-linux-divergence
• invariant-recip-rsqrt-fresh-symbolic
• invariant-required-option-inverse-polarity-gate
• invariant-rust-python-default-divergence
• invariant-zerodiv-successor-is-a-lifting-path-gap
• avoid-fresh-symbolic-on-unsupported-binop
• avoid-naive-max-merge-sync
• invariant-int-recip-est-fresh-symbolic
• invariant-posix-brk-drift-mirrors-mmap-base
• invariant-posix-brk-vs-heap-brk
• invariant-rust-filesystem-no-python-sync
• invariant-rust-option-probe-needs-extended-irop
• invariant-rust-python-state-sync-direction
• mmap-map-fixed-divergence
• syscall-dup-vp19-pattern
• syscall-mmap-family-i386-arm-mips32