Home / Topics / 71

Rust solver proxy & constraint sync

38 memories · 16 remembered, 22 forgotten (42% kept).

Label

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

Key prefixes

invariant 14 · rust 5 · solver 4 · avoid 3

Nearest the centre

solver-fallback-architecture, invariant-solver-proxy-fallback-constraints, flareon5-post-exploration-constraints, invariant-solver-fallback-refresh-on-resync, avoid-python-solver-fallback-on-unsat, state-export-constraint-skip

Members

• avoid-python-solver-fallback-on-unsat
• constraint-export-no-pre-pin
• invariant-constraint-sync-z3-ptr-fallback
• invariant-mirror-solver-constraints-not-authoritative
• invariant-rust-proxy-copy-add-constraints-non-persistent
• invariant-rust-solver-fallback-class
• invariant-rust-solver-proxy-required-surface
• invariant-rust-test-export-constraints-leak
• invariant-solver-fallback-refresh-on-resync
• invariant-solver-proxy-fallback-constraints
• multi-stage-manager-reuse
• no-full-simstate-sync
• rust-proxy-constraints-vs-exported-state
• rust-solver-proxy-base
• shared-solver-for-callbacks
• solver-differential-fuzzer-mode
• avoid-prepinning-export-constraints
• avoid-sync-exported-constraints
• boundary-8oiw-gate-install
• constraint-sync-single-pass-at-init
• dgz6-tracker-removal
• flareon5-post-exploration-constraints
• h0dv-callback-chain-removal
• invariant-attach-flag-prevents-recursion
• invariant-cb-sync-constraints-deferred-path
• invariant-rust-solver-proxy-concrete-bool-shortcuts
• invariant-rust-state-proxy-solver-add-fork-only
• invariant-rust-state-satisfiable-no-extras
• invariant-snapshot-to-angr-attaches-fallback
• rust-solver-authority
• rust-solver-primary-eval
• rust-solver-unsat-semantics
• satisfiable-wrong-answer
• shared-solver-architecture
• solver-equality-contradiction-detected
• solver-fallback-architecture
• solver-fallback-cache
• state-export-constraint-skip